{"entities":{"Q852241":{"pageid":854089,"ns":120,"title":"Item:Q852241","lastrevid":64899213,"modified":"2026-04-11T22:58:18Z","type":"item","id":"Q852241","labels":{"en":{"language":"en","value":"Checking the satisfiability of formulas represented in disjunctive normal form in the language \\(L\\). II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5076478"}},"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":"Q852241$1390A0FF-1458-4280-9336-D48175A737DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa170e638d5889f54f9da3bc75c5d255d50264c7","datavalue":{"value":{"text":"Checking the satisfiability of formulas represented in disjunctive normal form in the language \\(L\\). II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q852241$ACF5B3F4-CF93-45FC-9F1B-1E3BDA536E70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f8dbe25324611b7d9fa9a03b23cd3fbb84dfa69","datavalue":{"value":"1104.68720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852241$5BF2C729-80A9-4D49-8648-47D12AA0B121","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":"Q852241$2813846F-F2D0-4190-94B1-9825F0510264","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e67fedbb3d01d0fbc82d1e830a965c105bf1f72f","datavalue":{"value":{"time":"+2006-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q852241$B49E6572-466B-43D2-8D96-2B49278D7DA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852241$F520FC12-1F98-4E9F-9815-8BFE287EE4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852241$61ECB8F7-E3D3-4160-9D1A-44D6E78480EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852241$56230B92-6138-4200-BCD3-B9D17AB5E3EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26de8e1f09da1f04a76ebfd40023651be026a71e","datavalue":{"value":"5076478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852241$7784B447-9B4C-4805-9D1F-33CF57CDAD4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6be860b21db7d21de6563f5c550146b5bd4dd0","datavalue":{"value":"data representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q852241$8EC84719-B255-4BBD-8E76-43049DD60792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a735f53212b2e8e946670a1d4ca812188b4cc6a6","datavalue":{"value":"estimation of complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q852241$92EE351D-8614-41AC-8959-CDC46E339BCB","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":"Q852241$C7A3D81C-201E-478F-9A97-04AB9E837BA7","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":"Q852241$ADEA8F28-4AB1-48AB-AC93-B30263B49445","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":"Q852241$B3BBEE8B-DA9B-4DF7-8983-1FFE985EFB29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a83db48a68bbe513ad894107dd44a7efde61b833","datavalue":{"value":"https://doi.org/10.1007/s10559-006-0018-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q852241$5D51500B-3F50-4719-988C-C971E0DF2AEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f9009d7be3d25f763e3f2492bdc77d7204846be","datavalue":{"value":"W4242136205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852241$4D9D0AEB-903F-426A-A439-B0704F926E40","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6fe682707527e51d1912b797be115404652a89d","datavalue":{"value":{"entity-type":"item","numeric-id":1895045,"id":"Q1895045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q852241$BF9EEC14-47FB-4FFC-BCF1-F0DDA8CEA366","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d12a50481e4e38c714616d6bc5fd7e6a1b6acb7","datavalue":{"value":"10.1007/S10559-006-0018-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852241$C7C31605-CE88-40F9-A04D-C873AA0F9C89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38e42cdd50b8f7a451d8d34e37aaf9538b8b78c5","datavalue":{"value":{"entity-type":"item","numeric-id":2508787,"id":"Q2508787"},"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":"Q852241$7F2DD70B-01FD-4938-AA6D-0926C8D83B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d12c440f60eb98394b5fb6f7dca214f6e5e34ae2","datavalue":{"value":{"entity-type":"item","numeric-id":1801736,"id":"Q1801736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb06fb1b183b939f2ec11a77dff0d15159bd872","datavalue":{"value":{"amount":"+0.7657696008682251","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":"Q852241$BC4C29C9-16E9-41D9-94D0-53E89CB0EFFB","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":"ec1a350c224a38f1b5c18cc45153464eab78a63d","datavalue":{"value":{"amount":"+0.7591268420219421","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":"Q852241$95042D87-3A8F-4238-9C48-B8B0ADA9178B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a5b8ee4385c2b7c8e57d536b946ea27da8a1255","datavalue":{"value":{"entity-type":"item","numeric-id":4037920,"id":"Q4037920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7689729af9c8e0637b86b90c0fe1b1ed6a827663","datavalue":{"value":{"amount":"+0.7590880393981934","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":"Q852241$D1462212-646C-4DC8-A922-CFC291A534CB","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":"6bf28325e57ef59c4d4ddcd3b512d2c6029bb940","datavalue":{"value":{"amount":"+0.7571920156478882","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":"Q852241$625754E3-050D-4C3C-8C65-8600740A682C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Checking the satisfiability of formulas represented in disjunctive normal form in the language \\(L\\). II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Checking_the_satisfiability_of_formulas_represented_in_disjunctive_normal_form_in_the_language_%5C(L%5C)._II"}}}}}