{"entities":{"Q4930579":{"pageid":6960161,"ns":120,"title":"Item:Q4930579","lastrevid":98207798,"modified":"2026-06-05T16:56:07Z","type":"item","id":"Q4930579","labels":{"en":{"language":"en","value":"Rewriting (dependency-)quantified 2-CNF with arbitrary free literals into existential 2-HORN"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5793446"}},"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":"Q4930579$AB1B5000-6957-4B96-9BA2-2EB87AF3890D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bcd1d99b16b502acbb31bd6e8149a604cab3175","datavalue":{"value":{"text":"Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930579$BBD85B10-51DF-4BB4-909F-BE35AD428052","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c96ed5bfd32ca13f19b7587387d4e7b8de1c309e","datavalue":{"value":"1306.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930579$B99CD6B4-FF80-472F-9AEA-E052859EF9ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59e6e04bc73b0511afd0b4e84c0399bde1c0e3fb","datavalue":{"value":"10.1007/978-3-642-14186-7_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930579$7FFE1C55-AC71-4886-8123-703D9C9988E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa6eeb09e47d0c3657c971f131f2ff7452bd83e","datavalue":{"value":{"entity-type":"item","numeric-id":599500,"id":"Q599500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930579$C434D088-0714-4FA4-85AC-030C36ADFDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"480d1f14486f5f2b4e32e9c563a24baae88b3634","datavalue":{"value":{"entity-type":"item","numeric-id":944708,"id":"Q944708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930579$557EE19D-2331-4A21-AF27-56FC0F04FFFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d1b19733acdd40acbba69ca5d986f1f385209d79","datavalue":{"value":{"entity-type":"item","numeric-id":4930573,"id":"Q4930573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930579$8E297074-550E-428E-B0DB-C45A0156530D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4858cb14fe2ceb550c09f1dbe5241e082f5548d2","datavalue":{"value":{"time":"+2010-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930579$C0157931-7EDC-46DA-BD87-F683D6B4BCF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930579$A30EB66F-01BD-489C-B402-FC65B4B0556A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930579$D3E6050A-CF7A-4963-8C0A-BCAB02A6AD97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94416d337c971d35b5e62f28df8ab5b46a8fb2a6","datavalue":{"value":"5793446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930579$7E98CF8C-C224-4174-A4A5-61B5C773EA29","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87973a7a71e3ffa05ce5b5aeabcd6b005b85607e","datavalue":{"value":{"entity-type":"item","numeric-id":21561,"id":"Q21561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930579$7577D86B-E901-4028-9F63-8A37AE389FFE","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":"Q4930579$7661264F-2936-4AAB-B092-E4F8A9C20D8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46cfb792e142cdfb2635c1a889e6568a79347032","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14186-7_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930579$B3FD0A62-269A-4E16-AE1B-46A82B4CD3B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66fae77cc2657d1fb8e3c48c9ae297d2b9d74987","datavalue":{"value":"W1491702378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930579$69C04884-FF61-4C31-BE8E-B23413597C8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8575c05a0008dc7efb8f34bf405a657a77834a1a","datavalue":{"value":{"entity-type":"item","numeric-id":5756561,"id":"Q5756561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d0f3453f3d0b079e59b1a940065f5db9f89c2f","datavalue":{"value":{"amount":"+0.8283337354660034","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":"Q4930579$5BFEC3ED-F5BF-4B74-8928-43B268E5D56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5080963c401e6f7873c09ff3ec91b988beb8dd64","datavalue":{"value":{"entity-type":"item","numeric-id":5713727,"id":"Q5713727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb4d1b6b3b1bc0e7d8c5c8a37401cb1395502fec","datavalue":{"value":{"amount":"+0.8042933344841003","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":"Q4930579$28F0BDB1-D3DE-4742-8AF4-E7846AEEA8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e85cbf5e401ad788525e5879290f5cb6b9890d3b","datavalue":{"value":{"entity-type":"item","numeric-id":944709,"id":"Q944709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0702799c9a11939ff7f03abaac40a8fb50202642","datavalue":{"value":{"amount":"+0.7762514352798462","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":"Q4930579$20F1886F-B1BA-4FCF-99D4-C678D707A24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc51c91a5e47a3b20ee19539a297cbb42ce11e6","datavalue":{"value":{"entity-type":"item","numeric-id":1680263,"id":"Q1680263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a7eb73e6691384502b60ec3bfd3f4b9ce04ce2e","datavalue":{"value":{"amount":"+0.7558268904685974","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":"Q4930579$2D6E7437-67EE-4B5D-9F17-DF095140DCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab30d1bbbf226610c8e8fb5b2c8eec941e4c676","datavalue":{"value":{"entity-type":"item","numeric-id":3566747,"id":"Q3566747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bbae56bdfcb40191fcabfc2b318c7556f91d350","datavalue":{"value":{"amount":"+0.741908609867096","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":"Q4930579$FA68A88D-F341-4FF1-9E9E-CAF666EA42B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rewriting (dependency-)quantified 2-CNF with arbitrary free literals into existential 2-HORN","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rewriting_(dependency-)quantified_2-CNF_with_arbitrary_free_literals_into_existential_2-HORN"}}}}}