{"entities":{"Q3070958":{"pageid":3081674,"ns":120,"title":"Item:Q3070958","lastrevid":86322341,"modified":"2026-06-03T18:35:50Z","type":"item","id":"Q3070958","labels":{"en":{"language":"en","value":"Improving efficiency of 3-SAT-solving tile systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5842524"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070958$5A9FC14A-8E94-45AA-A9BC-7515E1C6B000","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9f6e0834b399b00885472ad354a5300f5bbd9b3","datavalue":{"value":{"text":"Improving Efficiency of 3-SAT-Solving Tile Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3070958$419C3F68-6C45-443B-A0A9-C026DD4A3ECF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ccf4fa2f31d224190dc42470e0c2cf0e301c986","datavalue":{"value":"1309.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070958$B13F3342-7449-48CA-A9D9-2803C2C116F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f90c0214dea01b289d671ac66530714f475f2b93","datavalue":{"value":"10.1007/978-3-642-18305-8_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070958$FB737D1F-3371-463E-9CBC-3FC99E2B6ECC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fe1cd97ab5b7653e795def531c17f44db36a410","datavalue":{"value":{"entity-type":"item","numeric-id":884442,"id":"Q884442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070958$56B8E830-6B6F-40A9-BBEB-F9BB62AD259E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070958$65068FAD-3842-48BD-B163-9F536A8B5445","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"06195afcf914ef9e79b11bcc5c6c722311540879","datavalue":{"value":{"time":"+2011-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3070958$CBED83AE-871B-4437-BA0A-56123E8930DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070958$D393626F-D6FE-4866-B58F-E9925EF5B31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070958$DAEE12BD-68B9-472B-A53B-4D53F1B7C3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070958$09CDF413-0466-4D3F-BD5D-571FFAD10A1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95d8671dd38ffc6c55440f0666060b104f94297c","datavalue":{"value":"5842524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070958$4763DC70-3E17-4F5B-83F7-FC8000F054F3","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070958$E01152D7-5DAB-4095-B9F0-2330F4DEECEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93c6199cc90302a90b5ba2ceb07b2578908d5afa","datavalue":{"value":"https://doi.org/10.1007/978-3-642-18305-8_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3070958$8D68763E-6918-4BEB-B6AD-ED2C75F75CE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1035ef73930c0547c894bf1d0e802f7d8272b38","datavalue":{"value":"W1504300383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070958$76B79103-BBEB-4CFD-A966-270D011A0B18","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"752796ec52a6cd769dacebce36751c785b252366","datavalue":{"value":{"entity-type":"item","numeric-id":884443,"id":"Q884443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070958$227EF98F-A86E-441E-BCDA-AF14CC248325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42533a4fb0948f6687c65d134d504e98287d9ffe","datavalue":{"value":{"entity-type":"item","numeric-id":924676,"id":"Q924676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070958$29F7CB6F-83D7-48A9-9B1D-90AD4473C5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1dd41a9244f3e11734ee099c08465b848e49ffd","datavalue":{"value":{"entity-type":"item","numeric-id":924678,"id":"Q924678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070958$DDD06B82-92F3-44F8-BD04-27B29BFA7A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29d59d41f097de80c7df4ab4990d97d282c262b","datavalue":{"value":{"entity-type":"item","numeric-id":3543477,"id":"Q3543477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070958$5211356A-F787-434D-A020-119FA29E0AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58328876cb3ae02511c945705dc80cec928ad7da","datavalue":{"value":{"entity-type":"item","numeric-id":4375761,"id":"Q4375761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070958$C022BAB3-BB6C-4198-B5CE-C2D646294B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95eae76d6fb6bbc9ffc68403c1b728f21ae14a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1960406,"id":"Q1960406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070958$6FF76BD2-1C82-47C3-A0CF-263CA1FB9130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfdd0f91a2d7ad7bae77c1e11f0557963324891b","datavalue":{"value":{"entity-type":"item","numeric-id":4762326,"id":"Q4762326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070958$D30C4B1C-FC0A-4385-AF39-7D11E47AD952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633481678a0836b3846b49aa8db13fb38104e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070958$D8445175-5C51-4269-8012-F5D494833226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffe58e56d1d8c175d34ec854021f9e9a5dc3e6fe","datavalue":{"value":{"entity-type":"item","numeric-id":3192015,"id":"Q3192015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070958$6B7CAD35-2F98-43EA-B2D4-2BD3C229DE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95d11951a8791c3fab2ea8429076d51956a1c28","datavalue":{"value":{"entity-type":"item","numeric-id":4283247,"id":"Q4283247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070958$F4362E4A-D786-417E-84ED-C7B68AD8A038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b8607ae010e0d0350929d285774478578406e7","datavalue":{"value":{"entity-type":"item","numeric-id":5432361,"id":"Q5432361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070958$ED23C8A4-8281-4926-AB40-C5A5A34E3CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0f92064a7c0a7169d569584bcfda37a7842df61","datavalue":{"value":{"entity-type":"item","numeric-id":4414647,"id":"Q4414647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070958$7896EFD2-E52E-4305-8903-1B4276A948A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f3c00ed9c1c6eb650951f365f237be8514b5534","datavalue":{"value":{"entity-type":"item","numeric-id":2629931,"id":"Q2629931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7a3e0caabe33c6c0b4a91997ab7dfdb4daa10b9","datavalue":{"value":{"amount":"+0.9314442276954652","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3070958$75F697B1-E4FF-4973-8C03-8F81E3C84054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"447822a2e1b7f1c8a6341993e85ade5b9be362d3","datavalue":{"value":{"entity-type":"item","numeric-id":3543477,"id":"Q3543477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a91727a05b8568984508683df1ae90d35ea4654d","datavalue":{"value":{"amount":"+0.8562818765640259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3070958$ED2100E3-C3B1-4D4F-B3EE-E49A4DF0365C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c2e502ca3d052647c6fea1e8050facd7a587149","datavalue":{"value":{"entity-type":"item","numeric-id":5452688,"id":"Q5452688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c417c5658774b0e7c0ee8471b5619dba23678a3","datavalue":{"value":{"amount":"+0.8119097948074341","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3070958$7007BF10-AFD2-4916-901B-F7C1382BEC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b19acaeaf1593debf2dbcc3bfcc0fa6563ba4aac","datavalue":{"value":{"entity-type":"item","numeric-id":924678,"id":"Q924678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e08e454f22622d7b0ae18a5079d9fc0107c09365","datavalue":{"value":{"amount":"+0.8010839223861694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3070958$99E8CFA7-D1DD-4159-B1B2-A49714289E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621a37c30f20fc6adae169170087de30223e9bf2","datavalue":{"value":{"entity-type":"item","numeric-id":1789891,"id":"Q1789891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d78e6ecdba9233d07fe8f43bbdac71b268b0c89","datavalue":{"value":{"amount":"+0.7843437194824219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3070958$091CAC7C-FDD1-48E7-A342-514438FA0956","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improving efficiency of 3-SAT-solving tile systems","badges":[]}}}}}