{"entities":{"Q1357089":{"pageid":1367828,"ns":120,"title":"Item:Q1357089","lastrevid":68542944,"modified":"2026-04-13T00:26:54Z","type":"item","id":"Q1357089","labels":{"en":{"language":"en","value":"A constant time algorithm for theorem proving in propositional logic on reconfigurable meshes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1022309"}},"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":"Q1357089$0BACD73C-59E2-4A69-92A5-CDB95840A615","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0a469f603867d5b297ba27cd91a2d038175d8d8","datavalue":{"value":{"text":"A constant time algorithm for theorem proving in propositional logic on reconfigurable meshes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1357089$E7BAE9EC-AB53-4D60-9504-291435EFE314","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa5f5a566e0ca74a75a5b20d27bd24069f3cae0b","datavalue":{"value":"0878.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357089$C77BDB00-9C23-4D2B-90CE-C36D3DA0D984","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e524189f5ea44310122fe065d6ecaddba36d9ff","datavalue":{"value":"10.1016/0020-0255(95)00026-L","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357089$12C99A29-0DB0-4CD9-B8C9-1F3D7A881E2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"faf5e5ca9e595ea4e801d44efb7654c16d1cd098","datavalue":{"value":{"entity-type":"item","numeric-id":1357088,"id":"Q1357088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357089$39F162FF-C537-4A40-829F-53A8CA527E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9fdacec2a347b263926b4e3ea551d9303ca3756","datavalue":{"value":{"entity-type":"item","numeric-id":557651,"id":"Q557651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357089$94C2C974-CAEB-4C0A-A4B9-547B52726C9F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357089$3874CEA7-5B82-4CCF-9BFE-D4C007D57788","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb867dd59d1172f7557d43d510ae2a9b46c359be","datavalue":{"value":{"time":"+1998-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1357089$CB42FA09-531E-4D50-BDB4-80800FDCCF15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357089$02F319C8-0216-4678-9104-D1E87C99E115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357089$20C55FE4-18CA-4D1D-9D19-59B5E5DC9B6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73a201b91444c965ae4e0ec702f584a2ee23c1a6","datavalue":{"value":"1022309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357089$1612614F-6F2D-4345-B35A-FDC0A9880E59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1357089$73AAAAA6-2EE6-48E9-87D2-B46B6659306A","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":"Q1357089$C2968433-6A15-4315-9507-A79384A8C9D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dfb9c15eb8582237fb4b4fbea1ff81538e5bf8f","datavalue":{"value":{"entity-type":"item","numeric-id":3216155,"id":"Q3216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357089$917D4B1B-3D1A-4932-88DC-6BBFD8E98B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38d9514ce9d96ee8e9e1ff5efc9ef42a768c9778","datavalue":{"value":{"entity-type":"item","numeric-id":1102766,"id":"Q1102766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357089$FEA12150-A1EA-4746-8D31-BB412BD1A298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b7353f18d8b307b95dd0fddf4d3dcafb19b6664","datavalue":{"value":{"entity-type":"item","numeric-id":808298,"id":"Q808298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357089$AA2DCDB2-86C3-49B5-A423-988A899C02EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3801d615951ac208f8ebbeda6ae0c43ee656e3b4","datavalue":{"value":{"entity-type":"item","numeric-id":5375319,"id":"Q5375319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357089$6669F16F-06AB-4DBC-8574-A79A1BB8706E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21b8c6910bf5b056cb0e49206a3c7cdedc6efa3f","datavalue":{"value":{"entity-type":"item","numeric-id":1208520,"id":"Q1208520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357089$BAF9811B-2DC3-48F8-82D9-647805CCBFDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c10da08c9471fbd06bbf2477dd861a8f40f01890","datavalue":{"value":"https://doi.org/10.1016/0020-0255(95)00026-l","type":"string"},"datatype":"url"},"type":"statement","id":"Q1357089$0DDC0051-9A26-4D48-81D7-2E30658F2A9D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64be4068beab3b8cb0b7f6ffbd36b9a28bb8a41d","datavalue":{"value":"W2076587260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357089$AC0335AE-E35D-41E8-9694-E7790C7F9F44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fad1674c6d83dc31194cbf0f096419a4ed6ac1f","datavalue":{"value":{"entity-type":"item","numeric-id":1102766,"id":"Q1102766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e6555a9dae52baa126ab788294c356c13d1c6cd","datavalue":{"value":{"amount":"+0.811130166053772","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":"Q1357089$98280AEE-7837-4CB8-AFE8-E22C0DA5D82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e33e9e995bb87c38170c19a9e8faceee834ff58","datavalue":{"value":{"entity-type":"item","numeric-id":808298,"id":"Q808298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e3e49160f0dfd907ed1ef387c1c376cc3c2965a","datavalue":{"value":{"amount":"+0.7925622463226318","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":"Q1357089$33167DA0-50B6-4780-9313-499539F67FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffc202638374ea772190b3e3d3f5d32f56840118","datavalue":{"value":{"entity-type":"item","numeric-id":1978017,"id":"Q1978017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39a24a790065cf576145212e04b24c79378be3d3","datavalue":{"value":{"amount":"+0.7181697487831116","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":"Q1357089$7E80DA9E-DF30-4E3A-93E6-6F4448CC9C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0dbf6de875b2deecc322a14efb9e5b03609ece","datavalue":{"value":{"entity-type":"item","numeric-id":3204066,"id":"Q3204066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29c478a9e477dcd722d8767ce65a5c2e9e66584","datavalue":{"value":{"amount":"+0.7104154825210571","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":"Q1357089$405DD7B1-2FB7-4A4B-B4FE-2AA3D1ED53E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617c47ba904acc210e7270c8207d15e18218734d","datavalue":{"value":{"entity-type":"item","numeric-id":931750,"id":"Q931750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8abb88bf8a2b85c5a3775730ea89db58262282f7","datavalue":{"value":{"amount":"+0.7054301500320435","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":"Q1357089$44DCB2A7-B3B0-41D1-8B08-07B9675E0EFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A constant time algorithm for theorem proving in propositional logic on reconfigurable meshes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_constant_time_algorithm_for_theorem_proving_in_propositional_logic_on_reconfigurable_meshes"}}}}}