{"entities":{"Q473196":{"pageid":474963,"ns":120,"title":"Item:Q473196","lastrevid":62088177,"modified":"2026-04-11T03:41:25Z","type":"item","id":"Q473196","labels":{"en":{"language":"en","value":"The complexity of equivalence, entailment, and minimization in existential positive logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6372037"}},"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":"Q473196$996F5ACE-AB16-4766-973D-C5F0728ADE4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89ec8a28608be96fd19dadd5c3268d8489777d5e","datavalue":{"value":{"text":"The complexity of equivalence, entailment, and minimization in existential positive logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q473196$EEEAB030-F2EC-4DB7-976A-2B76463F1034","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8317792ebc6dbb6a20f3146b944ceef5d688ea9","datavalue":{"value":"1401.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q473196$4A109AA1-BB16-4388-AC51-DBC79A6D7336","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9882aae56ec8a5b8665d15f346fe4d402963b39","datavalue":{"value":{"entity-type":"item","numeric-id":473195,"id":"Q473195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q473196$AF62436D-F5E5-4FBF-855F-76EA90E19944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de68fabe0331b50e2c0babeac4b29f27d03cc1ad","datavalue":{"value":{"entity-type":"item","numeric-id":361801,"id":"Q361801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q473196$48858025-A5C6-4B94-B3C9-E53DDB4E01B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q473196$75657454-4B31-4EB9-B033-59D66172D90D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"baf80493586065a1490747a28bc7db754b9ba183","datavalue":{"value":{"time":"+2014-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q473196$540F8FDE-3665-415D-A37C-D6D1D345241E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q473196$14E2BDB6-DF8F-4F34-B7A5-D7C3812D2E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q473196$C46AB236-C0A7-4228-8B07-3DAD1D388A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q473196$6589C9C1-7B00-49FF-BF6C-060EFE25F5E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8730a675b82f2a4100b3161ad09d626c74ad437","datavalue":{"value":"6372037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q473196$FC21BE42-0BF5-4966-8670-AF3920682B00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"290e3d7a362506fde5a43f9a2794ec6cbe135d0d","datavalue":{"value":"existential positive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q473196$467962C4-262A-4671-8E71-A19F16D7F595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q473196$48793BE7-6985-41BB-B162-81BF5519C135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q473196$59605577-5129-4FF6-8C34-04781A30B810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66a547826b69c675b656da420513820b64d763c6","datavalue":{"value":"finite-variable logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q473196$05F9A52E-5573-489B-9EC5-C44C3ED545CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q473196$DED17D1C-328F-420A-9387-CC058956AD0C","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":"Q473196$D1A30942-ECA0-4E5E-BA1E-3367BBC375DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4b62f8cfbc5622185c3cdaa5f7c9b5b0480e2e9","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2014.10.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q473196$84B57CFC-257B-45C9-9943-E26D35EC5FA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9b64077528429eea523e1e5bfa9a4dbb9e71f6a","datavalue":{"value":"W2022388196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q473196$564FF6F2-6058-4DAE-8651-C6F89E998091","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d805b01b31fa9a707e4c2d8061776d6d2c3fb1","datavalue":{"value":{"entity-type":"item","numeric-id":840700,"id":"Q840700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q473196$8179C4B0-396B-4202-BC4C-2168325E9071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c44dbe7fb21e7376a50abc945ccbd7d13471b52","datavalue":{"value":{"entity-type":"item","numeric-id":5410336,"id":"Q5410336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q473196$FC774111-BC1A-4CCB-8BD5-5251323CE41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e67d001e0155770b04f208c6990101ba01f2cea","datavalue":{"value":{"entity-type":"item","numeric-id":686290,"id":"Q686290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q473196$0F044123-9DCC-4A1F-B31F-B1479A3239B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q473196$FF427456-AF70-4EF9-A247-44E355F609FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef89dbb44b7c37537d3e1e48a97f18f0adc939e6","datavalue":{"value":{"entity-type":"item","numeric-id":3906490,"id":"Q3906490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q473196$0E35A0B8-2067-4474-B19D-97DE7E15838E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f358bde6c71615512d82cf541b18d46032a61ea4","datavalue":{"value":"10.1016/J.JCSS.2014.10.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q473196$BB39A396-4D78-4931-889A-BE0A556CAA9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6cb483e37e76d941b5f30b4d9fb689897720484","datavalue":{"value":{"entity-type":"item","numeric-id":5410336,"id":"Q5410336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c313124fe441cf914a83cac1e7f3c7881fddfd85","datavalue":{"value":{"amount":"+0.8170891404151917","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":"Q473196$10E6C0B8-41D6-4FC6-9600-3E847D89DFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca7c0b0e18635c538c127f396632810adc397fed","datavalue":{"value":{"entity-type":"item","numeric-id":2946653,"id":"Q2946653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"399f9fac1c4979dd733b661295224922ecb6c300","datavalue":{"value":{"amount":"+0.7840765714645386","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":"Q473196$98E3E476-F2B6-4025-A9CD-FE0D4ABB2C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2892f7085f728ad083ec45e7c7dc270be3f9830","datavalue":{"value":{"entity-type":"item","numeric-id":714500,"id":"Q714500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f973fd93f4015060cee0e7e4b6799bcb41c864e","datavalue":{"value":{"amount":"+0.7764850854873657","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":"Q473196$05D9BDD6-EC1F-4F4D-90F0-AB3FBC06D4E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of equivalence, entailment, and minimization in existential positive logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_equivalence,_entailment,_and_minimization_in_existential_positive_logic"}}}}}