{"entities":{"Q2508787":{"pageid":2519530,"ns":120,"title":"Item:Q2508787","lastrevid":49949020,"modified":"2026-01-12T06:09:11Z","type":"item","id":"Q2508787","labels":{"en":{"language":"en","value":"Checking the satisfiability of formulas represented in disjunctive normal form in the language \\(L\\). I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065963"}},"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":"Q2508787$A9283CB7-34EB-4F08-B093-E287F65DFC8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5d3971ad22427a893188246e9e55e486d5d9b52","datavalue":{"value":{"text":"Checking the satisfiability of formulas represented in disjunctive normal form in the language \\(L\\). I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2508787$9AEEDA36-6C73-4513-9FE6-3DC0770DFE90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f572a7a9df0c12ac1cdee38d22b3b337edb8bb8d","datavalue":{"value":"1102.68646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508787$A1FD3BD1-EADC-4284-8334-3EDFA1255293","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508787$67481360-68A8-40C0-9EBD-2F49DBE0D83B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04d8047ef91e7ccd7af1b39494c1aad77dacfac1","datavalue":{"value":{"time":"+2006-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2508787$9D5BF4FA-A4D7-459B-98BD-6D3F19DE0617","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508787$F3742C70-9505-4199-913E-2BA8A20B5E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508787$CFD697A0-815C-4124-9A1F-557FECBEB148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508787$A69F8D5A-F494-451B-87D5-249D47BD50D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc853c89226b5f9dbb295bf3e9222bfbf1313877","datavalue":{"value":"5065963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508787$CCFFC329-980F-4323-BD0E-C2DC23254707","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38cd0deef4cd0a93df736b48fb1cb436551eb0a4","datavalue":{"value":"reactive algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2508787$687D7F49-1EB7-4A4C-9B81-7B31A022898F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2508787$0D58F02E-944D-44A0-B074-26D625887468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ab4a8e912cd9343ea416b06f67abc93d75c1302","datavalue":{"value":"formula satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2508787$5A1320E2-705D-4A1A-B51F-3706D15AF544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a7ab32b0867a8ea4cbc68485e711133e7ea3831","datavalue":{"value":"depth of formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2508787$A781132F-EF72-4882-BC7A-6A5FA81CB396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bbfa8c420dffee28805779d54e8457964a0283f","datavalue":{"value":"set of conjuncts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2508787$605E6CFF-055F-4592-BB67-923D2B2E94DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"120e3e50e701634c5f67d1b809f1b56410aed24e","datavalue":{"value":{"entity-type":"item","numeric-id":269157,"id":"Q269157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508787$0EFBC533-AE51-4B30-B7C3-63BA7CB8DF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b856f185edb2a579a72c40fa0c8e1f739df71b9","datavalue":{"value":{"entity-type":"item","numeric-id":1127547,"id":"Q1127547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508787$9D4A9A6D-704D-4DF7-9136-E0E2BE899FAD","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":"Q2508787$6AF8D39A-4614-4CB3-BBA7-24FAD2B8CD84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f48d737c2825b53288b6eb2b17bc3476f4b1d107","datavalue":{"value":"https://doi.org/10.1007/s10559-005-0084-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2508787$CBF004F9-8922-4C64-9D6B-B470575CD5C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3bbf66289e38497849c3b70058df17d4d1525936","datavalue":{"value":"W1999397533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508787$C3BFCA47-E1A6-4BA8-9EC1-81740B0BDAA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d522d164cd0b9d962b8b5ddb7244ae37c06c27","datavalue":{"value":{"entity-type":"item","numeric-id":3703299,"id":"Q3703299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508787$76E85E89-BCFD-4C10-852D-FCCDDA4DCF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d36155adb2d2abe3dee965446f2f034a21406ce","datavalue":{"value":{"entity-type":"item","numeric-id":1905143,"id":"Q1905143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508787$660E1807-534B-4BC6-AEC5-DABD5BE03A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5338af58739e3d38fc87f62ab1e38ddc086de8f2","datavalue":{"value":{"entity-type":"item","numeric-id":1968528,"id":"Q1968528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508787$F6D48B4B-2D9C-400A-A135-A2237CCA7B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a3fcfd95db7acefbfc7f98ee249f08e1d2e413","datavalue":{"value":{"entity-type":"item","numeric-id":1922337,"id":"Q1922337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508787$15237693-E1CD-4F8A-BC60-9F0E01064660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c503680198887d63a27d4a3c18f4f11e8262468","datavalue":{"value":{"entity-type":"item","numeric-id":1816006,"id":"Q1816006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508787$D0F17833-1525-47EB-9423-7816DC76E46E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"148fb958a9fd82adb999cd4a34fd0c28e22437e1","datavalue":{"value":"10.1007/S10559-005-0084-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508787$37B2A6B8-F73F-4705-A3CB-10C3442BC9AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2083bde46c2cd2947475edde20aabc55334f380","datavalue":{"value":{"entity-type":"item","numeric-id":852241,"id":"Q852241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6055d9ff7cf29c7d41a0b266da4a12632368c070","datavalue":{"value":{"amount":"+0.8923954963684082","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":"Q2508787$9B78CC45-1988-461A-8C5B-77F3B920F8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cf4e4f23f371871e2127d997837f6069ba322f6","datavalue":{"value":{"entity-type":"item","numeric-id":3440993,"id":"Q3440993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"413a3c23f4d20600732d6caca215bc647f00841e","datavalue":{"value":{"amount":"+0.7886711359024048","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":"Q2508787$96FA8198-1752-48C9-A1A7-F5B78635680F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7fe8a1cfa48aa08661e29f54741c41ce15f0d3c","datavalue":{"value":{"entity-type":"item","numeric-id":1968528,"id":"Q1968528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62c4993832732c369d8d44013f44d674d37ee4ce","datavalue":{"value":{"amount":"+0.7842923402786255","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":"Q2508787$9DC49E27-0958-4DE6-A0F0-9819779BCF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f79b1729636ce57d55e265f1655f3ed08999e3","datavalue":{"value":{"entity-type":"item","numeric-id":1111774,"id":"Q1111774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a45cce091c3d150cc53359e3a3b494c667e877db","datavalue":{"value":{"amount":"+0.7818619608879089","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":"Q2508787$1698B674-60D2-4482-904B-85B36726277D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28ed19e361d74588fe91c2c72e8c83fcdd803010","datavalue":{"value":{"entity-type":"item","numeric-id":3401966,"id":"Q3401966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ad5384528e6bce57739e72ebe17039947171891","datavalue":{"value":{"amount":"+0.7756491303443909","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":"Q2508787$E9FDA12E-FEC0-4B1D-A75A-43EE1C48CC11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2508787","badges":[]}}}}}