{"entities":{"Q1203122":{"pageid":1213871,"ns":120,"title":"Item:Q1203122","lastrevid":66473151,"modified":"2026-04-12T10:18:16Z","type":"item","id":"Q1203122","labels":{"en":{"language":"en","value":"Multitraces, hypertraces and partial order semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 110529"}},"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":"Q1203122$AB0C0D2B-1879-4E4E-8B1B-E2928EE5C80E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2bdfbec2ef6022d74e5fa1ca7549a7eda19277c","datavalue":{"value":{"text":"Multitraces, hypertraces and partial order semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1203122$D0F5C92C-0ADE-46F1-92AC-E33390012682","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26e5938e264c9fbf5fd1c94757dd9941df29239a","datavalue":{"value":"0758.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203122$BFD906A2-615F-4D54-B9B8-46771C148138","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d43bb45498c1e23640a99133dc3458bf163d69c","datavalue":{"value":"10.1007/BF03180567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203122$EB44CF41-8EC4-4C20-AD51-645059317C4D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203122$259732C5-E3B5-410E-AC9E-0221169B3783","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6804e778601fe2c7ca2ec610584daaeab1b8f8c8","datavalue":{"value":{"time":"+1993-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1203122$D86A181A-80DB-4DC4-A5F8-6B8D7ABA0130","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203122$AA4A701C-6667-4327-9BD7-D5D752E52682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203122$1A1928FC-7131-49C4-A319-28FD8915BE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203122$2B9D9FBC-63EE-4FB6-89A7-A14AC4326E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203122$5134168F-9B50-4655-A497-34D2434F0E0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87b183e5de4d447f883ba7848d55acab1ef88ee7","datavalue":{"value":"110529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203122$B8A82742-CFBC-48C5-A1A5-A2AD4D0EE10A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b15dfbe96a3ca4296848dbe5b48445c04999f2f6","datavalue":{"value":"partial order semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203122$6B21D8D1-7973-42B4-90AF-6A4F4106D560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47fc8bde4d1786254964d1241a695a89d9115c72","datavalue":{"value":"behavioural presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203122$974728F6-BDA9-4C3F-92A6-A4D24C7019A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9543d191890c3fc35c2b31a437a879636e45869b","datavalue":{"value":"event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203122$0E87FA6D-9A40-489C-8BC2-3B815E202DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a872fa636e70643c133c6966d147abf98291a8","datavalue":{"value":"trace languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203122$FCFF5E6C-E99E-46FE-BAD8-5343DEC36E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e35271021926cd78f12e69e7284130c1337b21cf","datavalue":{"value":"multitrace languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203122$04F8F9E8-99EF-4690-933C-67A0722C9661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0362dd1cbc84f7d470c2b97f66797e5d51e2da5","datavalue":{"value":"hypertrace languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203122$C4B210AF-5AC9-4D2D-91A6-1D08216D4979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52ba6d968a7617d9b56b80603a9b30974da2b918","datavalue":{"value":"determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203122$D6B61110-C0E9-4DD7-9F44-16DEE095C4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5204fbd7c86416d110259da502567849f8ee6345","datavalue":{"value":"non-interleaving semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203122$D2732E04-4119-4F93-B992-BACC17D22D79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3cbde0d462a2a8ff5eccb9f8b4566180dc7f0f9","datavalue":{"value":{"entity-type":"item","numeric-id":1402460,"id":"Q1402460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203122$6838C3AA-AD1D-4136-BEC8-CF2930FA5E70","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":"Q1203122$1056EED4-65BB-473D-84B5-DA740371A300","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203122$5D0C3BB7-F46C-4B79-BA9A-1F40D2D15A78","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":"Q1203122$5C04C7DF-D393-40BB-B840-53B1196C7BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e77ccf428ca1b394ee0eb78a76560bc9b01d66c","datavalue":{"value":{"entity-type":"item","numeric-id":911318,"id":"Q911318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203122$B690A859-19B0-4B14-B45D-5FEE9E5F6CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0649aa478635799a327e19a4326f199f9255ca9d","datavalue":{"value":{"entity-type":"item","numeric-id":3691067,"id":"Q3691067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203122$F852EA80-F9F3-45C7-B948-10F71F918EC2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd607929e14506bd7ed558a024b354b8b9c9acf2","datavalue":{"value":{"entity-type":"item","numeric-id":3569032,"id":"Q3569032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c4164717af0651d0687888d9e3338dc6e406678","datavalue":{"value":{"amount":"+0.7999417781829834","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":"Q1203122$95322AF8-FB47-4937-B298-D14641ADB536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e405e7a3cdf4837a517b15afc19be5933cdb6b","datavalue":{"value":{"entity-type":"item","numeric-id":2799218,"id":"Q2799218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14839741c9d7965ef223ad27a8f49b654d84b74b","datavalue":{"value":{"amount":"+0.7839375734329224","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":"Q1203122$BE7A26F8-D0ED-48F5-9D1B-3290F78CBCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05663ec5f79724d7cc1a408eb3482aa78a89080d","datavalue":{"value":{"entity-type":"item","numeric-id":3742725,"id":"Q3742725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3f5aa2a998200292db4d92811da12e3216481d1","datavalue":{"value":{"amount":"+0.7829816341400146","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":"Q1203122$91AB07A9-4B0B-49D9-B260-03E25BA33D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86a917e76e3562a0979781e44fb15ef2b6952744","datavalue":{"value":{"entity-type":"item","numeric-id":651308,"id":"Q651308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e94bc9f9cfd2a91ae19cac9a9326f4aec5c07187","datavalue":{"value":{"amount":"+0.7813341617584229","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":"Q1203122$EC4D79BC-4225-4A7E-8CF8-27C0A01BFF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0c213925b203aad020e4b0c7de21d95244927ad","datavalue":{"value":{"entity-type":"item","numeric-id":1341743,"id":"Q1341743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a585bdf7b5883d3d0863564392b904a2252136fc","datavalue":{"value":{"amount":"+0.7742441296577454","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":"Q1203122$DFA2FC29-148D-4870-84B6-EA009BFA25FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multitraces, hypertraces and partial order semantics","badges":[]}}}}}