{"entities":{"Q3723723":{"pageid":5753629,"ns":120,"title":"Item:Q3723723","lastrevid":50763395,"modified":"2026-01-15T02:17:36Z","type":"item","id":"Q3723723","labels":{"en":{"language":"en","value":"Linear-time algorithms for testing the satisfiability of propositional horn formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3954300"}},"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":"Q3723723$CCA9E5E0-64C8-4B76-8D6E-330977114647","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7d22e1cfd53ee48b6785eb6323d5aa77ff51ba3","datavalue":{"value":{"text":"Linear-time algorithms for testing the satisfiability of propositional horn formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3723723$662B3C1E-D7D0-402C-8510-568CF8323C2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecd62c11cc655bdd92eb34fe13d32b910dd2c361","datavalue":{"value":"0593.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723723$00C84829-93A4-4500-8F9F-1DE7A7256195","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3a6598f9052e218ec07d30219c102dc3c5ec7d8","datavalue":{"value":"10.1016/0743-1066(84)90014-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723723$B596B544-60B8-4588-95F2-93A97E1EFDDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4f3766f2bf2636c8fb2b0a1869f953e917070d1","datavalue":{"value":{"entity-type":"item","numeric-id":1080650,"id":"Q1080650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3723723$EFB1CBA2-A4F5-4CE2-8002-E528997F23DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d25ac9b447f10c901ed8f4d14165c543498fe122","datavalue":{"value":{"entity-type":"item","numeric-id":579924,"id":"Q579924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3723723$E0F56B1E-60DB-4EF1-BAD5-F892169EFF0C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3723723$AA146244-8E19-4D57-925D-6E1413F77F35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3723723$3C6CF0BF-265D-4FDD-B78D-BA080D78FB09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723723$F6B83BE5-82E4-4507-B499-1FF375260BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723723$5CC59A0F-091A-4B77-A754-1DC68BC85EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723723$CC722FE4-3388-48A6-AE9C-4656CCE90214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723723$11BCC660-D7A2-4E9F-B13D-3E96EBA23910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723723$388A7EEF-38A7-41BB-B90D-3AE0038EAB6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"906ff5bb5a006ef94712540157a29a8fbc9cd123","datavalue":{"value":"3954300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723723$9442A84B-48AD-43A3-9F34-32645321F1D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e39c73e51f26d8927d009fa50445c27aa916d51b","datavalue":{"value":"data flow problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723723$2A442D54-CA75-4F4F-A845-FBA8134047C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1d8d258d3402aa3da587a75cb8f21bb61c69dad","datavalue":{"value":"pebbling","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723723$4139CD6F-272E-44BA-879D-B32589B70325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d8f95104569681b12147407e1fc63bde7079389","datavalue":{"value":"context-free grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723723$EA644D7A-369E-4D90-A104-F071652BB33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f95bdbac8b87ab5595d8da631ab421108cd928d","datavalue":{"value":"graph traversal","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723723$6CFA2F2F-8779-47BD-83CD-8655C49CA8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12ebafd4cb47dcf63373c0f8ea9a786dc43d1a60","datavalue":{"value":"attribute grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723723$2C58980E-14B1-4D0A-B48B-F6D30BF37FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc7de13e1ec61a6d90ee3bb3490f2d9daf13111b","datavalue":{"value":"parallel processors","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723723$DE619E47-D60C-4588-850E-9C7C7FE06D33","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"837f778a2ca0991c8c39ebeb15bbd6a4d40ac38d","datavalue":{"value":"Q55966922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723723$688D7E74-CCFA-4D2E-8CDC-CCA2CCC98FDE","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":"Q3723723$C676C028-9E1F-4018-8C11-0B7353284C72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c60f3775d9d9237f03b0c8962c87a975031bacc8","datavalue":{"value":"https://doi.org/10.1016/0743-1066(84)90014-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3723723$B3C811F4-1EF9-4A6D-BFC7-E1258900FE98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"907dcc74c7e1832c7363ebe3d3105f31f2697903","datavalue":{"value":"W2011992362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723723$F2A0CE08-7DF5-493B-8FA9-5182D8777A81","rank":"normal"}],"P1643":[{"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":"d7975336668e1a28a481cf1e3d91e287570d0e91","datavalue":{"value":{"amount":"+0.883956789970398","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":"Q3723723$1D2ED2F7-0CA3-4D62-8422-A0E88D562E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2f4d9cc611cb3a5ae1671971b0f3c138b5e8880","datavalue":{"value":{"entity-type":"item","numeric-id":1111776,"id":"Q1111776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b1e0eeb2932646d5d6caf8b38daac68eef4298","datavalue":{"value":{"amount":"+0.8773417472839355","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":"Q3723723$2A2A48C2-3E65-4374-81E9-16006479E392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd5f7b3d0b86de9b40a1b9a9e97878011423f3f7","datavalue":{"value":{"entity-type":"item","numeric-id":3485885,"id":"Q3485885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf5c253c272173ae29866d351f5d034b0d86b34a","datavalue":{"value":{"amount":"+0.8559192419052124","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":"Q3723723$709A7B8E-44D4-430E-B211-7B0BF57940BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b4df11fc868397d19521e862b6fa5bae8dba047","datavalue":{"value":{"entity-type":"item","numeric-id":1097717,"id":"Q1097717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af0967c39637e3cb5fcfb05435292d05b8cdcfdb","datavalue":{"value":{"amount":"+0.8431435823440552","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":"Q3723723$330371A4-F4DC-4CDD-8EA4-B86E6134A011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc302dd244c1a1d16f8b4706f0652142e7e9e40c","datavalue":{"value":{"entity-type":"item","numeric-id":1337669,"id":"Q1337669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"441efebf2bf53075b700a881aaf739b84a0a699c","datavalue":{"value":{"amount":"+0.8330428600311279","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":"Q3723723$8A7C3C6E-4B7B-4D15-95B3-084366605755","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3723723","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3723723"}}}}}