{"entities":{"Q2870317":{"pageid":2881037,"ns":120,"title":"Item:Q2870317","lastrevid":79620140,"modified":"2026-05-06T14:20:25Z","type":"item","id":"Q2870317","labels":{"en":{"language":"en","value":"Deduction graphs with universal quantification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247700"}},"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":"Q2870317$24E391BC-1DAE-4973-9E1B-0E2BF4CCCF99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"890af5de0c41e489c7751e1ff77c34524eb87beb","datavalue":{"value":"1279.03080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870317$03008729-468B-415A-B271-17F6FF2E557F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870317$9877A9E5-4738-456C-9B7F-7CEA8AE52011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"454ec0749697ba77b021cb383676266239d5370a","datavalue":{"value":{"entity-type":"item","numeric-id":488355,"id":"Q488355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870317$95A0C833-2131-435C-B515-16C81304E048","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870317$2FBA742A-4EB7-406A-A91D-587366E5B05A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870317$23C31259-1CE5-4AD3-AE18-AF8E7EC09BE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870317$D6FE517B-8A6C-4E31-927C-2872ECC16D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870317$EB1A37F1-9370-4443-95A7-5941CBF34922","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b60e4fdafd511fe5a0bce72599611bb57845b2fa","datavalue":{"value":"6247700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870317$61EC81E8-AC6E-4398-9C97-A005D87550F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870317$4069DBB3-085F-43F8-8CF2-4543EE41172E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ccac7bfc846c296c5cc354a3a0433e354a87e54","datavalue":{"value":"universal quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870317$9BAE7EE0-468D-4CBF-9959-6B25BFD8C869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870317$BF2E39A0-A6D9-4B84-B2A5-F21A0D2DD485","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":"Q2870317$C19C7623-E2DA-4BEF-9335-0D826F46EACA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eaa60b0d20a32ede25186e6458f3ee20a96b59f3","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.03.036","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870317$97549ADD-158B-4FCD-B045-E5AE48D893DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9eab3e7fdf903f57d068b25ed373f5f9fe0127b8","datavalue":{"value":"W2129581061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870317$CD708853-FCAF-4F05-8EBC-58057BB24D11","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870317$3439F4BC-9E64-4FED-AF11-ACEA5B03D3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309ed04262579e8d4d8e1aa5f0270c96bdc31148","datavalue":{"value":{"entity-type":"item","numeric-id":5756722,"id":"Q5756722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870317$6CA8910B-F936-4B65-A43A-3F4F13D301A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23550e65b8b67ff206ede9a1290adbaf012b81d9","datavalue":{"value":{"entity-type":"item","numeric-id":5308097,"id":"Q5308097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870317$F3DF5AD0-9CEC-4060-8485-1662FD6E905D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870317$5C3EE806-3B5A-4169-B480-5A5D0505E4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870317$27B20FBD-859F-4D1E-8178-E98E03DDBBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d322c0810b1e6df167c3a55404deee204e1247c3","datavalue":{"value":{"entity-type":"item","numeric-id":5616117,"id":"Q5616117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870317$FDA17626-8460-42EC-9474-EFAF83A3C5B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d89dfc307839eed94460bf897a3d8ce2250c40ee","datavalue":{"value":"10.1016/J.ENTCS.2008.03.036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870317$2E636FE0-FCAE-41B2-B0A4-D4669D1F896F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78ddf0455598a99f8e42b8b7ce53ec0ae53dc86e","datavalue":{"value":{"text":"Deduction graphs with universal quantification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870317$7BE84731-13AD-415A-9EC5-75EC16E4D1AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d05a4501121dddb9c9da0e51dc951d70bb8957","datavalue":{"value":{"entity-type":"item","numeric-id":5308097,"id":"Q5308097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b9c4f9167d65a40b74599e74816d0f650d556b7","datavalue":{"value":{"amount":"+0.7963240742683411","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":"Q2870317$1C492148-A390-495C-8D81-29B7ADA69E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6117ce83ca7db8ab2011145e393dadffd8ac30e","datavalue":{"value":{"entity-type":"item","numeric-id":3656774,"id":"Q3656774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c1e3cfa7acbb013cba488b1eea3161a7ac0b3d1","datavalue":{"value":{"amount":"+0.7604215741157532","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":"Q2870317$7D36C250-462C-4F40-A799-AC40F88D2565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed72e897520893d9b7421050ea5c9cf94fb6374","datavalue":{"value":{"entity-type":"item","numeric-id":3757913,"id":"Q3757913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82489bf1a540d84d4f729a124bd50236219030ff","datavalue":{"value":{"amount":"+0.7502057552337646","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":"Q2870317$9C3BA389-0EA7-41DD-899B-F3DADE47C521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b23d0eb5683988a1d140dab0847b1efa27bc6bc","datavalue":{"value":{"entity-type":"item","numeric-id":5756722,"id":"Q5756722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"424510f2c1a38ba4fde0d3c7570e0c2b9b5b775f","datavalue":{"value":{"amount":"+0.7500797510147095","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":"Q2870317$CB98C4EA-F7C5-4BA7-8226-77B01DDE7540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d0dba45b0bcec05c36a4c872b86ac655c7e0d2","datavalue":{"value":{"entity-type":"item","numeric-id":2757965,"id":"Q2757965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09a74bb171faeecacf1e392b3ec9b11fa8980ef9","datavalue":{"value":{"amount":"+0.7323669195175171","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":"Q2870317$0902EDB6-A0BA-4498-BC29-1B94D6FF20C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deduction graphs with universal quantification","badges":[]}}}}}