{"entities":{"Q3429643":{"pageid":3440346,"ns":120,"title":"Item:Q3429643","lastrevid":50066500,"modified":"2026-01-12T20:59:02Z","type":"item","id":"Q3429643","labels":{"en":{"language":"en","value":"Stochastic Petri box calculus with discrete time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5139596"}},"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":"Q3429643$EE7CBE5C-3C8B-4584-9F2A-80EFA7C259B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ececaa200f2059c93bd20b99cec3db141c91ee84","datavalue":{"value":"1111.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3429643$6B58EF2C-A075-408E-8AA4-CA94FE4A85A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76a53f1eb14babcafe8609d74553b403b724b70f","datavalue":{"value":{"time":"+2007-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3429643$0CA72873-11A7-4679-BDE2-260C209F4233","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3429643$9C56E284-34AC-44D7-A883-2545EC303464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3429643$F61B29D2-A510-4A3A-8A2E-EE4A5029AFB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7a34b79c43fa5126edbc6c8c4ea8339ae6abdc7","datavalue":{"value":"5139596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3429643$C799356D-7965-41F9-B401-6B197E6E161D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9ba81d9d04c258313876a0be7557d096c7003b7","datavalue":{"value":"stochastic process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3429643$6970621E-216B-4F0E-BA23-6311DBFC2013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3429643$F898027A-BDF4-4689-AFE5-511A0C0AB130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3429643$1DC214FF-D3D1-4F88-AEEC-E5F795B08E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3429643$AB9C31A5-2526-4708-B0ED-DE758068C378","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4081d6701b894804b32bfecf5d9bc2d10a18c41","datavalue":{"value":{"entity-type":"item","numeric-id":1798122,"id":"Q1798122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3429643$574901FC-E47F-4132-807B-F8A7BA995532","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":"Q3429643$CB75D342-2E6F-4E0D-B2EB-5E7E36C58EFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d780680c2e2532a46eb90639a14192b969a3296","datavalue":{"value":{"entity-type":"item","numeric-id":2212703,"id":"Q2212703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1041067c441eca10ce808be6b3b26659e617b71d","datavalue":{"value":{"amount":"+0.8937281966209412","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":"Q3429643$7BF7F420-4DDA-457F-AA20-3A4C93D81F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52d1551b7a9bcaa95b382f939277576e1c9994a9","datavalue":{"value":{"entity-type":"item","numeric-id":2880610,"id":"Q2880610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"306b99e42e6456cfec036a356434b01d782b7f8e","datavalue":{"value":{"amount":"+0.8853464722633362","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":"Q3429643$EAC0D63E-EEE0-47EE-AF77-359CD3C002EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616001f086981d58d7d04f715f723414981d6d9c","datavalue":{"value":{"entity-type":"item","numeric-id":2882947,"id":"Q2882947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45afc33c4830c717a846acf8ed6869b1247a2769","datavalue":{"value":{"amount":"+0.8684819340705872","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":"Q3429643$B967EE9B-5FE0-4AE1-90C0-C3D086B930DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d32de6b957ff2cc976586dbc499a5a7fadd9af8","datavalue":{"value":{"entity-type":"item","numeric-id":2979815,"id":"Q2979815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e7d3a1ec128e8a2126b74cbfb04891ddeb25d82","datavalue":{"value":{"amount":"+0.8540895581245422","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":"Q3429643$7A5577F1-8C77-4430-9C59-8A0EA5503191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"055efc5d2f523b2cc1c9661bfa30ed2cce721d1a","datavalue":{"value":{"entity-type":"item","numeric-id":2633503,"id":"Q2633503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1fe74f08fa6c69164d84c136052d3577a4ffbaa","datavalue":{"value":{"amount":"+0.8517293334007263","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":"Q3429643$B1D2AAE0-4CE1-478D-836E-610DA3CCBFA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3429643","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3429643"}}}}}