{"entities":{"Q1111774":{"pageid":1122523,"ns":120,"title":"Item:Q1111774","lastrevid":67034328,"modified":"2026-04-12T14:28:20Z","type":"item","id":"Q1111774","labels":{"en":{"language":"en","value":"A satisfiability tester for non-clausal propositional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4076675"}},"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":"Q1111774$E88B4BA0-AA05-4BB5-A079-2123FE0CE4C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc993687c83859b2c02aca78f8866e7b232475df","datavalue":{"value":{"text":"A satisfiability tester for non-clausal propositional calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1111774$D3997BB4-36D0-41DA-9852-A67921CE0604","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b460b40eec775b718be28f08b8eb8f55ae5d786","datavalue":{"value":"0658.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111774$53F666CD-427E-40AA-8809-E615A6F80272","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abdc9cc6b99707c8ded25293d488379740e17b89","datavalue":{"value":"10.1016/0890-5401(88)90014-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111774$6FF4A2DC-9C4E-4C01-AAB4-7A69509E2302","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe49c25650dcd4febba639d323fee3054738fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1104094,"id":"Q1104094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111774$9ECFA92D-565F-459D-A234-C339145BF428","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111774$04CEA6A4-04D5-49D2-8FD1-34E7A449F2E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1111774$BCE4F4A5-5F5D-4DA6-8E23-6F48C899FBDF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a76fcc5ed5d93ae8962d6c6404a652dd7f95a2b0","datavalue":{"value":"An algorithm for satisfiability testing in propositional calculus with worst case complexity \\(2^{(0.25+\\epsilon)L}\\) is presented, where L can be either the length of the input or the number of occurrences of literals in the expression. The algorithm proceeds by a careful choice of the ``branch'' variable and has the important feature that it does not need the testing expression to be in any normal form.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111774$5D4036E5-9474-418F-A6EB-7892D3D53EB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111774$631A7693-229A-4564-BD65-456A2EE98B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111774$7C383173-DFB6-473D-A6FF-B9E2103DE3E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f53b14b8e9d4d07ec449b4a2d973874a00ba0a3e","datavalue":{"value":"4076675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111774$243D4255-F18F-4F1D-99B5-EAB75F8B9441","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f0a9c73c224f35f5841cc57131c750edc1e83e6","datavalue":{"value":"divide and conquer algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111774$AE26F272-A1B7-441C-98D8-55A164DFA15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad41cd35077b837e40fed7612c47169204e5cba6","datavalue":{"value":"algorithm for satisfiability testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111774$24646C25-FCFD-4DBF-9A52-92607420489E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111774$3429D3B0-AE12-41C7-AF1B-A752B9F94ADC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2fc8522c6547fe483c0d1ae4eec1b8d9306e5db1","datavalue":{"value":{"entity-type":"item","numeric-id":290243,"id":"Q290243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111774$065708CB-7561-4838-80C3-D197261F0560","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":"Q1111774$7BF79160-A137-4344-8749-4C09AE51C585","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c2e2473fa4cc98c4e4c6b44164c5b1272b4d122","datavalue":{"value":"https://doi.org/10.1016/0890-5401(88)90014-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1111774$618D99B1-C955-4835-9AAE-9DB8B14B8B82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a31de8e68a18977eed0e772e55633287670ef287","datavalue":{"value":"W2024066799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111774$9BDF7A92-6F06-4057-B3F6-805FF52EBF28","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111774$39E9E75B-9876-4710-8290-1BF72858A6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef757ecac8e00102e8fe2d81d7657ee3391ff698","datavalue":{"value":{"entity-type":"item","numeric-id":4138187,"id":"Q4138187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111774$11AD3970-6278-4542-AAB9-4026BFA80147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111774$9C78D40D-C167-4269-BCBD-3E249165CF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111774$F0396152-09C0-47CC-BE95-12A50CC6950B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a35cc55e5b10a424a85f3ddcd5c540cf5328ff0d","datavalue":{"value":{"entity-type":"item","numeric-id":1249435,"id":"Q1249435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111774$6B6CF5FC-6001-4A85-A5D2-948604C35455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba87f647d350da9410e3009029b609261e32924","datavalue":{"value":{"entity-type":"item","numeric-id":5797033,"id":"Q5797033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111774$0542C23C-E2A5-4282-9515-505472C6AE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98bea2faf0f1e7139247049b725eb54de257627","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111774$5F19D8E9-60F9-4631-ABDA-AF13BD8DF0AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f679d47fabb5d6ebee39b4858aea6d32be17e58a","datavalue":{"value":{"entity-type":"item","numeric-id":3336732,"id":"Q3336732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ece4829c82e11897fddc100864e5e2afb8ef2fbb","datavalue":{"value":{"amount":"+0.9360607266426086","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":"Q1111774$5090208C-8E63-4A78-BACB-3C3679FD8C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd01bc225923ba0424c86610ffc3038c50c8740f","datavalue":{"value":{"entity-type":"item","numeric-id":3826123,"id":"Q3826123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f5bb426bb199e9e5fefbf09cc9090b76aebbc4","datavalue":{"value":{"amount":"+0.8366081118583679","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":"Q1111774$FFFAEA01-8AB5-41CA-B98B-33CDDD24E165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a29e179bbf06cf64dcb40b6c39cad4b300e7df5","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"057ff0a80f1ff83b7187a65415d079e490f95614","datavalue":{"value":{"amount":"+0.8275346755981445","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":"Q1111774$5CFAE813-098B-47E5-B535-93E5A1102794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961868c838bbcd308e52a675ed2ba3c756a6cb74","datavalue":{"value":{"entity-type":"item","numeric-id":4372940,"id":"Q4372940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c817f63a734e187d7d8ce1d33622ebf8960b429","datavalue":{"value":{"amount":"+0.8239366412162781","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":"Q1111774$5CD0B15A-3046-42B1-93F9-520B8C9B512F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42bfcd7c99538f13f94bdcfe38328212eab1a212","datavalue":{"value":{"entity-type":"item","numeric-id":5939378,"id":"Q5939378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c070b9671cac884eb04627901957ea8705a1eb77","datavalue":{"value":{"amount":"+0.8200444579124451","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":"Q1111774$584B2EA3-EADC-45FC-97A6-92BCF254821F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A satisfiability tester for non-clausal propositional calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_satisfiability_tester_for_non-clausal_propositional_calculus"}}}}}