{"entities":{"Q1694449":{"pageid":1705190,"ns":120,"title":"Item:Q1694449","lastrevid":68151348,"modified":"2026-04-12T21:46:44Z","type":"item","id":"Q1694449","labels":{"en":{"language":"en","value":"Cut-admissibility as a corollary of the subformula property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6833549"}},"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":"Q1694449$9C52E522-D462-464B-B2E7-EDD7D8928E7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"503cb02aa1961c60c3bad53ce5014107b7c0474a","datavalue":{"value":{"text":"Cut-admissibility as a corollary of the subformula property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1694449$BC8E2CE9-E439-4624-992E-94192DE4182C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"938f90df73490fbfc2969a3a3ec35f2bff6cbf68","datavalue":{"value":"1496.03230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694449$A6748FD4-2631-41A0-A313-E1A9354DF35D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76349d62f406c90d3ae846583197bf05427b81cd","datavalue":{"value":"10.1007/978-3-319-66902-1_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694449$1606239C-AC50-44A9-A175-02DB69DE5262","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23fee96c298cf311331c13562efa1577022e6237","datavalue":{"value":{"entity-type":"item","numeric-id":1677039,"id":"Q1677039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694449$1CB4DF1E-FD3A-4ECE-820E-92378A731AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15c3e77937a4117931d77ceeaa33fe1a7a5d9cf0","datavalue":{"value":{"entity-type":"item","numeric-id":1682295,"id":"Q1682295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694449$839C021A-74D4-40F0-B92A-8028D4E9C282","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3340cc79e75714646430612898cfc312969e0dd0","datavalue":{"value":{"time":"+2018-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1694449$D4B8D440-D758-40DD-B43A-7DB0623E4295","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694449$12D6A7D0-AFF9-41C2-8CEE-AD50686F2614","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b895bd3afcc3374d89ebac2a2470c6416e7f5420","datavalue":{"value":"6833549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694449$4E91A806-E230-4B6A-BD5D-D5FF4856A8CB","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":"Q1694449$88BB18A0-F8B2-4555-AB01-4BFAA161C5E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8bf38ce51d7b85ec2677162decc9708056a9f7b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66902-1_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1694449$076EAB56-ECC1-44E2-AE93-D2EDD729048C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"384821cda3fbc874b9969026fc024153ada68225","datavalue":{"value":"W2751613535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694449$E3104310-A289-427A-8D61-A9748C7E56BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d159f016b21112a780691dee60423170c5dfcff5","datavalue":{"value":{"entity-type":"item","numeric-id":4612444,"id":"Q4612444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f5a3c938fff4fb8a3809db0be207c1ef90ad07c","datavalue":{"value":{"amount":"+0.9315068125724792","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":"Q1694449$76ADF0DF-6D46-489F-AC3D-553DA0647BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc3d685a0a4b1b6f5ce9910f977c7ec16272b872","datavalue":{"value":{"entity-type":"item","numeric-id":4032549,"id":"Q4032549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"268ab615413568b6f2a998bc7f8971ce6be9deef","datavalue":{"value":{"amount":"+0.8194502592086792","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":"Q1694449$E5240F88-995D-424F-BBEE-CC80062BA144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bea16cd865d4882ee157d0dce3c18d98abc3ab7","datavalue":{"value":{"entity-type":"item","numeric-id":5458060,"id":"Q5458060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82790eacd88f4491876dce589b4b6cf66b2f378f","datavalue":{"value":{"amount":"+0.7579237818717957","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":"Q1694449$AAD2B01B-1C06-456B-AA78-964CDEB78840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e03bfd53fad234531b01b064e3844de080abfa","datavalue":{"value":{"entity-type":"item","numeric-id":3105688,"id":"Q3105688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b229f17bac60abbcce07391697d98f95793e5be2","datavalue":{"value":{"amount":"+0.7455999851226807","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":"Q1694449$4FB3CCCA-29B0-42AC-9A16-FB3583D8302C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd2a6bd17653d3bff54e3c72ab814a85398529c7","datavalue":{"value":{"entity-type":"item","numeric-id":5014060,"id":"Q5014060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfaf56e08a37ca087ab6f5c70211c4017aeb9a2f","datavalue":{"value":{"amount":"+0.7403548955917358","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":"Q1694449$EB74B889-EDF8-4875-8421-91A7F4B277FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut-admissibility as a corollary of the subformula property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cut-admissibility_as_a_corollary_of_the_subformula_property"}}}}}