{"entities":{"Q5285991":{"pageid":7315565,"ns":120,"title":"Item:Q5285991","lastrevid":46344204,"modified":"2025-12-24T14:53:17Z","type":"item","id":"Q5285991","labels":{"en":{"language":"en","value":"An Intuitionistic Predicate Logic Theorem Prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 223350"}},"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":"Q5285991$16D5DFF5-CABA-4DBC-AF6A-FD394DBE3C8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd3b4edab6bab7faf78e82b64956506369f6e263","datavalue":{"value":{"text":"An Intuitionistic Predicate Logic Theorem Prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5285991$A181C7B6-5CD8-4F40-989B-253C6431B722","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c695a0d036ad8776eacd0537418f9b3e89f2511","datavalue":{"value":"0786.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5285991$097C31B2-AA65-4305-B115-A62B3D6858A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0dd96e66cb2948531ebec672f3facfd737d8708","datavalue":{"value":{"entity-type":"item","numeric-id":1313368,"id":"Q1313368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5285991$72B14777-957A-4E80-A0A3-F49247BC81E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8c7941885c844a1656bd52d0b31896c753aca66","datavalue":{"value":{"entity-type":"item","numeric-id":3433652,"id":"Q3433652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5285991$90653BCA-C85A-48C8-B54B-F2598583F518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca39f69d2a2935739f85bbc4873f0cfd6b9d9070","datavalue":{"value":{"entity-type":"item","numeric-id":455927,"id":"Q455927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5285991$9DC93D63-169D-4F58-9CE3-8DF10CFC3B27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-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":"Q5285991$4A1B483D-9BAA-4DB3-8726-A2E5D19CF2B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a265c4d095601e3482b41bcd09124f4c46a57f2","datavalue":{"value":"http://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-21330","type":"string"},"datatype":"url"},"type":"statement","id":"Q5285991$AD346700-40C2-4E5D-933C-7B948B76C780","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5285991$4DE166A8-5186-4C2C-8A53-2AC8D6726C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5285991$AEC92393-2956-47E8-A0D8-C21D0598C5FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5696579ccb6aea90607955ea7520db1f77abcc80","datavalue":{"value":"223350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5285991$228EE9B5-045B-4939-8F20-7E0D49004B91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5285991$A9049B3D-1875-432C-94D0-2CD556701566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d459f89e7801c84aa1cc892eea0704122b1896e","datavalue":{"value":"intuitionistic theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q5285991$609F1789-49E1-4067-9E92-0ACD10381C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c8e2875f94b547e8e51d4354560d57f874f7e1c","datavalue":{"value":"cut-free sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5285991$61D029F2-78B1-4440-B5DB-D767D024160B","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":"Q5285991$93ECBE2C-AFC7-4949-A47F-063463D91C80","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d95b574976e5975111e1790f41f635c19b1f4f31","datavalue":{"value":"W1981368022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5285991$FF24C106-9E1F-45C3-86A2-7E21AAC65ED4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4cab271511e65be746e211c163ac9cb02a8e0dc","datavalue":{"value":"10.1093/LOGCOM/2.5.619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5285991$3872FE8D-1BA7-496C-9A99-E67837D47FCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5285991$9FB0C69A-19E8-4F90-8A26-2AA5D78D4132","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc88718a305d147397faaf7899d51ccdc2bb5ca","datavalue":{"value":{"entity-type":"item","numeric-id":4647496,"id":"Q4647496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a965859434941d24f8eb2594fe40b1c206b98c6","datavalue":{"value":{"amount":"+0.8259236812591553","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":"Q5285991$659C98EB-9564-474A-AAD3-BE0034FE238D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5fc5e20ca080feb7bd3755314bb2d0db94d1bc2","datavalue":{"value":{"entity-type":"item","numeric-id":4610335,"id":"Q4610335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d665678fed68e0499e23ccfb77045ba30fed745","datavalue":{"value":{"amount":"+0.8235984444618225","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":"Q5285991$24354157-C19F-4088-8A8F-9D97B4918D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e62faae414725696cb5c719e82e12f59950ef418","datavalue":{"value":{"entity-type":"item","numeric-id":2180511,"id":"Q2180511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e5d29ca79a78d310b9530859532d2fee95319ef","datavalue":{"value":{"amount":"+0.805428147315979","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":"Q5285991$5BCFDF9E-9416-47E4-98AF-E487F1E39976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c789904cc9aa28865270aa04e090151115095c9c","datavalue":{"value":{"entity-type":"item","numeric-id":4933312,"id":"Q4933312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"788d9bb217a30372787a413f77230a91bb2d1363","datavalue":{"value":{"amount":"+0.7922817468643188","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":"Q5285991$FC03339F-CA54-4282-BBD4-0EBE53D59FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fb0405a3492fe98e52c2328cf020bcb32911ac","datavalue":{"value":{"entity-type":"item","numeric-id":377482,"id":"Q377482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3dccd137fa0f68eea5ce93d29905135a9605d35","datavalue":{"value":{"amount":"+0.7906857132911682","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":"Q5285991$6DF9728A-02DF-43B2-804D-92291BC56F23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5285991","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5285991"}}}}}