{"entities":{"Q4964689":{"pageid":6994268,"ns":120,"title":"Item:Q4964689","lastrevid":58379646,"modified":"2026-04-04T23:24:05Z","type":"item","id":"Q4964689","labels":{"en":{"language":"en","value":"Intersection logic in sequent calculus style"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317218"}},"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":"Q4964689$1D828D9A-B0A2-46C0-AE61-87FFEA7C0164","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f780f2a4798f0c20f15cf568bb089c05190d45a8","datavalue":{"value":"1469.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964689$14925DBB-637B-4CE2-A424-64879E8FCA20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41f2839c89d1345755f9d23745ecb4716429d131","datavalue":{"value":{"entity-type":"item","numeric-id":428893,"id":"Q428893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964689$7386F8FD-9DA8-4583-BE5D-E4C16B948BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1340890d3f31f541772b206d90f6a758d6fc352","datavalue":{"value":{"entity-type":"item","numeric-id":4903722,"id":"Q4903722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964689$3BD4CBFB-5E49-4982-9668-BDD3A80EC716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"470b44ffc2fe87cec27dfef1de4b82036b3c8e12","datavalue":{"value":{"entity-type":"item","numeric-id":4903723,"id":"Q4903723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964689$8193BD5E-A1FC-4B2A-A947-993108E14D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5548a7b3c7ed4d552de9e4afd56242ea9f22139","datavalue":{"value":{"entity-type":"item","numeric-id":1198660,"id":"Q1198660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964689$CDA9EABA-E475-4E50-8A4F-6A8B31433BA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e013eff0176c277e28c34bb2d5686f71705cd92d","datavalue":{"value":{"time":"+2021-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4964689$4226CC56-95D4-49ED-B0F7-AB171E709603","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"431a7b757042c34627944b9a8e21fbafc0a35f19","datavalue":{"value":"https://arxiv.org/abs/1101.4424","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964689$E4CBF324-E0BD-4FD3-B286-942D6F54993B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"04c82d18bf8cf5113dccd2cfb3fb4e65471f46ef","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?ITRS2010.2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964689$44EA832A-E905-4976-B1BF-6DEF0F91CA80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964689$0348AB24-940A-4C06-B75A-56A39FA43C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964689$99F6742A-C2D0-4015-B8B3-DF760E8552B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964689$E57072C4-6458-4E3E-97E8-52679027DEA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc5f1d85f80e8b0f720db62370decb3e7a0075b1","datavalue":{"value":"7317218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964689$76E2DFBD-6491-4C03-A34B-CE9FB6291EAC","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":"Q4964689$1BBA7336-912C-41FE-B1C3-0E71CF237746","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b30c4f93427b71219cc6573041f6bbd7265d3225","datavalue":{"value":{"entity-type":"item","numeric-id":4783322,"id":"Q4783322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f822900ef08fc0b6773a244d520fa3c7dc9f23a","datavalue":{"value":{"amount":"+0.8642174601554871","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":"Q4964689$6D8DC316-8E84-47B9-B68A-0E029A67D372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"837409f71ec4128b8b656ea5b8d0913f49cfd6c0","datavalue":{"value":{"entity-type":"item","numeric-id":4903721,"id":"Q4903721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4a68df293bee04cd4a7ca64098d0d7f7c51cc1a","datavalue":{"value":{"amount":"+0.8424409031867981","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":"Q4964689$64E7CAF9-C040-4E27-8183-B1D4453FF3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5f4e18249119867518c0c9c16b7ab557a8330e","datavalue":{"value":{"entity-type":"item","numeric-id":2842843,"id":"Q2842843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6af76f31da5454a4aa8baf513eb48fe2465ee9a6","datavalue":{"value":{"amount":"+0.8204440474510193","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":"Q4964689$B3739B07-7435-4925-A693-12F9C0C68E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47c40ebe9954b1b074b265bc98d08c5c1240089","datavalue":{"value":{"entity-type":"item","numeric-id":3510443,"id":"Q3510443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fbc6a8be714cff2c52ea4310c2289cc0c25c27d","datavalue":{"value":{"amount":"+0.8131920695304871","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":"Q4964689$1DD77EEA-C227-4470-85F1-8170EB251E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372bf5f7d2f966d1f0f5fb0ca388974f67e9c157","datavalue":{"value":{"entity-type":"item","numeric-id":4291035,"id":"Q4291035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"127b6ff5c10fc1408f34dd1552c6c73bf79730fc","datavalue":{"value":{"amount":"+0.8090107440948486","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":"Q4964689$1A8F6573-E245-4516-B8C7-39E2F5B0C33D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4964689","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4964689"}}}}}