{"entities":{"Q2883054":{"pageid":2893779,"ns":120,"title":"Item:Q2883054","lastrevid":51463751,"modified":"2026-01-18T09:05:31Z","type":"item","id":"Q2883054","labels":{"en":{"language":"en","value":"Equivalences for stochastic Petri nets and stochastic process algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033120"}},"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":"Q2883054$7D26EDCE-09A5-4BBC-A57E-68209F3CF5A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae7093d3444ea1d224bc5c8153db3d39a495eb26","datavalue":{"value":"1249.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883054$81434DA2-AFD5-43F3-94AD-BB1DA07ED5C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30a10f8ca607a66cb57d88af99fb30af04ba9e14","datavalue":{"value":{"entity-type":"item","numeric-id":243731,"id":"Q243731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883054$2407A92B-7697-47B1-917D-183A52D9ECD1","rank":"normal"},{"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":"Q2883054$E33ED0B1-DE8D-4560-8E39-2A60360A3F16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2883054$0B048CF5-FB93-4E90-A24C-17C35631A4A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883054$DB2CAC33-1DCC-4D3D-894F-000BF8856473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883054$4E54CF54-63F3-4E9A-B361-1325B5055FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883054$B86B0880-84EB-4D21-807D-EEE113D540C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c53623eb0eaa0bb3478d70eb8f0a70e29d185bd7","datavalue":{"value":"6033120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883054$62F5D0E6-B1CC-4C25-9B9F-FB1D9CA49C05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883054$53CE9394-5F56-4839-99D5-EE0D28EFFE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce2888facdc7c68f7fd5d3997bed20612efe5cb5","datavalue":{"value":"sequential behaviour","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883054$E7F2A676-D3D9-4AB4-B94D-2CEBD71D3D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3918e965ea656188ff0d6dc3e4e4d9a3f6dbc2fb","datavalue":{"value":"comparative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883054$C1AE86AC-0061-4B53-B3A0-8B2E209DD317","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":"Q2883054$D7832331-5C82-4F83-87EC-22B859380FD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dce80e6fa8d466cc4fcbd59a7848e9c43148eca","datavalue":{"value":{"text":"Equivalences for stochastic Petri nets and stochastic process algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2883054$1BB73102-E5BF-44FC-AFF4-C887BD68CD78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a759a6aa711e0f4b33e673c6ad25e33676785b47","datavalue":{"value":{"entity-type":"item","numeric-id":6773955,"id":"Q6773955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883054$132FD51B-3432-463C-9E4A-1B34364338F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a3304e39e53be0941eee4ab02c428fc5d536605","datavalue":{"value":{"entity-type":"item","numeric-id":3152933,"id":"Q3152933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ee0fe99481787d56f316effd13692a33baa0731","datavalue":{"value":{"amount":"+0.8738468885421753","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":"Q2883054$B91DDD83-0D4F-43D4-AEFA-B6AAE49AAF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489772f924456bc74b0ddc2adf7764dac1646393","datavalue":{"value":{"entity-type":"item","numeric-id":5096363,"id":"Q5096363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c380a73e37193e6b0942fda2d59b60501ddd772b","datavalue":{"value":{"amount":"+0.8635749220848083","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":"Q2883054$6DE8F677-9240-4AE8-BB40-FEA2189A7646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45050f9b1bfa9abcd020ea343fb6168131eb3ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3023541,"id":"Q3023541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c9b48e2f7360193b3c33873af4cf5efa18fd2d1","datavalue":{"value":{"amount":"+0.83400559425354","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":"Q2883054$06728E47-5BFF-4FFF-84BC-CA8DDADD90A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7f1d0ab8f1f9a9c506b38e5dcce40f4b9a7890f","datavalue":{"value":{"entity-type":"item","numeric-id":2403677,"id":"Q2403677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d6a2f4946db6464c61a6296700caaeee8a7b816","datavalue":{"value":{"amount":"+0.822104275226593","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":"Q2883054$71AD9967-1474-4BA2-B2C1-502CF782688F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"230a06092167a6cc3c8796399b7469d4c7ff34e0","datavalue":{"value":{"entity-type":"item","numeric-id":4553270,"id":"Q4553270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dc15907f0596f743a3bd9206d7bf97331562f91","datavalue":{"value":{"amount":"+0.8213921189308167","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":"Q2883054$BC26EE5F-A55E-4EB6-B3DD-EFE6DBBD5F32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2883054","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2883054"}}}}}