{"entities":{"Q3192194":{"pageid":3202902,"ns":120,"title":"Item:Q3192194","lastrevid":58144320,"modified":"2026-04-03T23:57:51Z","type":"item","id":"Q3192194","labels":{"en":{"language":"en","value":"Introducing quantified cuts in logic with equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348239"}},"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":"Q3192194$18B860AD-4FB2-4D20-8E23-73148BEB3026","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db0ffafc213b53528739ba1e1f60227a085013b1","datavalue":{"value":{"text":"Introducing Quantified Cuts in Logic with Equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192194$4E4D8AD5-305F-47A7-9736-19CD178FA8BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81d8997accc1357067b02f06425858f9d542f9e2","datavalue":{"value":"1423.68418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192194$20A17829-B14F-4D0C-BD9F-3CE846D9FD31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"730fc2d906fefd12abf81640f34b0d1d05250ab2","datavalue":{"value":"10.1007/978-3-319-08587-6_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192194$5FA43FDF-C80E-4384-B9AA-88963F309FFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac16dcce5f3df8b1bf1087e5a90fdae80fa7a2e5","datavalue":{"value":{"entity-type":"item","numeric-id":402112,"id":"Q402112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192194$BDED3C8F-FCC3-4B3C-9AE8-E958CD18BF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192194$32094C0E-6B3A-4E41-BBDA-AFB16A287322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17cdb0f2ca16c9cd1883b12b5d361fd27847e033","datavalue":{"value":{"entity-type":"item","numeric-id":402113,"id":"Q402113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192194$0DF2FA73-F279-4D6B-A6F6-9D81300FA413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59a7faa7f77547888a73d5e43e9c9c76af0af600","datavalue":{"value":{"entity-type":"item","numeric-id":3192193,"id":"Q3192193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192194$9AC96B83-E405-4313-91AF-F5135A0C8A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcfb9bbb17b1f1dc2e6c305c640f7c0f522c3f5e","datavalue":{"value":{"entity-type":"item","numeric-id":402114,"id":"Q402114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192194$F06C0E1F-EB74-4B5B-AB7D-D996CBF5F143","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192194$27C31DC9-3465-4D1C-86B4-BD916172E4C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3192194$63F060A1-0AB5-4935-A8A7-9219C5698456","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5c50db6fa2fe41326ad072da51341ed0ad9d35c","datavalue":{"value":"https://arxiv.org/abs/1402.2474","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192194$2C50133A-6AE8-4032-8489-CE12B2907188","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192194$4484CB88-5DE8-43DC-A353-3D1783251C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192194$7B531BED-9CE0-4980-8640-9AB01B8BBF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192194$0DE5FA94-54FB-42E4-921F-A78C4DC5975F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c78e75eb9a8aa9f28ff4d3796763d4350f3d650","datavalue":{"value":"6348239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192194$2F91E4F2-32CD-4BAA-A19C-D9784B7BA13E","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":"Q3192194$32325167-4364-456B-A240-4E0839C57540","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e9d861293d7d180cdaeca0c6670d887627de893","datavalue":{"value":"W1659517711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192194$50806A54-D963-451B-83AC-29DB09D69C2E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e7b855e3255ed7374e30f72b41f621223fc94e","datavalue":{"value":{"entity-type":"item","numeric-id":2417949,"id":"Q2417949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da59dbc1dd9553939a52d8074654edc1869605d3","datavalue":{"value":{"amount":"+0.8246263265609741","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":"Q3192194$DC714AF7-FB65-4A06-A436-752808A8A1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae76515d6348a1777aba34e5d6a5bf8225d7ec00","datavalue":{"value":{"entity-type":"item","numeric-id":402115,"id":"Q402115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0ccfdb8dd087d2bb6c5856cc3e8b8bd6571358f","datavalue":{"value":{"amount":"+0.8112305998802185","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":"Q3192194$EAF8477B-3598-4A82-8107-83BD67FC251C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aebe84108e58dd4dca315a131391928599d9e79c","datavalue":{"value":{"entity-type":"item","numeric-id":2891453,"id":"Q2891453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a20736736b65fea3d24a0753ea2aefb75b6eecf6","datavalue":{"value":{"amount":"+0.7954131960868835","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":"Q3192194$F6943D74-B351-4E52-9159-06432AC32963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eff3dd9b05835796a1c0aadcfa0552a9eab1a79","datavalue":{"value":{"entity-type":"item","numeric-id":3066113,"id":"Q3066113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b7720e6d4ba8ab7bd58a28071e88812b98f45e","datavalue":{"value":{"amount":"+0.7507277131080627","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":"Q3192194$5A2C086E-AB82-4939-A677-B28F485B55A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc05adc331cde80814ea964cafa7ea00f9096f6e","datavalue":{"value":{"entity-type":"item","numeric-id":4364511,"id":"Q4364511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d522a2d35fe056b5959e86a9275a8ee9f900cc19","datavalue":{"value":{"amount":"+0.7366605997085571","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":"Q3192194$1233B576-CA3D-4E8A-B024-80816D569AEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192194","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192194"}}}}}