{"entities":{"Q3612434":{"pageid":5642340,"ns":120,"title":"Item:Q3612434","lastrevid":49686232,"modified":"2026-01-09T01:43:48Z","type":"item","id":"Q3612434","labels":{"en":{"language":"en","value":"On Constructive Cut Admissibility in Deduction Modulo"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527173"}},"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":"Q3612434$D64C0FB4-1395-480B-8B40-D666EB3E17D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72ccf901644b72d20acdc9cd0db41d9fb36ce199","datavalue":{"value":{"text":"On Constructive Cut Admissibility in Deduction Modulo","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612434$3A71C9F0-821C-43C1-9727-E0A9C3222E2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"786bf66df3ccdabec36b9f339bd3182be280a0a9","datavalue":{"value":"1178.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612434$ECA8D174-C0A8-43BF-91E2-27BF3EE9BB2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0aab6e8c11c49f8031db090b21b5d3b3aefeded4","datavalue":{"value":"10.1007/978-3-540-74464-1_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612434$109837C2-D05C-4924-9D0E-E7F728A7501B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2e7af4d459380c97226dc66c1f2fa5970ae54d3","datavalue":{"value":{"entity-type":"item","numeric-id":3498462,"id":"Q3498462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612434$E591FFC3-61B3-40E5-BCF7-D79421E970FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8810b28319eddf2176b081cd070119a2cf8c13","datavalue":{"value":{"entity-type":"item","numeric-id":281285,"id":"Q281285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612434$F45B2777-59F2-4191-B20A-7D70FF673608","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":"Q3612434$20120AFD-0BFF-4279-A675-F03626CEA793","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":"Q3612434$12DC76A8-9B15-4E2C-AB52-FE2FFEF5568C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612434$12A16799-7BC3-4E6D-B139-7827C1EAB89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612434$A7293FA7-9714-4B38-A51F-02178329804A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612434$41711257-81EC-4C28-B2BB-4C6593B8213E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612434$DB42E7C2-5658-4813-A5FF-B6FA2B11BDE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f6f185865f10788a908b634f246ee3feda941ca","datavalue":{"value":"5527173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612434$77C40602-BF54-4A8B-9275-48781518CEA4","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":"Q3612434$BD04F42A-145D-4B71-A0DD-2684DC48150F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d890e19cec2720510b751e17e00488c8419a252","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74464-1_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612434$FFA1BA48-43F2-4E95-A088-3CAE3FF535C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d03a0a3b1adc4d591347c5957edd4ad96ab350e","datavalue":{"value":"W1607964314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612434$392BD978-FDFC-49E5-957E-4B0E9B63ECA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eed9f01c05df0977cc4b7cb2af87ba290c6703c","datavalue":{"value":{"entity-type":"item","numeric-id":2266989,"id":"Q2266989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b5f910763d3c4520c86daeaea2716aca7244ff","datavalue":{"value":{"amount":"+0.9012348","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612434$E8D94004-2B17-4EBF-9A61-89F656717943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71ca065c6adf010f13d3d0d32c23467e50569139","datavalue":{"value":{"entity-type":"item","numeric-id":2565309,"id":"Q2565309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0def44a13392640a96e8f4e575fd646ce7c7fed7","datavalue":{"value":{"amount":"+0.8843113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612434$5269DFCD-27A9-4237-A88D-8051ABDAC18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2feb62bb3a69859753f55154a03f7ec76704cd3d","datavalue":{"value":{"entity-type":"item","numeric-id":5434502,"id":"Q5434502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbeb77314ea2229ea92e10534ddf4b52979901d6","datavalue":{"value":{"amount":"+0.8791135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612434$D09AAF01-7D81-4D69-8514-190923308BBF","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":"248acb548bca1cdd3fd1d9f858899b76161c1075","datavalue":{"value":{"amount":"+0.8742915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612434$70057609-3DCA-418B-9DBF-A79AD5B0B792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af80fa7cc9c34af0874ea12b6d37b1a8c62ce0b5","datavalue":{"value":{"entity-type":"item","numeric-id":5387889,"id":"Q5387889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fa4072aaf025b5543ebb364eb85e06bc2207bbc","datavalue":{"value":{"amount":"+0.84957266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612434$ADAEEF0A-40F6-4BF7-9AB3-8D65B768CD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20632995ab65f3b907e5567aeb0b710e9bac8fda","datavalue":{"value":{"entity-type":"item","numeric-id":2873670,"id":"Q2873670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31e81d0dad7da89a551cf0d9c06c179461dc1232","datavalue":{"value":{"amount":"+0.83580554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612434$1D8DCB1F-0533-437B-B304-71733A6EBAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"943d690423531fcfbd8c012633f5807f0fa1f9a8","datavalue":{"value":{"entity-type":"item","numeric-id":5040173,"id":"Q5040173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1622b7a579a753e83de2941573a803472fb17c6d","datavalue":{"value":{"amount":"+0.8353492","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612434$678C45A6-5164-42F7-BD6F-541575B9FA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f90771fc5a0883d6a2d2113ae0719707dc21af7","datavalue":{"value":{"entity-type":"item","numeric-id":2856636,"id":"Q2856636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b7b30b29574ccf184bf1d9b25cce47f55a0b1d","datavalue":{"value":{"amount":"+0.83513075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612434$3D635A8B-265D-48EB-986D-8B45FEA224D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51656c76c992c1a0edd06e476466ecbe6b5ae5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7cc4aa12d22438c464551640abb7112fc7096d9","datavalue":{"value":{"amount":"+0.8298987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612434$5D2902E7-8A36-4EF7-BF57-23CA2FA2EDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d22b9f82cd9bd048e12fef8e502f52d443ca7e3","datavalue":{"value":{"entity-type":"item","numeric-id":3586040,"id":"Q3586040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe2f21bb5bb762ec9f348a55f6d2afda2c1d069e","datavalue":{"value":{"amount":"+0.82944244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612434$B21B2117-20CE-4CC4-A08C-E04DF0101184","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612434","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612434"}}}}}