{"entities":{"Q4366767":{"pageid":6396366,"ns":120,"title":"Item:Q4366767","lastrevid":46516182,"modified":"2025-12-24T23:02:48Z","type":"item","id":"Q4366767","labels":{"en":{"language":"en","value":"A semantic characterisation of the correctness of a proof net"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1090490"}},"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":"Q4366767$25FAD9FD-AD1B-46F5-AC07-B717B07D8024","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8c82e02d4c9a45b585e27b9b0073e7557fdef10","datavalue":{"value":{"text":"A semantic characterisation of the correctness of a proof net","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4366767$9D098FE6-1509-423E-9470-CFEA11882239","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b244d141dcb6161f24b8b7854013efa9e5ec3e4","datavalue":{"value":"0883.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366767$A203608A-E0C3-4BAB-9FE3-7E559FEF57EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09d62c2a01746c9714a4fe9f51f0c45a6a4c8e64","datavalue":{"value":"10.1017/S096012959700234X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366767$9739524C-3FBE-42D2-BCA8-9C06803664D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28fea7325ea383c02619644615c25cff14d0e558","datavalue":{"value":{"entity-type":"item","numeric-id":433865,"id":"Q433865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4366767$804D14ED-14FD-4E8A-B421-11268DED7CD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4366767$E1271711-6442-4FA4-B0C0-8A1405752929","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20d9699532b3f4e30cf94a2814dc68ff83c6f6ad","datavalue":{"value":{"time":"+1998-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4366767$75B86A9C-C77E-48F1-A0AB-C9CC30432330","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366767$64077109-2678-4005-AF20-200FE14BC708","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ec9060f15d4baf2e0b680e9c1205adb54d3e7cc","datavalue":{"value":"1090490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366767$27452E9B-69B4-4F97-84CC-2B7E13F08E78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366767$59B991D8-2248-4510-BFE4-4E211CC5F75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02338347e83f6cb432d3d7a42af56b150771ad31","datavalue":{"value":"correctness of a multiplicative proof net","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366767$3A75CE81-EF12-4F01-99CC-DB155B1F8D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16f3edb58bf862c813e6bb5745b61870645149fd","datavalue":{"value":"mix","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366767$FC4D6C11-7FF7-409B-BF9A-DB6AFC7C9A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98a9238c1c7a65015ceae5b6b86f2cc2d04988db","datavalue":{"value":"semantic correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366767$C9EF7065-35D7-4DF5-BEDC-6BBD85A3C70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546a8e104de11b1e2226cd1170fe0fb11371591b","datavalue":{"value":"coherence space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366767$34216908-40BE-4B7B-8912-665E807EBF2E","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":"Q4366767$C9F9E478-12F9-4F49-9E63-E9B7136E6D4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f052b557abd8c7a7e492cbb36f70bfb4d1bd22aa","datavalue":{"value":"https://doi.org/10.1017/s096012959700234x","type":"string"},"datatype":"url"},"type":"statement","id":"Q4366767$F166599F-1FB7-41F7-BD62-5A595D8B3B8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9398bd0ba61fce310894d43934d97bd2ed16ec59","datavalue":{"value":"W2051314992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366767$94CDC200-1D31-41F1-ADE4-8B251E1416C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60bf751e395d926d74ffc045606458c25142d1fe","datavalue":{"value":{"entity-type":"item","numeric-id":3540183,"id":"Q3540183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"124668ada9c8a76db406d31f7f2407d6ef36b2e4","datavalue":{"value":{"amount":"+0.7933068871498108","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":"Q4366767$6128B7E0-7FC5-42EC-8E0B-E6167DA84B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9adaf9e5c4cf3fabf8f4ff510bb69d809d2787c6","datavalue":{"value":{"entity-type":"item","numeric-id":4501135,"id":"Q4501135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f504b70a470718168ad3bfd15643bc4ddfb4388d","datavalue":{"value":{"amount":"+0.7832888960838318","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":"Q4366767$859FD3E5-4245-4DE0-A747-C6203B2D213F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8769e261c5825650fbe726c0626f3ef75cb68a1","datavalue":{"value":{"entity-type":"item","numeric-id":4236199,"id":"Q4236199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1737a5de652c030a7549ce42fd96e5dc0b0aa432","datavalue":{"value":{"amount":"+0.776145875453949","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":"Q4366767$4F8FAABE-995C-4F8D-9A9B-9E50E25C62BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e3cd3a000eaa483aa700716ea0cbc70a5143ae8","datavalue":{"value":{"entity-type":"item","numeric-id":1267841,"id":"Q1267841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"743096a739a85d74bf1d4c9cb09687d32036ee2b","datavalue":{"value":{"amount":"+0.7700023055076599","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":"Q4366767$AB7BC581-ED24-4542-83E2-D93BEE44E604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7254c70d5edb0c87e8a56c929375f69578ccbd95","datavalue":{"value":{"entity-type":"item","numeric-id":1325054,"id":"Q1325054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9f7708a2cdbc003b9ce661d9be41236e5e39bce","datavalue":{"value":{"amount":"+0.7691094875335693","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":"Q4366767$C6A6A2B5-9D91-4E23-B177-F2B76C322589","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4366767","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4366767"}}}}}