{"entities":{"Q5954636":{"pageid":8131438,"ns":120,"title":"Item:Q5954636","lastrevid":47737504,"modified":"2026-01-02T13:55:26Z","type":"item","id":"Q5954636","labels":{"en":{"language":"en","value":"Compositional high-level Petri net semantics of a parallel programming language with procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1701591"}},"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":"Q5954636$2E0827AA-6ECF-42CC-B571-ADBB76CF0506","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af3fcdfa3d0af0add362e941c04dff911631b06c","datavalue":{"value":{"text":"Compositional high-level Petri net semantics of a parallel programming language with procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5954636$74C41FAD-B932-4346-A45D-E7D2A3B372C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18f36ab42480196bc12ac6960f2e87c9404ecf8d","datavalue":{"value":"0998.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954636$58565517-A406-4B82-B354-D8161D6B6627","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43fca4e6b9aeb1f9f8b3a4f415b15bedd642d284","datavalue":{"value":"10.1016/S0167-6423(01)00004-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954636$C1ECD752-82ED-45A9-8790-369BC3F6AE4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6e639d2eeaa2d3553e052d48e38290f102cbe38","datavalue":{"value":{"entity-type":"item","numeric-id":227613,"id":"Q227613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5954636$877982B3-EA54-438D-A8D6-A6E2DCF42B16","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5954636$6C3CB2CB-E8CD-44EA-BF9B-B1F61B4122B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f309e4e3309c7641e0998c270afe2b333805b60f","datavalue":{"value":{"time":"+2002-02-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":"Q5954636$87DA4553-B2C1-42C4-B78C-F21C6FA617BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954636$C711FE22-5337-4E3F-A8C1-6674BA273149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954636$1164D840-5A27-4A85-A01D-ECC9D4DC9A0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f21a9ed9e1d56328b41f77e67395cf3c9ac4dfc","datavalue":{"value":"1701591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954636$2CB29B2A-E79D-4FFD-931F-BF549E3623C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954636$806067C8-7E48-497C-9CD3-9FADD0DDE485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aadda23f1157007381fb6e25ecc620abcd7b9727","datavalue":{"value":"parallel programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954636$39045461-6FFB-40DC-9586-243E831A52AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954636$3E06B925-4198-4D97-87BD-84237FC435A1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4138e3a677fc7dde9f63e3d3afbc71fe6f94f495","datavalue":{"value":{"entity-type":"item","numeric-id":21125,"id":"Q21125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5954636$F51B0E13-3587-4672-B2AB-E9DAE0D5931D","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":"Q5954636$1C972A69-1722-46A6-AAAD-BED362C7E1B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e88b1239117c3789195c650d0f28c5e1eea071","datavalue":{"value":{"entity-type":"item","numeric-id":1284690,"id":"Q1284690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24fa2f176cdf1d3bd0da6039adfc8c2b3b67fbe5","datavalue":{"value":{"amount":"+0.8173984289169312","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":"Q5954636$55F63C70-0A5C-4C05-ACD5-0B63F05A5B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfe9598c3b23312565ffe66fa825c31fa16d2142","datavalue":{"value":{"entity-type":"item","numeric-id":939164,"id":"Q939164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24fa2f176cdf1d3bd0da6039adfc8c2b3b67fbe5","datavalue":{"value":{"amount":"+0.8173984289169312","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":"Q5954636$2EAEF01C-AB62-4133-8996-D7CB454FDEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e44ae13559ebeca6224e5f1cb0c8679b345ed7c","datavalue":{"value":{"entity-type":"item","numeric-id":5096360,"id":"Q5096360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06d079ee07776a29559009fdbfd65eb9ee987805","datavalue":{"value":{"amount":"+0.7955469489097595","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":"Q5954636$E602A2EB-218F-4902-891C-CF0951C8AD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c51a13b7645b86bbedf973ae1e0981ee0a522d9f","datavalue":{"value":{"entity-type":"item","numeric-id":3992784,"id":"Q3992784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bf5228331415e8378d0d546b9aa2f21edaf9d17","datavalue":{"value":{"amount":"+0.7898144721984863","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":"Q5954636$98EA9C5F-625E-4EA5-B76E-3AE21BF7F31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b3eda6dd602cb419a2c1cdfa04f754a505e96f","datavalue":{"value":{"entity-type":"item","numeric-id":6487390,"id":"Q6487390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f17b1bc62839492bec1ef637fba0163bd54d1fee","datavalue":{"value":{"amount":"+0.7829990983009338","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":"Q5954636$5C8531C4-D782-485A-8A82-5F89C637A7FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5954636","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5954636"}}}}}