{"entities":{"Q3060740":{"pageid":3071456,"ns":120,"title":"Item:Q3060740","lastrevid":45360805,"modified":"2025-12-06T06:44:26Z","type":"item","id":"Q3060740","labels":{"en":{"language":"en","value":"Fractal Parallelism: Solving SAT in Bounded Space and Time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5825295"}},"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":"Q3060740$4C761CE3-4AF0-4512-93A9-CB9E7E6EE875","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e66c8a8b1ef7eb26465c8fa909110edaa5c8ba61","datavalue":{"value":{"text":"Fractal Parallelism: Solving SAT in Bounded Space and Time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3060740$2680FE6F-30E9-40F8-93FE-8DB2391AF309","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbc4bed9d8bcdcbabbc8b9c3f10157c0904e8a89","datavalue":{"value":"1310.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060740$DF7BE757-D521-4956-88B1-8AFDF41BC556","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"417f5411f61fd10f6159d229eae997e9464ad87c","datavalue":{"value":"10.1007/978-3-642-17517-6_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060740$625A7C6A-1EE8-44CD-A74E-91DB13CDFC10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a1bda0bd8306950ba4d5f7d7073799287f853a","datavalue":{"value":{"entity-type":"item","numeric-id":1768800,"id":"Q1768800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060740$4E3071B5-629E-4D06-A08E-0F88B6742C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f924907159e3f83d1949f8c46bdeeb65344364f9","datavalue":{"value":{"entity-type":"item","numeric-id":1672011,"id":"Q1672011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060740$BB69BBA8-B88F-4616-822D-319B0D8DBAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdc7fa2b7b362750d9ce0fcb063f03d06142d891","datavalue":{"value":{"entity-type":"item","numeric-id":1583596,"id":"Q1583596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060740$3D95854E-DA37-4D79-B6FE-BC43F945674B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b1f23f6c685108e278a483090ddf4cef029237a5","datavalue":{"value":{"entity-type":"item","numeric-id":2729094,"id":"Q2729094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060740$CC04D7A4-77DD-4476-BDB3-F9297CDB0C6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19c0aa7a0532292585c972472b9e5b14b502561a","datavalue":{"value":{"time":"+2010-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3060740$3C02CF90-F267-43B5-8177-33F350FB3072","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060740$FFA0BDC6-37FC-4160-9294-98F904D89472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060740$CE2AD70B-96BC-4851-BDDF-22FD361CAAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060740$2C8383A1-B1DB-4980-A927-B26100DB8591","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb0cb90b82b4f2322f989b0d3e10850ff3661097","datavalue":{"value":"5825295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060740$F206094C-1114-41A4-A282-3797073858A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07895a5bd98250fe84982688d87418f550533515","datavalue":{"value":"abstract geometrical computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060740$1FB17D8E-A317-4C89-8B98-6FEFE72C2139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d22057db86cbbd852aacf84d35e86f7a616717","datavalue":{"value":"signal machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060740$C69FC140-B537-4645-80DC-EA58C1DC48ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2f919865b285ac005c65a2bb016e87a5f5e6ca6","datavalue":{"value":"fractal","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060740$A085105E-7F17-46F6-914C-A38B937E8D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060740$C3A71FE8-5330-4215-B577-9CB76401B9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22229924edcbb603784a19a46387a4d72a5cdb6","datavalue":{"value":"massive parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060740$EF95EEF5-B950-461E-862B-2144280DA2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1be5035bbaefc18f23cb47009b02596a51f85005","datavalue":{"value":"model of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060740$6826DB76-46ED-40E0-88A3-AE370E893943","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":"Q3060740$709A37A8-8BFD-4EDB-875A-6978E77A5D29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b6615fd17e443593a4a94670a1b284c5c2cebef","datavalue":{"value":"https://doi.org/10.1007/978-3-642-17517-6_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q3060740$84FF1D25-EEBD-4460-A4E9-C1BD6A1FA2C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62ee52fa005ae8e01e71c716193618fef4fb9bbb","datavalue":{"value":"W1858523908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060740$CF438859-97D7-4B49-B266-FA5475B2DBC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14698b283ed8cf19083cad194e8fddafa77229c7","datavalue":{"value":{"entity-type":"item","numeric-id":2661341,"id":"Q2661341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b804910b0ccad976fbd0fbc7c5b507daea9d1051","datavalue":{"value":{"amount":"+0.8907014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060740$E3F045B0-9594-4C46-8029-D6970022D73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb80b282a0e61a87fb275ee18765834afdc4d96a","datavalue":{"value":{"entity-type":"item","numeric-id":3604001,"id":"Q3604001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eadfd35b2912145c5388f85693f64d2f4aa57700","datavalue":{"value":{"amount":"+0.8884404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060740$B7FAB57E-57A9-4719-B2B8-68FC7519A5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8cd157bf63d3eb79f3482c88bea0602c72065e2","datavalue":{"value":{"entity-type":"item","numeric-id":487635,"id":"Q487635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b1480a01a2d1191832909118b0b50b297f04765","datavalue":{"value":{"amount":"+0.8865039","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060740$2C1E5A3E-29EA-41C0-BEC9-14A39D0D18FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc82022e7d8b08e56662ce23a79228afb6a4f1f0","datavalue":{"value":{"entity-type":"item","numeric-id":4859227,"id":"Q4859227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab30cdf835bedde2967068d96b8646b3eaf986df","datavalue":{"value":{"amount":"+0.8860916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060740$6220ED32-E914-4A69-8103-B254F66726FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191d7de5686685f351dfcb7b8072b31917f512aa","datavalue":{"value":{"entity-type":"item","numeric-id":2898055,"id":"Q2898055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2798359ef1e70a9c437c599da19c5ce72500a669","datavalue":{"value":{"amount":"+0.8824628","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060740$E7A9B4E1-7ED3-4F9E-855D-04B1BDB78F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f05d9027728050cdc19e8a7e0e796a7fb4268a71","datavalue":{"value":{"entity-type":"item","numeric-id":3069995,"id":"Q3069995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea190da49908f0ada88b51fb21041606341cc64a","datavalue":{"value":{"amount":"+0.87004644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060740$4072E62A-27E5-46D7-ADDC-0BCF90915979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08e2c60303a204597f85bd4841abf3fd581d0c09","datavalue":{"value":{"entity-type":"item","numeric-id":1380435,"id":"Q1380435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49f8f80a19fac0f4fc3ef5ea59001d199dd9bf8d","datavalue":{"value":{"amount":"+0.8667687","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060740$EFC23225-7635-4A6C-BF91-894D5799CEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fc677be20337d43daa8e143bc2553cb63661f3f","datavalue":{"value":{"entity-type":"item","numeric-id":3192184,"id":"Q3192184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c10bf355d1015321e6010f3b858a3d3087603ab0","datavalue":{"value":{"amount":"+0.86499643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060740$96B6E29B-2B83-4539-922D-E29E612AC887","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3060740","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3060740"}}}}}