{"entities":{"Q5096853":{"pageid":7126429,"ns":120,"title":"Item:Q5096853","lastrevid":54383654,"modified":"2026-01-26T17:56:09Z","type":"item","id":"Q5096853","labels":{"en":{"language":"en","value":"A functorial semantics for observed concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7573157"}},"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":"Q5096853$55596CFB-6726-4386-8E22-B729704E7850","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e458e9a110c39a739659b5ba0fe522df47eb75bc","datavalue":{"value":{"text":"A functorial semantics for observed concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096853$7E9B35E9-6876-4CF9-8B49-D0D46FFC2E01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e929ce5c0804ecb71095aecc7fa97d1ddaa1122e","datavalue":{"value":"1493.68251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096853$E66F7ACE-B9E2-4D65-91E2-9B2CC7F5C2E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70ed3e956999ae3fdde16f857a74a15989551b20","datavalue":{"value":"10.1007/3-540-55808-X_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096853$B7A0B2B0-C2C6-4CF7-90A2-3FE0938A973C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6886d9941ccee977303e968b3b698fb2ebee2d3f","datavalue":{"value":{"entity-type":"item","numeric-id":1024091,"id":"Q1024091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096853$A7FD1ABA-91D8-401F-828C-FA2E8D7E442C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0adf550b0adaf683014b95f040f3d0b889baf077","datavalue":{"value":{"entity-type":"item","numeric-id":674196,"id":"Q674196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096853$A2C07207-BA47-4B20-AE9D-ED1D69E334C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40a5bafdd643d48fd797b3c75bbfa480747517fb","datavalue":{"value":{"entity-type":"item","numeric-id":5096814,"id":"Q5096814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096853$BE71BEEE-927C-4248-B879-F4310B3B1786","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc5d7d1bdf288a91b8530ddee2bbdc5e2a735b6a","datavalue":{"value":{"time":"+2022-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096853$B1656B27-9D56-45BF-BB05-D3CF8BEDE958","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096853$15B64C57-41F5-48B1-A3A0-AA6123B4F7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096853$7FFB810E-A403-4F28-9B71-CF35DA7E314A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17a3448fa6a9451101193f4704b35393266c2514","datavalue":{"value":"7573157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096853$95EBD913-9F17-41AF-81A2-48A3F697496A","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":"Q5096853$A3AFB788-3E03-4908-B00F-75C52C51D2E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"33a368ac3b97caba026d61d63673b66abca6c290","datavalue":{"value":{"entity-type":"item","numeric-id":1837679,"id":"Q1837679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096853$B1704D29-0439-49D3-B571-1C3979FEA6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a92e978c8b48f108b205a3d54181e292f77f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3680258,"id":"Q3680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096853$5B004826-132E-4223-A08B-C0E6CE0B5F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cb4408b726dcb40eb6cb23972f26d896669a974","datavalue":{"value":{"entity-type":"item","numeric-id":1263665,"id":"Q1263665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096853$B6355569-2D61-4C9A-A6F0-276489E21185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f1fc2c53f8489c262229a49273407a2a8e9cca","datavalue":{"value":{"entity-type":"item","numeric-id":3787462,"id":"Q3787462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096853$F2BCD49D-E85B-4A10-B9DA-2380AC1DB632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acf8a95896f37161401735e1f8057ad914abc271","datavalue":{"value":{"entity-type":"item","numeric-id":4027625,"id":"Q4027625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096853$59C04E09-FD90-412F-84C9-5C5DDCB0BCA7","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":"Q5096853$4F91CA28-7A54-4767-8587-2CA7C2100E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d21b3690cea457f63b412ad320f98426546a9d9","datavalue":{"value":{"entity-type":"item","numeric-id":5096853,"id":"Q5096853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096853$FD2A41A7-A1D6-4F9A-B271-12ED7FE8E775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f45f552829e448fdb1f5d0c5585c08bd5972555","datavalue":{"value":{"entity-type":"item","numeric-id":3694687,"id":"Q3694687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096853$CF0BE64E-872B-4061-91FE-0EAAD7058496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ad55d423b35bc4c2f7b1fcbb8fc8ceb12dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3994458,"id":"Q3994458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096853$A3A7242D-F09B-4461-83CA-70B70522FEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1342481e9b642c3704450ca4c2f794f0ec24b8","datavalue":{"value":{"entity-type":"item","numeric-id":4742733,"id":"Q4742733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096853$60105EE8-3729-4297-8282-97B49C9B1F1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"968a9a800325f103e02d3852a7ff791e973d10fb","datavalue":{"value":{"entity-type":"item","numeric-id":4499305,"id":"Q4499305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba1dede577bf211de3cb6bd92e7cac02c280156","datavalue":{"value":{"amount":"+0.8316559791564941","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":"Q5096853$5FE4A985-A53A-4191-88AC-437703356ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57d106f95262d388d6a695fd3626ebcfb19f161a","datavalue":{"value":{"entity-type":"item","numeric-id":3043824,"id":"Q3043824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83538e7955f21eb0174be056d29f96c7e4c94bfe","datavalue":{"value":{"amount":"+0.7891903519630432","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":"Q5096853$12A7546C-A106-4A29-A276-A9D7DFE04C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"480c0284de893ad13ad67403f8f5b448c8979db0","datavalue":{"value":{"entity-type":"item","numeric-id":3683531,"id":"Q3683531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f64650dd4536ac434e9a7fe9116977862318757","datavalue":{"value":{"amount":"+0.7807036638259888","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":"Q5096853$B358BA63-5858-423E-9DCF-A299E9D4C412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a390cd367118bbbac61a1af3cd1b42a9cdc79f4","datavalue":{"value":{"entity-type":"item","numeric-id":4713371,"id":"Q4713371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43f4e7e7e4bf3243813e18f43e72092cb79b2b10","datavalue":{"value":{"amount":"+0.7581304311752319","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":"Q5096853$73196AFE-C0B4-4613-A5C7-F76114502938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02a15b13662c776396d9b29a8ca8b590c170fe2e","datavalue":{"value":{"entity-type":"item","numeric-id":2963874,"id":"Q2963874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94fe67f8ca893f871b728a055c6e38c3bc3a084f","datavalue":{"value":{"amount":"+0.7511869668960571","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":"Q5096853$7CDB408D-5B76-4F4C-98AF-5E5B69B3B647","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096853","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096853"}}}}}