{"entities":{"Q4017459":{"pageid":6047241,"ns":120,"title":"Item:Q4017459","lastrevid":55184386,"modified":"2026-02-04T13:26:24Z","type":"item","id":"Q4017459","labels":{"en":{"language":"en","value":"Sheaf semantics for concurrent interacting objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 91490"}},"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":"Q4017459$E4117F0B-28E8-42E2-808A-923FE26CAA5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab51300640cf3b5049f9177fa7cfc7013f3ce828","datavalue":{"value":{"text":"Sheaf semantics for concurrent interacting objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4017459$8E4C03B6-2F59-4842-A93C-9C7260DE5B53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"342ae9639b5be924d050a2b983ea2fc1d285ecb0","datavalue":{"value":"0763.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017459$0DAE6ECF-807E-49EE-8142-897DBD4CFB80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06d6d3fd5bf6604eb8bc22b3209cae2e70ba5ca9","datavalue":{"value":"10.1017/S0960129500001420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017459$805EA44C-5352-4029-BD82-77D245DB011C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d158e95d9652c2d0191af4ccea1d07838d2e8021","datavalue":{"value":{"entity-type":"item","numeric-id":241052,"id":"Q241052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017459$2A277D62-97CC-40D9-A8FF-A9709AB4268C","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":"Q4017459$2B0AF33E-D1BD-4C34-BD27-FE3C7EDE7B67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4017459$8C4C0F58-C94C-4AC9-9941-E38AD8609406","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017459$D10C9A99-3780-4278-AEE8-BBAABD567DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017459$097064A9-8394-40A3-8BB4-8D8EAE9E3706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017459$D8C1B88A-91D0-4214-B780-FB0BD805C073","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"959bb028ae8bce4121aa1cb55bf45d2041692370","datavalue":{"value":"91490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017459$D7E4C23A-6CCC-4148-9C5B-79137D88CF56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c72ca9bcd8a9031817b613884dc17cca7a74f88","datavalue":{"value":"semantics of concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4017459$2B62D477-2DAA-48D4-BABB-D8DF65642491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d7d23d1c6e8345f6d1c5bbe5665b31c74b03f8d","datavalue":{"value":"observable attributes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4017459$0122D5FB-BF1C-4F28-912E-05A2B3C06ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9ea74fb83435ce3db5aaa6f104db2bfaa8b38d","datavalue":{"value":"interacting concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4017459$CFE4A8BF-22FD-4A92-8E07-9B0112EB2969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c29ffc52182383e6476edc19c36fe53a5a7e5f0","datavalue":{"value":"diagrams of sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q4017459$8FDD0FF3-1282-4E40-A7EA-C98747D7A859","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":"Q4017459$690371F6-C22E-486D-A99E-6D32069A965E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017459$8C78F75D-5973-4962-A66C-65F5F8981171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017459$D71E6F46-FCD0-48E1-ABD4-1A9A91C2F338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b39b390c98d3ce8b65559011f5390d4caee5293","datavalue":{"value":{"entity-type":"item","numeric-id":2395431,"id":"Q2395431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017459$2A62752F-C175-4542-9A4A-329D352EC63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6622a4af364ec80f46ab0b95965e94a6b14bf1cf","datavalue":{"value":{"entity-type":"item","numeric-id":4104114,"id":"Q4104114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017459$6BF9207D-8EE6-4E53-BDEC-3608FEC2314D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c3cb8444a1d29e977028b86d5070fb2c28d7bb9","datavalue":{"value":{"entity-type":"item","numeric-id":2640340,"id":"Q2640340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017459$9935C1D9-F164-443C-A9DD-E0D9CF501764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6c9a82d6ae3783a32b659602644629472d66728","datavalue":{"value":{"entity-type":"item","numeric-id":1822506,"id":"Q1822506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017459$D5568AEE-AD71-4F5F-A912-3A53C8C86A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96cf07425a02d0366509e391f0152f7f82511a7e","datavalue":{"value":{"entity-type":"item","numeric-id":1189371,"id":"Q1189371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017459$3DECC818-ED65-49A3-9E08-26F5CC22D4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017459$E4A2C6F4-8582-4BD9-9B34-F69E8999925C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"850c792133481046909466c52fac0b77d1de56bb","datavalue":{"value":"https://doi.org/10.1017/s0960129500001420","type":"string"},"datatype":"url"},"type":"statement","id":"Q4017459$3CAB8BAE-7FE6-4ABF-BF91-0D2D32D6C9F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24e68dc90b5ba972ac56dcc68e95f7f1140006a6","datavalue":{"value":"W2120705771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017459$C900D3D0-1576-41A5-830D-344060B16E7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e4392cfd21aa49658409cdf98c8fec697fd9a55","datavalue":{"value":{"entity-type":"item","numeric-id":4982050,"id":"Q4982050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"542119a684b9948fabbead304d7664102240eee9","datavalue":{"value":{"amount":"+0.8499197959899902","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":"Q4017459$AB20D27D-E4D5-4194-A4E5-3DDE611D83B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a6385bc409e31c89a31fc4c1a44a10be95e33d4","datavalue":{"value":{"entity-type":"item","numeric-id":5757923,"id":"Q5757923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f690101ae0b855025064a35559df50c3aa1fb93e","datavalue":{"value":{"amount":"+0.7688174247741699","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":"Q4017459$268385D1-E81D-4BA9-87FA-0E177D169DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b18bc727a9da750e583e7912ae3c008039559d6","datavalue":{"value":{"entity-type":"item","numeric-id":1203710,"id":"Q1203710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c19cde5f77469130137aed1c3861c5271e9ed0","datavalue":{"value":{"amount":"+0.7587964534759521","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":"Q4017459$CF7519A9-6E23-49B5-8677-62AB3DCD807D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b685fb920ee828bbb4943cab11845acd1821e8ab","datavalue":{"value":{"entity-type":"item","numeric-id":2810964,"id":"Q2810964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b680dd59231eea7772c27cb448bf1f947168f7","datavalue":{"value":{"amount":"+0.7525565028190613","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":"Q4017459$FB28A56C-F34F-42AA-8FA3-DC16D4AE554B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1213873e5753f74a4bb3192cc925f07e241e1f60","datavalue":{"value":{"entity-type":"item","numeric-id":4934357,"id":"Q4934357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"948e73bcf757060b0045c58bd0c849b8b12eca35","datavalue":{"value":{"amount":"+0.7470250129699707","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":"Q4017459$C1BD83AF-F075-4AA1-ADCB-B61B27E80CD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4017459","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4017459"}}}}}