{"entities":{"Q3225737":{"pageid":3236445,"ns":120,"title":"Item:Q3225737","lastrevid":58143459,"modified":"2026-04-03T23:53:18Z","type":"item","id":"Q3225737","labels":{"en":{"language":"en","value":"Bisimulations for non-deterministic labelled Markov processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6017868"}},"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":"Q3225737$38704081-C471-4422-AA07-CF336C02E9E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"274006be82cd46842d01b7676cc75b71b0543f30","datavalue":{"value":{"text":"Bisimulations for non-deterministic labelled Markov processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3225737$FBB05E3B-8FF7-4F3D-BCCF-E8F9313A37D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a9f39b81c002d61ba3c6bc86c3188151b26ca8e","datavalue":{"value":"1234.68316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225737$5286FB4E-06A6-4127-8213-2AD07A20839C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d752c613b3456c312047d06dc0f6727f5c7f088","datavalue":{"value":"10.1017/S0960129511000454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225737$4D570881-EF9F-4D18-B2F3-2F415D1778B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94fed2ec79d6708f1f566072f11e83579901c053","datavalue":{"value":{"entity-type":"item","numeric-id":549667,"id":"Q549667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225737$8AAAE827-2F45-44D8-BDF1-18A7BE1AF3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1316bb5f426a93fa12c5f27fcd744de5378198b5","datavalue":{"value":{"entity-type":"item","numeric-id":2937730,"id":"Q2937730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225737$F6A85AC9-31F7-43DA-A030-DA36E328EBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44fbc514ac4414d1f77b758348bbf20c72a9d00a","datavalue":{"value":{"entity-type":"item","numeric-id":1391790,"id":"Q1391790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225737$A29F442C-7BF9-40CC-A760-37303D6402D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225737$040DC55F-5AA1-4F25-B153-C74351D0F770","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5851e3f5a92a2070ac5e1904345b7409fb2a9c02","datavalue":{"value":{"time":"+2012-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3225737$08969EE1-0EE6-4437-AC6A-DF3133DFF096","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78c22fe50b7aa79cd8f38637a3645a0f6b4da067","datavalue":{"value":"https://arxiv.org/abs/1011.3362","type":"string"},"datatype":"url"},"type":"statement","id":"Q3225737$2A7A8108-EB65-4BF2-847E-C733777B5B48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225737$82930EBA-4889-46B2-8EC1-5BA34DC69B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225737$134339C9-C4D9-485D-A061-6AC219CBD3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c0ecd49782246b7fab028f912f49cd163073d4bd","datavalue":{"value":"60J25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225737$98670081-9851-48E5-A1A6-94D799EAA8DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bb7a6fb488428272aa681f60da99b8823aa045f","datavalue":{"value":"6017868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225737$E743AF53-BA50-4E73-A133-0DB546295794","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de76b81f57ef1796b1e709d901661054b7875837","datavalue":{"value":"bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225737$4C0971D1-14D1-450C-B2F3-DA95B3367891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f47e4fdc183ef8beb69defca6943946e6f2cb91","datavalue":{"value":"Markov processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225737$1205B821-93B1-499E-9019-C48DEA007007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cc10e978ba06387caef18ac674480778bebcde5","datavalue":{"value":"internal non-determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225737$497DE894-B79B-4C31-AC18-3AD9BA0D8949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2dd3a332401580f842749049d84797eb1b33c3e","datavalue":{"value":"Hennessy-Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225737$FF32B74F-15D9-41B5-A9DE-15BE5473849C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59f914fc7fd292151613655518d5348264cffc9f","datavalue":{"value":"non-deterministic labelled Markov processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225737$E983D755-E849-4BF1-817C-E7F1C131E601","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd1a3dd9b17b8be196d9f3c5587425a76298afc6","datavalue":{"value":{"entity-type":"item","numeric-id":14250,"id":"Q14250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225737$8EAEEDC0-BFC9-4452-8922-D0294C92E203","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":"Q3225737$9B0DF32D-8C25-4A87-818F-9D13202FA218","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225737$F9451E8D-FCE3-493A-BCFB-988DE6714E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d8862b43cfd7dda3400a88a9cff2ab2712adae3","datavalue":{"value":{"entity-type":"item","numeric-id":1400292,"id":"Q1400292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225737$1E049A33-2A78-478E-B813-415CCEA1E409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e93f682784659bfede46b0f93c819bb150dcfd","datavalue":{"value":{"entity-type":"item","numeric-id":2575855,"id":"Q2575855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225737$686F5734-98B4-4AC1-85BD-6163488DF3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aacb971a9ba51fec57dbb3d5aa315d494051ee8","datavalue":{"value":{"entity-type":"item","numeric-id":2495642,"id":"Q2495642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225737$FB02EE15-93C0-4CA6-AA60-89D02F27FCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225737$2DEF39FE-8D5E-498C-BD26-D39D823DCC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa0c98fccdf02731ab8c1cf468a105ce73a57d6","datavalue":{"value":{"entity-type":"item","numeric-id":5758058,"id":"Q5758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225737$00F930E7-A870-4247-A6A9-AF9AB0EF026D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225737$E0A0BE5C-DA44-459E-AC65-3BE730721D53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01f91896932e7721ce4aa55ef3c740bf6d770317","datavalue":{"value":"W2143249843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225737$FF55C0B4-EFB6-440D-80D7-31FD531849A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef81862bca1afbd34a6a39bb10b75740caa503e","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dacc50c124bbf5bd60449660ce77d2ffb266eb54","datavalue":{"value":{"amount":"+0.8671650886535645","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":"Q3225737$28FA9C9C-087D-423C-90DB-D99F51D19C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd56029ff1a956d2d233670412aeff688790877c","datavalue":{"value":{"entity-type":"item","numeric-id":5111437,"id":"Q5111437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"617cbc769e4d5214e51e8823a8301c5716bf0e5c","datavalue":{"value":{"amount":"+0.8313653469085693","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":"Q3225737$1EBAB058-13F9-436F-997F-D92E473E2CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e05c717366aeb6ae7d04dd13214b43db8161e7a","datavalue":{"value":{"entity-type":"item","numeric-id":1683448,"id":"Q1683448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8cab9fdfa33b59e58939fb3517d9acc67d00bae","datavalue":{"value":{"amount":"+0.824387788772583","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":"Q3225737$D2BF9B26-F9F4-4A82-B949-E7354610ADFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27be90a18914037a481652af0d8a4ab64e2f109e","datavalue":{"value":{"entity-type":"item","numeric-id":1941884,"id":"Q1941884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44d46c1b4f1192673928e5619abe32a139002fd9","datavalue":{"value":{"amount":"+0.818794846534729","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":"Q3225737$A968D809-6A09-46D4-B8BC-4C4288D71543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e1b267484066afff79512a6586de0009975d53","datavalue":{"value":{"entity-type":"item","numeric-id":4737187,"id":"Q4737187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f717d4af6728eb561b778b668d04a7b1a1f8d6b","datavalue":{"value":{"amount":"+0.8146504759788513","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":"Q3225737$E44D38AF-8E1E-49BC-966D-DE0E535597BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3225737","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3225737"}}}}}