{"entities":{"Q5300867":{"pageid":7330441,"ns":120,"title":"Item:Q5300867","lastrevid":51761405,"modified":"2026-01-19T21:39:39Z","type":"item","id":"Q5300867","labels":{"en":{"language":"en","value":"A semantics for every GSPN"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6182472"}},"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":"Q5300867$76D0B1A7-5CA4-4FE9-BEBC-110C94C58ECB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7050facb8188bad319d6f324a1d0678aa6513f91","datavalue":{"value":{"text":"A Semantics for Every GSPN","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5300867$ED0BD2C5-FD8B-46AC-AF19-D8345F6CC7D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91c34cbdd1a03d258bba778ac580e1f66b11d759","datavalue":{"value":"1381.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300867$41816EE0-4DCD-4EDC-85A7-B4FA104E7B49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ba16e5bda2a48fed49aa41e4cdd5804d6d808ec","datavalue":{"value":"10.1007/978-3-642-38697-8_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300867$AF9764E3-E856-408A-A892-0E3925038ABA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c93d6b256e1f4072d17c21c71a1ea0420b7cc72","datavalue":{"value":{"entity-type":"item","numeric-id":1671242,"id":"Q1671242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300867$86753F0D-A2AC-4AC7-9A1F-ED77FDAB1CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d570ab9528618e94eac06ac4735a35751c2a1ea4","datavalue":{"value":{"entity-type":"item","numeric-id":236071,"id":"Q236071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300867$9A1141E6-B612-42C4-BC0B-EB3255C64F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300867$B608C9D3-FF84-469E-ACFC-6FED06B4B367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5894425868796c1c566a284833508f3ef0277bc9","datavalue":{"value":{"entity-type":"item","numeric-id":764615,"id":"Q764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300867$A5C83726-F22D-41AB-8D58-DEED03C8BFF1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f13fd0901135ebf0e2b5744f50cafda14949457e","datavalue":{"value":{"entity-type":"item","numeric-id":2822648,"id":"Q2822648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300867$431C9387-0BF8-4A8F-B52E-3F67E0DF7A3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3abb5fb4ae7972a30f51c8d6a09a9ae6d81d017","datavalue":{"value":{"time":"+2013-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5300867$ED7F169B-B75E-450F-83AB-C600E3C9E1FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300867$D609E242-137B-4F31-9D42-081763E12E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300867$D2F534BA-3458-4981-8D8A-B6D2B21CFA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300867$FB7D59EF-370C-4F6F-83B1-58FB12A4C91D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8743a7807eb121f71d0090eaf17839f3fda59cd1","datavalue":{"value":"6182472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300867$9416DEC3-6168-496F-93C9-B66EA687D855","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80de96af3520bf58705d1a4d017926aa407cbb46","datavalue":{"value":"timed nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300867$F3E6974C-3082-4C22-BF4A-68302D697882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c46eb79e0812a704adc13d9126aa1efb0aa6c55","datavalue":{"value":"stochastic nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300867$0BB80CC5-C9DF-4B05-B725-0E94A7AB9A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300867$B0DB0B04-872A-4D2C-9D67-B668E9A43A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e4f09bf706d6d472350ad802fb3bdb8c08eca65","datavalue":{"value":"confusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300867$F55EE394-757F-4044-942F-6A8309515827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c960d457a3e4b415a36a3cb47c7c5b3d0b83364e","datavalue":{"value":"(weak) bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300867$99BAD7AF-8594-4DC6-ACA0-89F57A0F428E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67b1e0024e7e32a8458eb21e73fec9565aa0dc32","datavalue":{"value":"continuous-time Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300867$1F187808-D40A-4EA5-81DB-83CA179D281C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"713abea2d88f9b3229ca14884fcf549f963e4ef4","datavalue":{"value":"Q57800959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300867$873FA5C4-4FD3-426F-92EB-A83E6CFC7305","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":"Q5300867$58F20D70-7AE9-407E-8F94-2917CC253850","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bfadbe41c024298143ebf54aabaf2eb9128faf6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38697-8_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300867$898416BB-5FB7-4CA5-9240-E1A122F95F5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9d35438d15e10773ce8246f1402e14e842c95f0","datavalue":{"value":"W78405526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300867$A57ABA39-7111-4FDE-9D9E-C3AA74483EC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"840d5c28da0e38c899ea1bbb79ad1bea8bed6f34","datavalue":{"value":{"entity-type":"item","numeric-id":4835250,"id":"Q4835250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300867$1C3AFF56-E615-4BBA-BAB7-CADB755857C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300867$0E2CF709-1120-42DA-87E3-CFF37E4530AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2679c29c0d26197f91a356070d95bfb2b5e55c98","datavalue":{"value":{"entity-type":"item","numeric-id":2387196,"id":"Q2387196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300867$5D610A79-B531-497C-81D7-52044467ABE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"785df0fb579fa2debc9035d8ab1f15c0b622a0bf","datavalue":{"value":{"entity-type":"item","numeric-id":4547765,"id":"Q4547765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300867$2992B963-611E-4F98-BC45-1765AC84A438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cbe4e0ad8952c435822adc4b6fe8fa070da9d50","datavalue":{"value":{"entity-type":"item","numeric-id":3084588,"id":"Q3084588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300867$2783FB1E-7768-4287-9B0F-CE39C80DA9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7252cd0352789e148fa87ef01a9cf8f2460a6c6","datavalue":{"value":{"entity-type":"item","numeric-id":3986758,"id":"Q3986758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300867$E4CCC31D-AA2D-437D-9E83-EBD8BF379C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc59bae63b743ea9cdfc1df5e724d22cf1709df7","datavalue":{"value":{"entity-type":"item","numeric-id":4296371,"id":"Q4296371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300867$79160642-2BDB-4840-A38A-0CCB5E6F99EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a46552b7a5707ec562b440c80dc116bfa0f905cf","datavalue":{"value":{"entity-type":"item","numeric-id":3184679,"id":"Q3184679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300867$1E0D888B-DE22-4662-B205-EF88B0B75873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55e8ce4ec20f9f894e2d7db5e6084d390bc1c76","datavalue":{"value":{"entity-type":"item","numeric-id":2266992,"id":"Q2266992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300867$0314245F-12EB-4DD1-8B1C-661EC9602CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21ebee4e08f0592a1c4f5546d5d1edfcf28d498","datavalue":{"value":{"entity-type":"item","numeric-id":5462953,"id":"Q5462953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300867$EC231938-E906-41B2-8CB1-F5EDAB9934A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f95d843d6f6faf44a70e5631cb686bd443e747","datavalue":{"value":{"entity-type":"item","numeric-id":3584919,"id":"Q3584919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300867$1ED2A80B-4BB8-4872-BD16-6CBEA7FE29D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f505dfb824e1aae39a5d3eb343ed8fbc59b2938b","datavalue":{"value":{"entity-type":"item","numeric-id":701689,"id":"Q701689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300867$E4346D3A-7191-448E-9001-BBF4EA7FFEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"402a6b288a9007533d8ca32334659b6027ea5ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4118602,"id":"Q4118602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300867$B25C1923-52A8-45A8-9E7E-7C6A8FA08CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c12d01b4b17dcba5eb7f3e67eea2f1bdd2eaf6","datavalue":{"value":{"entity-type":"item","numeric-id":2581532,"id":"Q2581532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300867$C9BE2C17-9099-4F5F-84A9-508094B482A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300867$FAA92FB9-432B-49E1-BC79-3468F9B574B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af0a6f74746692b7d93e017dae95d8e362aad8cd","datavalue":{"value":{"entity-type":"item","numeric-id":4547771,"id":"Q4547771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300867$77D78DDD-BA61-401B-B413-E25689AE55E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67bdae8c6890e0500909d8a4dceeaec64bfd876c","datavalue":{"value":{"entity-type":"item","numeric-id":2912690,"id":"Q2912690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300867$049F3D96-E9D1-4224-9E2A-BE8CEA8328A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b52546f301075061d67bd55ccc16f57fafa5d854","datavalue":{"value":{"entity-type":"item","numeric-id":3557065,"id":"Q3557065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300867$436D7C32-18B8-46DE-9505-8D3C52AB8540","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b05120c8e91f87df7141602febf1b407b98e18fe","datavalue":{"value":{"entity-type":"item","numeric-id":4835250,"id":"Q4835250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9685f481ccc7a074e74ba63e14f6bf45d60313a","datavalue":{"value":{"amount":"+0.8087550401687622","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":"Q5300867$D3E216CA-ADA2-4768-8BBF-0B079F848DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cacbd644e152630d1c89cb8dd9badfbbd8d95f1a","datavalue":{"value":{"entity-type":"item","numeric-id":1287572,"id":"Q1287572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efbaf455b34398b39c4a504ef39b96dc7e134970","datavalue":{"value":{"amount":"+0.80738765001297","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":"Q5300867$B47D8548-727F-46C2-9855-9FE7A540FB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b2d1b394e09a9c9e9ee32880fa28584fbaf175","datavalue":{"value":{"entity-type":"item","numeric-id":3994065,"id":"Q3994065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e88e20be1e0baf61c32416c6526422e17b47f8b","datavalue":{"value":{"amount":"+0.806038498878479","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":"Q5300867$0177C080-6837-4F7C-8987-632DD7C2DA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84614583ea2507e24f604261055b23f5ce7af107","datavalue":{"value":{"entity-type":"item","numeric-id":3084588,"id":"Q3084588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6c81c71d70333d46fe7dc3e707d7bba89f2d430","datavalue":{"value":{"amount":"+0.8030309081077576","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":"Q5300867$A4963182-43CE-429F-9871-2DEAD8233224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4a9aa155b19a17279f0538370bcdb30dcee2a2","datavalue":{"value":{"entity-type":"item","numeric-id":3976689,"id":"Q3976689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa6f53ad7be95c72f7ff0595c74471be2fc4de2d","datavalue":{"value":{"amount":"+0.8023550510406494","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":"Q5300867$F618261E-5B00-4150-B647-E8F00B02A649","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5300867","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5300867"}}}}}