{"entities":{"Q3612644":{"pageid":5642550,"ns":120,"title":"Item:Q3612644","lastrevid":50601446,"modified":"2026-01-14T12:59:36Z","type":"item","id":"Q3612644","labels":{"en":{"language":"en","value":"Simple Saturated Sets for Disjunction and Second-Order Existential Quantification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527391"}},"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":"Q3612644$78C2E1BC-777A-4EA7-B1DC-8684E38606F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15a32b9394f30138982b58e75bdc7f80bece829b","datavalue":{"value":{"text":"Simple Saturated Sets for Disjunction and Second-Order Existential Quantification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612644$EC979162-DA48-4A35-BB67-39AC312C5BDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2f7f8c6ebaf0129619df03dfec31d67df14343d","datavalue":{"value":"1215.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612644$142EB376-D4FF-4EF1-B33F-3F8D7AAAF491","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8720dc2e4fbc38b16ecde869a84ad13a5a4a0e33","datavalue":{"value":"10.1007/978-3-540-73228-0_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612644$39089A2A-A7FA-4052-BC4E-FF789673A5BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26d759a8f15177451aa97ef2fc9836978dfb443","datavalue":{"value":{"entity-type":"item","numeric-id":278746,"id":"Q278746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612644$4CDB95D0-1915-4427-A9EE-184E9BF26BFA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612644$4BBB101F-150E-4D53-9C64-3F74BE2653CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612644$D323CD92-48DD-4172-BD50-FBCD09241946","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612644$1D6564BA-4FC6-400D-8FD9-DD020947A978","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6425372f761c1be5a4a643e4c5a4357f6e99cf5d","datavalue":{"value":"5527391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612644$DB46F3F8-B268-46FD-920F-B6021B1CE829","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":"Q3612644$55C79038-D5E0-47C7-AB72-DF76785A312F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a24380652d0dbda499960ac38686edba2d86ab5","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73228-0_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612644$BCCF9CD2-7F18-424D-BE7A-4E4B55D26729","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec90ff0ec833be76e577d24ab576a4a96748bae0","datavalue":{"value":"W1793317562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612644$D053F368-A506-4C90-A359-D98DE46A1C35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00de8bd7c4dfcc5a8609632826389524b0a0e2be","datavalue":{"value":{"entity-type":"item","numeric-id":2566069,"id":"Q2566069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f923ab90a5c87eb75fc40350479c2b3d7c479f4","datavalue":{"value":{"amount":"+0.7538710832595825","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":"Q3612644$6482C681-4B96-4FA0-B5D8-55F4274FE8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d0f9d72255f3a9d04e85b3de066595cd788858d","datavalue":{"value":{"entity-type":"item","numeric-id":4234182,"id":"Q4234182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78f51aefcea62b3ce49a96584bc93315ca879c5e","datavalue":{"value":{"amount":"+0.7339693903923035","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":"Q3612644$6BB52540-4674-4446-A604-916ED87202BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebed28782f7de1c5df341ee5cee3d512cd956178","datavalue":{"value":{"entity-type":"item","numeric-id":1351999,"id":"Q1351999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17b6412e5cf6bca9c1a12a71b59f793cbd5452e9","datavalue":{"value":{"amount":"+0.7037181258201599","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":"Q3612644$77E0CF81-7F80-4021-AF21-047B2322ACEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89fe6ec94be7682c249421935c8dcd7424ec27e3","datavalue":{"value":{"entity-type":"item","numeric-id":4221298,"id":"Q4221298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6f43f94562ac2d9812cb8c115d6ecc86bb97f15","datavalue":{"value":{"amount":"+0.6691784262657166","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":"Q3612644$A476B6C5-36BC-46AA-AF11-D993AED94B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed1c99b2cd719e61b6c54d274158f8b85f831b42","datavalue":{"value":{"entity-type":"item","numeric-id":1772778,"id":"Q1772778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"189947fd52f30da5191ae8dd3325ad800e6b6e65","datavalue":{"value":{"amount":"+0.6682327389717102","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":"Q3612644$7568B60B-A8CD-44B5-BAC5-81CEB3FBDD5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612644","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612644"}}}}}