{"entities":{"Q59065410":{"pageid":58973978,"ns":0,"title":"Q59065410","lastrevid":2214902074,"modified":"2024-07-28T19:22:35Z","type":"item","id":"Q59065410","labels":{"en":{"language":"en","value":"Propagation based local search for bit-precise reasoning"},"nl":{"language":"nl","value":"Propagation based local search for bit-precise reasoning"}},"descriptions":{"nl":{"language":"nl","value":"wetenschappelijk artikel"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0432 \u0436\u043e\u0432\u0442\u043d\u0456 2017"},"de":{"language":"de","value":"im Oktober 2017 ver\u00f6ffentlichter wissenschaftlicher Artikel"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"f190b5b344aefb8b4078be719d34f2209278c91b","datavalue":{"value":"10.1007/S10703-017-0295-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59065410$B4B3EC35-0DCB-462C-AE44-6356F60F81F5","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59065410$5038A188-6A20-41F5-8737-206E3E2679E8","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"031b38908a90d422d70aa7071ed0678bee4cf93c","datavalue":{"value":{"text":"Propagation based local search for bit-precise reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q59065410$61DEEE95-30CF-4022-9717-C73FABDE5901","rank":"normal"}],"P433":[{"mainsnak":{"snaktype":"value","property":"P433","hash":"8c15ee77a4f513ba375ac9564cbfafec51be2f12","datavalue":{"value":"3","type":"string"},"datatype":"string"},"type":"statement","id":"Q59065410$86E9D593-3B8B-4389-B3FD-BFF580BDC528","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"a3fd92f2078bac5c100b313bf4aea56154983608","datavalue":{"value":"608-636","type":"string"},"datatype":"string"},"type":"statement","id":"Q59065410$B257C1D2-EEA9-4761-BCFD-064656607113","rank":"normal"}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"f894583bba278453a0fab6ec5953cd4e70eb9e51","datavalue":{"value":"51","type":"string"},"datatype":"string"},"type":"statement","id":"Q59065410$B68BC4EF-0029-409F-AB42-307972EEE88F","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"7cb31a6a76bed918ec6ee3c0699d5de4a3778885","datavalue":{"value":{"time":"+2017-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q59065410$A5E00BE3-1544-4575-A227-DA7A7A458999","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"87de21a52947f7daa4dbd2ecd62e2880d5f2c638","datavalue":{"value":{"entity-type":"item","numeric-id":15755416,"id":"Q15755416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59065410$F9CF7027-BD1F-4416-97E5-33FCA629797F","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"f5ff62790494a62a9ea1004ef8f91789a403d8a0","datavalue":{"value":"Aina Niemetz","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59065410$2FC02BA8-7312-464C-AFB5-36C00BE78028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"548f578af8f4998c7b57de931d48ad8b00152307","datavalue":{"value":"Mathias Preiner","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59065410$A8B269F1-FD02-4A23-8F07-1BA8AFEDDDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"5f8bc9e9538fb388ef0103a308a4ec6f0f7eb571","datavalue":{"value":"Armin Biere","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"0e979f28bf306fefdcd352b4eb8dee5da2153a6d","datavalue":{"value":"3","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59065410$192DF35A-91DB-453D-B685-DD1A8E58CBBC","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"13793ac9e38c1304e04c6c66aeee1553f29441c4","datavalue":{"value":"journals/fmsd/NiemetzPB17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59065410$633F6CE5-F3B1-4AE7-AC09-6EB8CCDA121D","rank":"normal","references":[{"hash":"d88fbec0cac4521f90a250c57f1a64d2343d70bf","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"bbb16bcda319d1e785962e87a501c58b95f0519d","datavalue":{"value":{"entity-type":"item","numeric-id":105160373,"id":"Q105160373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1","datavalue":{"value":{"time":"+2021-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P813"]}]}],"P275":[{"mainsnak":{"snaktype":"value","property":"P275","hash":"d88af718aa8a9dfc24195b73bf4f597bc66c46c3","datavalue":{"value":{"entity-type":"item","numeric-id":20007257,"id":"Q20007257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P580":[{"snaktype":"value","property":"P580","hash":"25f083e0ef18be82202d90825777e34e7f210a75","datavalue":{"value":{"time":"+2017-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P580"],"id":"Q59065410$e01075ae-2357-42df-bb74-0baa6cd39cb2","rank":"normal","references":[{"hash":"3a5a79d5f9f1c400e34ea860836aa86a6d7a2b15","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"8c99cde9c9a975090e642283ce4937f9cf3818a4","datavalue":{"value":{"entity-type":"item","numeric-id":115868162,"id":"Q115868162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P6216":[{"mainsnak":{"snaktype":"value","property":"P6216","hash":"5570347fdc76d2a80732f51ea10ee4b144a084e0","datavalue":{"value":{"entity-type":"item","numeric-id":50423863,"id":"Q50423863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59065410$9cd991a2-a8d5-4436-8e57-91ef24ce0bcd","rank":"normal"}],"P894":[{"mainsnak":{"snaktype":"value","property":"P894","hash":"c66a011d848e5e96c19b1a07bd4449b12f877140","datavalue":{"value":"1377.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59065410$5ED7BA53-8799-41DE-9436-B997DBFC38FC","rank":"normal"}],"P6104":[{"mainsnak":{"snaktype":"value","property":"P6104","hash":"a27c5fdb35b42381f12b2a603711e56d98dd77fd","datavalue":{"value":{"entity-type":"item","numeric-id":8487137,"id":"Q8487137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59065410$1A90B51C-F2F6-4789-BF03-A1462707CA13","rank":"normal"}]},"sitelinks":{}}}}