{"entities":{"Q2850304":{"pageid":2861024,"ns":120,"title":"Item:Q2850304","lastrevid":79574123,"modified":"2026-05-06T14:14:17Z","type":"item","id":"Q2850304","labels":{"en":{"language":"en","value":"Special sequent calculi for logics of single-valued quasi-ary predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6212499"}},"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":"Q2850304$3408F81A-EF88-4E07-B5A5-71D05B716FB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3095864482eec3f8a3ea1c6c2195f1600b781bc","datavalue":{"value":"1289.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850304$25FD3BEA-6C2E-4356-83D1-011C5CF71558","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d4e935324ee0360f5ae781553624316d7b50233","datavalue":{"value":{"entity-type":"item","numeric-id":2247804,"id":"Q2247804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850304$AC14E43C-38FA-4691-9395-71ED600B8164","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-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":"Q2850304$BD328CCB-303C-41B4-9950-FDCA01D3EDE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850304$3F72524E-D8D9-4237-B067-37AEEA592100","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"503c001cb7d3abfe54651b0a3fe6ed4ad1d16a81","datavalue":{"value":"6212499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850304$2861A2A7-38D3-45E3-88A6-568FED8CBA29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c3827b532cf7fc2ec8163c8099967c479e766aa","datavalue":{"value":"logics of single-valued quasi-ary predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q2850304$D9F61DB4-9293-46C2-B3AE-37EAB09DDCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e22bb7984603b39d066247461741507e1db9830","datavalue":{"value":"logical consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2850304$174FAD15-2E25-444B-80AB-B44757BEA657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2850304$F511EC3C-8E6E-4AF7-BEF5-87600414881E","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":"Q2850304$8276BB01-F977-4497-A0C0-5402B3261C5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4de075e06860386273391c4ed3899e8a87b5de47","datavalue":{"value":{"text":"Special sequent calculi for logics of single-valued quasi-ary predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2850304$A3333FF5-FEC7-4504-9192-5B2CE11A7E9E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ad2dee7d47d7dcc1a11d7db2f11f00ec159c5374","datavalue":{"value":{"entity-type":"item","numeric-id":6648625,"id":"Q6648625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850304$68919D22-82C7-47AF-AD46-65C8A6145A9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9568c6f6606aad22cc62039024880dee53ca12d3","datavalue":{"value":{"entity-type":"item","numeric-id":2850367,"id":"Q2850367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"175160f321bf61bd17bb843da3e0f885ddea7e02","datavalue":{"value":{"amount":"+0.923803687095642","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":"Q2850304$25D0B961-B9FA-4561-A362-559CD6785F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9d4c00d166edf8dfba02ee35c290ac429f9313","datavalue":{"value":{"entity-type":"item","numeric-id":2850235,"id":"Q2850235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce55f9f764adf1ac6b45aef6934026c5fe9647dd","datavalue":{"value":{"amount":"+0.8674792647361755","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":"Q2850304$63C5F3EA-89CA-410F-A6C6-6179B51C3F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd04616c11db1fc6218d675165ae478d37a4e440","datavalue":{"value":{"entity-type":"item","numeric-id":2850352,"id":"Q2850352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7363b45051f7311aca2c5c4a5df2ec26c8a42c1a","datavalue":{"value":{"amount":"+0.8435052633285522","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":"Q2850304$C42FFF65-3B10-43BD-A3F9-7E788F340FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab278cd8c5010a4b649eac75e4f16e350bb3f06","datavalue":{"value":{"entity-type":"item","numeric-id":2247805,"id":"Q2247805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ca39e38cb9107af070134bcc83710c04496cd92","datavalue":{"value":{"amount":"+0.8344841599464417","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":"Q2850304$A8864BD2-9EAE-4FF2-8AB4-B223166E0079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"197094d8edc7f49288ae65542cebbc5ce63e5540","datavalue":{"value":{"entity-type":"item","numeric-id":4675319,"id":"Q4675319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e11c8383c83e04ac5779e0df83d74dbdaff2be","datavalue":{"value":{"amount":"+0.8280243277549744","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":"Q2850304$DF75D8A4-9866-46D8-8075-C8F46E75C4CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Special sequent calculi for logics of single-valued quasi-ary predicates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Special_sequent_calculi_for_logics_of_single-valued_quasi-ary_predicates"}}}}}