{"entities":{"Q302242":{"pageid":304009,"ns":120,"title":"Item:Q302242","lastrevid":60884448,"modified":"2026-04-10T19:45:14Z","type":"item","id":"Q302242","labels":{"en":{"language":"en","value":"A sequent calculus for urn logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6600749"}},"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":"Q302242$F309EDF0-C63B-4A23-B3F3-2F5CC4151EAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65f8bfd7aff2a39584449e94153b4df6bb8b7694","datavalue":{"value":{"text":"A sequent calculus for urn logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q302242$4FB5B691-AFB4-41ED-9397-760380C4A368","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b5b6b01c3c6c1ad8e621f623775c208da1d71f7","datavalue":{"value":"1350.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302242$E51314CC-E1F8-4663-8366-7824F2F9E1DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"719079c623455cd940169de10b8d7a74a4ee48ce","datavalue":{"value":{"entity-type":"item","numeric-id":302241,"id":"Q302241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302242$E1FCD6DD-DE29-4E94-B6EC-06ADC77CCB12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302242$5CA91A02-8958-45C6-BFAF-6070F5B2BFDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96ffc2d0a9b6e5a88899520001cb0fe4528f891f","datavalue":{"value":{"time":"+2016-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q302242$72354DD8-C16F-4016-BB7D-025DE064EC49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302242$BEACAE9E-5A8F-4EE4-AD7A-589206276FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302242$B22E161A-7703-455D-8374-A9A3334D78FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302242$1C2301BE-467D-4F27-BF8E-D284C03D790A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302242$B0A4EA17-622A-4E2B-A669-BAB7E6152D04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"750fb8c132b004a4090d8e09abdc1323e3a30d6a","datavalue":{"value":"6600749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302242$9AD4C068-1380-48AA-97CF-788C6E4767EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2282c89163c62572001ebf0b84b6727b30a8e9ea","datavalue":{"value":"urn logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q302242$167C5EAF-09DD-41F1-863B-82D91A035A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q302242$3608D120-5671-4EA9-931C-5CC028B8489B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f887e61b668fc3f32df856a6e63032412c8bbc5f","datavalue":{"value":"non-standard quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q302242$B63E529F-D3E3-4852-8594-642C3667CFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q302242$A6E383A7-30FD-4327-891C-2D11573DA266","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":"Q302242$D16FF61B-0122-4D6B-BDFA-6CB01F57F8C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0c43e0b3072caebaff0ea98da562b922d20cc34","datavalue":{"value":"https://doi.org/10.1007/s10849-015-9216-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q302242$ECFC8A5E-45BA-4CDE-A60F-8B346E9D393B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71441b989a374b2026462ae7784232c610c7534e","datavalue":{"value":"W2008661283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302242$AEAD052F-50C6-47ED-B609-77FB791930C1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9bcb319a4a6eab1f77cce24cce034d3832f30a08","datavalue":{"value":"Q59431556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302242$19733E9A-B574-444E-8361-058EEEEC3F52","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3abb95f35e111ee91006ee0f01816929402d4b36","datavalue":{"value":{"entity-type":"item","numeric-id":791516,"id":"Q791516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302242$6BE141B6-043F-4821-9334-BE88196CE09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9326faf3b80417a57d11f2f5e0c4629a6dc48d01","datavalue":{"value":{"entity-type":"item","numeric-id":3233205,"id":"Q3233205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302242$BAB24182-9FA0-4A36-B764-672853E8DE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c22873c5fa1d0425919b1a3196c15c1d8b2833","datavalue":{"value":{"entity-type":"item","numeric-id":1228476,"id":"Q1228476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302242$47D930A1-E34C-4695-856F-0064FD2EAF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a490102c9628d4ef6982d9eedc11937137a72f2","datavalue":{"value":{"entity-type":"item","numeric-id":3112314,"id":"Q3112314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302242$962B2E57-F74C-45C2-9F4C-C6AF9D57BA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b0d66e772d8c89c7e1d0b8165f9ff6b565e8a00","datavalue":{"value":{"entity-type":"item","numeric-id":1248612,"id":"Q1248612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302242$D22F71FF-C131-4D81-B5A8-998E40388E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c94a95baae397f1ff7c0a32e44fcdcce5cc2eff","datavalue":{"value":{"entity-type":"item","numeric-id":1224581,"id":"Q1224581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302242$A1408177-4940-410D-951F-8BA6ABAD6C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302242$EEB49FFA-FA63-4305-BE1F-4A8F567F5048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2583a950d4c6874a0e4ed2ba33772fe013b28d","datavalue":{"value":{"entity-type":"item","numeric-id":558413,"id":"Q558413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302242$7B5B2EC7-812F-4292-974A-E58B264371B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ed5e7698dd42005955b5465c9652c22112013fc","datavalue":{"value":{"entity-type":"item","numeric-id":3101113,"id":"Q3101113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302242$E120C2E7-FEFC-4982-B9F4-9D296AFCCBE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"898a28e3c10bd5d254abb05ed919dfa4652643b5","datavalue":{"value":"10.1007/S10849-015-9216-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302242$5D09F957-CB48-451F-877D-EA28E2A21907","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"257f2a8c8af6aeec9baa8a3c560a93b5c98af975","datavalue":{"value":{"entity-type":"item","numeric-id":791516,"id":"Q791516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ee25cbdc721dc53a764e028c2b1238ce9bdac9f","datavalue":{"value":{"amount":"+0.8233118057250977","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":"Q302242$A5F8E6AA-22BB-42F7-8D87-432383546A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f2ece665f09198b695268b8b8e2fb935be4d76","datavalue":{"value":{"entity-type":"item","numeric-id":5061412,"id":"Q5061412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faa6aa33ad6ee30b3e36d1256cbdb0ca75b91f6c","datavalue":{"value":{"amount":"+0.6881072521209717","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":"Q302242$6E3F81DA-E09C-48A6-8202-5A2839FA1437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e687236e936f2938aff7f0f186602e83686164c0","datavalue":{"value":{"entity-type":"item","numeric-id":757340,"id":"Q757340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"429db2939800cd8edf18ccf46ad3e1b80facba2c","datavalue":{"value":{"amount":"+0.6754153966903687","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":"Q302242$DDEA871B-428C-4CB0-A978-2636F601B4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ddd2fac0b795e1c130ab181b5eb360b70e2190","datavalue":{"value":{"entity-type":"item","numeric-id":4353164,"id":"Q4353164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb15e316a56d0a4814fe14070e7b07f0ab7794ae","datavalue":{"value":{"amount":"+0.6662073135375977","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":"Q302242$6A69BD5D-C7CD-4A3C-9B50-E77CECE234F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217c2f7554c6d2acaa62ce71be50282bfbf0a6bb","datavalue":{"value":{"entity-type":"item","numeric-id":4358909,"id":"Q4358909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"310e502c0ae903a3bcef1e4d0250f8f06bdb39ef","datavalue":{"value":{"amount":"+0.6634165048599243","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":"Q302242$C1E79A27-4139-4CEC-BA9F-A5ECB9B1B43C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302242$02876687-DD19-43BB-BB6F-00769630FCDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A sequent calculus for urn logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_sequent_calculus_for_urn_logic"}}}}}