{"entities":{"Q3503624":{"pageid":5533528,"ns":120,"title":"Item:Q3503624","lastrevid":88299365,"modified":"2026-06-04T14:09:56Z","type":"item","id":"Q3503624","labels":{"en":{"language":"en","value":"A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5285293"}},"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":"Q3503624$7ADC0C93-6C12-466C-A74E-AA39527C3E19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b234e56c98034f1564b9d924369bad41d9a6f81c","datavalue":{"value":{"text":"A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3503624$A61D696E-D3A4-442C-A2E0-620D0602DFBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19e2098b3b1ba4feecf5c0a82208dcf653fcfc88","datavalue":{"value":"1143.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503624$A1486D5D-7DCB-42AE-9E2F-C22F633B0E23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01150403dc97a54cd72046fe2e66e4dae70115d4","datavalue":{"value":"10.1007/978-3-540-79709-8_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503624$09E4A126-1925-4250-BBB0-1521273598A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503624$A0372631-B986-4CC9-BEA0-90E2EC8DAC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92250fc2468a927e3b41d7dfe7ef750fde052bc8","datavalue":{"value":{"entity-type":"item","numeric-id":408549,"id":"Q408549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503624$FFA69EBB-FC8E-43CB-9066-3EDEA58F99F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"41df48044034ceb6ef08b66017467a62c3d265aa","datavalue":{"value":{"entity-type":"item","numeric-id":2907481,"id":"Q2907481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503624$E2D6035A-3710-4B2F-9336-5A4BB0160C50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf52a5dab4cce181d346855b7e145b14f7affd55","datavalue":{"value":{"time":"+2008-06-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":"Q3503624$83C1F4B0-0B7E-4D27-B827-2F2847DE227B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503624$AB8857EA-C53A-4947-9723-0905ACB508D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503624$64D8CFAB-27F4-4499-8B73-B78040050EF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfc6a15d5f4214eb7677b82d8ab5a4775ef6f788","datavalue":{"value":"5285293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503624$550B7246-9A19-42D3-A7D5-AFF68B16AD64","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":"Q3503624$3F682B0B-208D-4E9F-92C7-0F811B5C1262","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbb8fc5b967af026b142a4c959d4bfdd48bdd259","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79709-8_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3503624$BFB85F4A-781A-49AA-B5E1-804704D7E86A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eeac00df9f3f09baa8355a0fa2dbfc79a75934b3","datavalue":{"value":"W1525794006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503624$0C57D0AE-D605-4220-BF9F-62EEDF2D9F8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c90a5b6c55845718992d9324b62a09535b5547","datavalue":{"value":{"entity-type":"item","numeric-id":3535607,"id":"Q3535607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23288e9d5680ee65fad4d4461fdbda3a1c611b6d","datavalue":{"value":{"amount":"+0.9035370349884032","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":"Q3503624$A3A372A0-9560-4744-8029-7BC0AE80F2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd455376ddf7aa13b36810a6853f59175cfbd42","datavalue":{"value":{"entity-type":"item","numeric-id":3613413,"id":"Q3613413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d053633a3d9c2000cebfcb19a9b7a64e23d86541","datavalue":{"value":{"amount":"+0.8968245983123779","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":"Q3503624$5A3408B5-629E-45E2-9E9C-D6B0B99116D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69be205fd64dfd400864056623bad1cee33d3f12","datavalue":{"value":{"entity-type":"item","numeric-id":5434496,"id":"Q5434496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c9e5a4f615f5521bbbdd23d6b8d730a8c9112b0","datavalue":{"value":{"amount":"+0.883163571357727","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":"Q3503624$53C95F89-594F-4CE1-9107-C1CCEFFFDA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4874711864e7ac0ebbdeb0eb689ea26a8804e77","datavalue":{"value":{"entity-type":"item","numeric-id":817707,"id":"Q817707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cbfa804894385f5f7d21613a453afe29618087d","datavalue":{"value":{"amount":"+0.8819401860237122","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":"Q3503624$4B73C380-B2D6-43BC-B6C0-6831C0D83FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b609b8df5be996b155b2abbaed77cdb881600be8","datavalue":{"value":{"entity-type":"item","numeric-id":408550,"id":"Q408550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"615473b8c3d4470712ada62a549b9441d4f5d9ab","datavalue":{"value":{"amount":"+0.8700175881385803","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":"Q3503624$8B24F5B6-9FFC-42CB-86B2-6DF595A4476D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Triple_Correspondence_in_Canonical_Calculi:_Strong_Cut-Elimination,_Coherence,_and_Non-deterministic_Semantics"}}}}}