{"entities":{"Q2879137":{"pageid":2889857,"ns":120,"title":"Item:Q2879137","lastrevid":83971709,"modified":"2026-05-07T15:25:07Z","type":"item","id":"Q2879137","labels":{"en":{"language":"en","value":"Software for quantifier elimination in propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341326"}},"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":"Q2879137$6D5F54E2-CB49-42D6-AF8E-B6CBCB0E1010","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6cd2df471acc4280da8b0cf887842ed71b162dc7","datavalue":{"value":{"text":"Software for Quantifier Elimination in Propositional Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879137$426A979F-2DCD-4596-B1EE-20F2EC4F700A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"229adf4c002b979de5647df285fc4e9dd238a071","datavalue":{"value":"1434.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879137$57C02E68-ECC8-4144-8400-5E551488DE51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86385124404e0671323c40ebaec976dce2b3c6a2","datavalue":{"value":"10.1007/978-3-662-44199-2_45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879137$B389A995-41B0-43F6-8E10-A9F0F48262D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ea246280c5eb4245575c165ce4390137ed45ebc","datavalue":{"value":{"entity-type":"item","numeric-id":479821,"id":"Q479821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879137$1CF3C126-624D-4144-A0E2-4614C85998DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07ef5bce62b88cfecff16603e8667fcc383b0d99","datavalue":{"value":{"entity-type":"item","numeric-id":479822,"id":"Q479822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879137$CCDF8420-C217-4F94-8334-430AC4E03FA9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b4ac82364f0ef37674b402ad685753171835f31d","datavalue":{"value":{"entity-type":"item","numeric-id":2879087,"id":"Q2879087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879137$7273EC53-5BB9-4148-A796-35E9207B5C13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879137$98B43C47-55C1-4E84-8D0C-778973A99BC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879137$CD850B9E-4E7C-4D39-99E7-77F248AE74D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879137$FDFC8A96-9518-45B4-81A5-CD0977772171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879137$A09D19C9-9D1D-42BF-890F-2F2750572991","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49125ac346cb27bcce741a3f74d5b533e9a751c5","datavalue":{"value":"6341326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879137$F532245E-5F9D-408A-B58C-EB44240549C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879137$DEE917A1-B648-428D-A968-FC1CBEB853BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879137$A3CDCA33-D836-4E03-A902-0AC4938E6D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef21762bdb2fe85daf6ca82cde3974547cad4004","datavalue":{"value":"dependency sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879137$DA9C9099-2502-4333-8E46-7A953BF84B12","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":"Q2879137$86859FDA-A4F6-45CC-B241-BE77EF3F1749","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8bcc0f8241d88cbb11eecf902ea8c3e36cd4113","datavalue":{"value":"https://doi.org/10.1007/978-3-662-44199-2_45","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879137$99076894-90AD-45DC-A547-D80E166CF050","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f343c61da327a1bf01b00ded0c22d75ebb90bab","datavalue":{"value":"W636337682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879137$7DF02669-721B-4474-B2CC-95DC4DDA12EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8260cc9c085f069914242d34cb814dea0d9e1182","datavalue":{"value":{"entity-type":"item","numeric-id":479823,"id":"Q479823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd6b55146029ca49f5e93289c3c0bc1a8fd62754","datavalue":{"value":{"amount":"+0.7933797836303711","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":"Q2879137$CA0C984B-BBF2-4628-8A11-24CC283530D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07dcdf6c64a75f52c3346e883ec6bc39c4fbcbce","datavalue":{"value":{"entity-type":"item","numeric-id":5175308,"id":"Q5175308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7272e574fbb75b167109cb7c01ffa1380d365fcf","datavalue":{"value":{"amount":"+0.7732592821121216","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":"Q2879137$F04AC781-D8D3-4D51-B4E3-99D7C6C398E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372f0df45761453229a88765f6f45e0f17236390","datavalue":{"value":{"entity-type":"item","numeric-id":3636874,"id":"Q3636874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8faf177dc168c3b0db15efe60476c987815baeda","datavalue":{"value":{"amount":"+0.7561266422271729","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":"Q2879137$5177FCC8-E9B9-420C-AEE6-E6A6796B6AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4732629a4972652d98f4bc9874c86637a0c91c78","datavalue":{"value":{"entity-type":"item","numeric-id":4899301,"id":"Q4899301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e258fc903817720ce513808b8095c394b641041","datavalue":{"value":{"amount":"+0.7541447281837463","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":"Q2879137$99255325-E4B5-4502-A754-8CE9D8832EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f7b3faa9abd503adab345f00e95ef47b1edf47c","datavalue":{"value":{"entity-type":"item","numeric-id":2941732,"id":"Q2941732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"938f341ee6d659619aa0c9dbae2363308282c500","datavalue":{"value":{"amount":"+0.7501523494720459","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":"Q2879137$DBCD19BA-10AB-4AFA-96BD-40AE7D3F1E67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Software for quantifier elimination in propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Software_for_quantifier_elimination_in_propositional_logic"}}}}}