{"entities":{"Q1941882":{"pageid":1952624,"ns":120,"title":"Item:Q1941882","lastrevid":57604467,"modified":"2026-03-31T14:21:05Z","type":"item","id":"Q1941882","labels":{"en":{"language":"en","value":"Characterisations of testing preorders for a finite probabilistic \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6148347"}},"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":"Q1941882$802ABA66-B29D-4F23-A969-485CA592ECB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfefbf208b1d86d25f17b61122ec504e7518c5b0","datavalue":{"value":{"text":"Characterisations of testing preorders for a finite probabilistic \\(\\pi\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1941882$A4556DC4-91D4-4E90-A0FF-2EED2BCB185E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef41ed2bd123b71187ad7f0ced05c27a159fc3eb","datavalue":{"value":"1259.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941882$2C857D09-7A74-4B49-88AB-F19FF3F4A762","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941882$DB56E283-1989-4110-AE26-AA1D9570B00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f491ad868c4eca61729c7810f9e0350f31b3f06","datavalue":{"value":{"entity-type":"item","numeric-id":407445,"id":"Q407445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941882$7C754B0F-C4A4-44FC-BF33-91CD7AA05C74","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941882$5D3EB741-9F22-4E2F-A3D0-A787A778A60A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e2d14323b1d0cc86219aa2b95091e7f0ab18297","datavalue":{"value":{"time":"+2013-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":"Q1941882$A9FC3969-F920-454C-9E04-9509D7409480","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a702eba321d838c72ddb9ddf36c52dbbe15ee389","datavalue":{"value":"https://arxiv.org/abs/1201.2258","type":"string"},"datatype":"url"},"type":"statement","id":"Q1941882$438A40F4-DB9E-48D1-A617-DDA45FEB3ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"10836cbe28685074d5611b3ecc6bec2a18b3ef76","datavalue":{"value":"http://hdl.handle.net/1885/65851","type":"string"},"datatype":"url"},"type":"statement","id":"Q1941882$374501FC-38EC-49B3-A030-91E2069BA9E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941882$F615B570-4410-4109-BFFF-EBDEAA9A0D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941882$3C22143F-4B5D-472D-A5BB-704E473B9128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941882$74164501-5693-416B-9D5B-8944742845B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941882$48BFD5E0-7F36-4009-93BD-20FA42550198","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3ce081daad28c301dfe83fad23ae55666509e3d","datavalue":{"value":"6148347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941882$0088FA79-228E-4D40-B886-DFFFD30569F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2329fb634e2cd52e435a65bcdb1b99a713f4a395","datavalue":{"value":"probabilistic {\\(\\pi\\)}-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941882$6B6E79F4-B517-4BD0-834E-5D57C8899AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cf365319598a64c9d476ec4c014faad9a472166","datavalue":{"value":"testing semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941882$62F3C48B-468A-460D-8D5F-EA6826940C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941882$1EE74FC4-87F0-44F1-813C-478B2E40A48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941882$B443E50F-3E2A-4EFE-A0D0-D694066605E2","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":"Q1941882$B7CC4BE6-460A-476E-8991-57B4B8DDC514","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f80659a05104e535bdc61a561674e8186ebaee3","datavalue":{"value":"W2122967890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941882$CCB7CE66-A532-481D-AC6B-35F82434AFC7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0daef8d517dc4a268220e86d71133cde1525d9a","datavalue":{"value":{"entity-type":"item","numeric-id":1898467,"id":"Q1898467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941882$3EEC6A4C-FD47-4F57-B851-68638B754BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5fc4c89e8c1030a0238944f6803dcab539f704f","datavalue":{"value":{"entity-type":"item","numeric-id":2463563,"id":"Q2463563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941882$C5DDA57E-ED30-4E43-ACDA-67B7FAFB1215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf02e0e12f9221abdc711425832159142f80fb9f","datavalue":{"value":{"entity-type":"item","numeric-id":3546349,"id":"Q3546349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941882$97E42BA5-3139-4ED2-B3CE-D7AB9079D4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941882$C3B3D7A9-500D-4363-8C93-618FA3DFA67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5366e0a3555e45e70d48ef5996f2d7fb2e79e87","datavalue":{"value":{"entity-type":"item","numeric-id":2864156,"id":"Q2864156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941882$737D7173-C2C3-46B2-A2B8-796121DD8A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f7b52efa5c49f9efc8f854d031b835d61617bf","datavalue":{"value":{"entity-type":"item","numeric-id":3623001,"id":"Q3623001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941882$8E9A37A7-32C2-4770-9801-AA8AD354FBAE","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":"Q1941882$6CF6A632-EAA3-4188-AC0D-DEF4A999AEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06bcb8c676341ece13b429382208fc9272f53898","datavalue":{"value":{"entity-type":"item","numeric-id":5756507,"id":"Q5756507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941882$B61E6744-6C5E-490A-A2C7-894F70A1498E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3826e9ebeca6b4dcff39b9397214360a6dbca1b5","datavalue":{"value":{"entity-type":"item","numeric-id":3947096,"id":"Q3947096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941882$6D7C2495-EFAE-44C6-97CF-0F7CBA613441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941882$4E3F24FD-DF9C-4B5C-86EF-234199CEDDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941882$37F29216-3064-48F2-BA2B-41CBE45F5020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1229ad2aa3510ac5312937653e250f744214a4","datavalue":{"value":{"entity-type":"item","numeric-id":4508299,"id":"Q4508299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941882$E3464383-763B-4835-BAF1-681CA0DD70BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ceeda0c4a298f10e7df5581803ce8e3c6a6b21b","datavalue":{"value":{"entity-type":"item","numeric-id":673146,"id":"Q673146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941882$B227337D-C39B-47DB-9E1E-C611EBA4EF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941882$21ECD9CC-01A1-4B9A-A851-422F14E0F552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941882$F1DE7ECB-2B05-484D-BF64-B2D62042A320","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":"Q1941882$43759817-EEB8-4432-86E8-88D31FFE0D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5382313fb3f5d333e9729621f69130c9633fcb2","datavalue":{"value":{"entity-type":"item","numeric-id":675066,"id":"Q675066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941882$5EC3D637-0E0E-4C88-8CBD-998FAA4BFE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941882$1898A309-1A6C-479E-A708-EB4C9CA467F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941882$157D119C-E0A1-49B2-9EDA-7D5A8A0D8D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941882$0AAA76D5-8D69-437F-B016-0ACB3AF77156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941882$C4E0EF1E-F620-46DA-83CF-7EE210BD7D93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c81dcbb063187f82ccd1dd40fa37f8708b4dd4f","datavalue":{"value":"10.1007/S00165-012-0238-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941882$667ED4A7-8CCE-44A4-A021-14BB9A63147B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5496a42596f29fcc3ee6a47a9edb9fbf7748f91b","datavalue":{"value":{"entity-type":"item","numeric-id":3623001,"id":"Q3623001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1fcb3b1ee642e437894b7833a899401729ecbef","datavalue":{"value":{"amount":"+0.866756796836853","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":"Q1941882$555BF6CB-0AB8-4321-B753-D8FA436BDC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b8f017d68ca4ca8de0b2716f47393cc3b9e180f","datavalue":{"value":{"entity-type":"item","numeric-id":3184679,"id":"Q3184679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c52a3f5c10ff9d5e081be64d5c887073e906742a","datavalue":{"value":{"amount":"+0.828532338142395","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":"Q1941882$64D66EAB-0E8A-4CBF-9917-737B5BE2ED26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d20fc096c3f1dce2cd518e7cd1c4246ea30fcea2","datavalue":{"value":{"entity-type":"item","numeric-id":1854314,"id":"Q1854314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb346808ba96e19439f7116c4548dc046713b96d","datavalue":{"value":{"amount":"+0.8236201405525208","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":"Q1941882$C66436BF-2CD5-49B9-AD27-97DD8C3E3311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71ca77354e1e9c9b2d6a8709ba79b470c3e6ede0","datavalue":{"value":{"entity-type":"item","numeric-id":1603706,"id":"Q1603706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd8e43616713d366333b736c255748c1ce139be0","datavalue":{"value":{"amount":"+0.8132274150848389","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":"Q1941882$FBE93478-F69D-4EC6-BCD3-BC4A2ADC9CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd1501f28cbdba875f92588e963500b61a515b55","datavalue":{"value":{"entity-type":"item","numeric-id":4933311,"id":"Q4933311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1369495dd972052d40b15caff17c7c1cf62f5908","datavalue":{"value":{"amount":"+0.7962528467178345","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":"Q1941882$E6F509F5-9BD7-4312-8C5A-8A1AF4E03FB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1941882","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1941882"}}}}}