{"entities":{"Q2671816":{"pageid":2682559,"ns":120,"title":"Item:Q2671816","lastrevid":55412590,"modified":"2026-02-17T15:50:12Z","type":"item","id":"Q2671816","labels":{"en":{"language":"en","value":"Determining asynchronous test equivalence for probabilistic processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7537428"}},"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":"Q2671816$0E98FDFE-C3A2-40E0-8981-8EE67DF778E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32203fd6bb1d5d7befcfaafaa9eb4b12428e4732","datavalue":{"value":{"text":"Determining asynchronous test equivalence for probabilistic processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2671816$C136AE93-4CD5-49BD-A350-D878F180624C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f19803af79825c8b89e8dbc2039c93c6f1d66fd1","datavalue":{"value":{"entity-type":"item","numeric-id":2671815,"id":"Q2671815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671816$BD1F9FF9-E7FE-4F6B-AFA8-580D7DA388A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671816$0512887F-4F09-4725-AA03-20D5CE8DBED0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c986118960ce8e3a4ca9bfd9a9b0e8a4e9089d9","datavalue":{"value":{"time":"+2022-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2671816$67E6F3E8-DA77-43CB-92EB-57C8EC4253F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2671816$F392E42E-AA16-44D2-9895-B909C49D119F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f8d3bfe66312703908a78fb5ce49023e0a0e935","datavalue":{"value":"7537428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2671816$6D740D13-DA53-4B6C-BE3A-FE748AEB157E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"979f21beeb59a429f7ff8f6fa2d05bd91bf8bc93","datavalue":{"value":"probabilistic process","type":"string"},"datatype":"string"},"type":"statement","id":"Q2671816$149E41ED-572F-41D7-A4AB-53B6765435FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95433f47d0d2c4b4adb355c14ec793325dbf641f","datavalue":{"value":"asynchronous test behaviour","type":"string"},"datatype":"string"},"type":"statement","id":"Q2671816$56F9DF67-B174-49E4-812F-9615B9C31F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2671816$D5C0F081-881F-4A0E-9747-124C8A797867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2671816$CE8154F3-B447-445C-A4D3-392789010C5E","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":"Q2671816$1087477E-4632-4695-9F86-96A54783F9BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d439fc72cecce51f9ca0c490f96157ddb668f3e","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2022.106269","type":"string"},"datatype":"url"},"type":"statement","id":"Q2671816$4BBA25B8-1758-47FC-B05C-0502239BA6F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa9ab43a01315bc32a388b3b17672b65f6f27c9a","datavalue":{"value":"W4220714506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2671816$0CFAA4DE-C5B4-4B1B-A342-E9E541183F03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8677f83a5bf8cd2c98cefeb4d92b4a1f909a5cc0","datavalue":{"value":{"entity-type":"item","numeric-id":2056980,"id":"Q2056980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671816$CA58A8B3-3499-4095-94FD-DC8A16689489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6272202f7180f80c8ff70a3e5f46c3d6fcbeb16f","datavalue":{"value":{"entity-type":"item","numeric-id":4536610,"id":"Q4536610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671816$EEA754B4-194A-48BB-9CDC-DA29EAEA1EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25094daad4eba5d5918f009e1854efead1c55900","datavalue":{"value":{"entity-type":"item","numeric-id":5404482,"id":"Q5404482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671816$E67A24B5-F669-4372-BE67-4E2173EBF21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4457f98838df349f45032af4cc536ac2c736856","datavalue":{"value":{"entity-type":"item","numeric-id":3522921,"id":"Q3522921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671816$DB9D3CAF-94FA-46F1-BC44-24CA9EDEB602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ae33dd596208f5c3943515a7436de5ae9f7fb18","datavalue":{"value":{"entity-type":"item","numeric-id":1854499,"id":"Q1854499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671816$CA43B357-1B28-4DD6-B24D-0AD600C9E466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfe406d5b965e94019f3191441f87a42fc08a711","datavalue":{"value":{"entity-type":"item","numeric-id":1989321,"id":"Q1989321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671816$F6804FA2-47DA-4E9B-B205-3A23D871BADE","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":"Q2671816$7F8C4FD4-0EA4-4CE0-B7ED-49F97B756FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4671ba8a140affae8061cb60ef71467705a88ee7","datavalue":{"value":{"entity-type":"item","numeric-id":4256644,"id":"Q4256644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671816$6252DF5F-F746-4AA0-8117-23C198016049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8abc2120959d494e9ab3121d3b96b6cd93de7992","datavalue":{"value":{"entity-type":"item","numeric-id":1854314,"id":"Q1854314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671816$ECE0540A-9A0E-430B-BA71-B9A98B240C51","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":"Q2671816$A1D5F705-65C3-4AFF-AAB3-21508263D6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671816$5BCA76A5-62E5-4676-8820-F9F4A3EA83CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671816$86723488-D8E5-4907-9BB0-5EC7CCDF05AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671816$FA46127D-02FC-4A3F-8767-66556E667625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e90df9c1808bbdbed1a180785eb0aaff379ccf8","datavalue":{"value":{"entity-type":"item","numeric-id":4094202,"id":"Q4094202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671816$947E0C21-EE60-48D1-BFC1-141A67CB5C1B","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":"Q2671816$0F0337D8-DC8D-46A1-BD5A-363BCA483C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671816$F31F133F-3E5D-4C55-AE62-27DDA1B4EC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90b06dc09635ec46f478c48bbbb678633ef1dbc","datavalue":{"value":{"entity-type":"item","numeric-id":6104379,"id":"Q6104379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671816$114AAE18-0AC2-4E5E-A7FD-AE04FAB94AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74fdff17abcad57b939a9c8288c5a756afbaddcf","datavalue":{"value":{"entity-type":"item","numeric-id":5325833,"id":"Q5325833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671816$67C7922D-F5C6-45B5-8491-7E66B9F36A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671816$60DCB7D7-4D96-4757-90EA-70097319BCFE","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":"Q2671816$B745CF2F-EBC2-48B6-8609-E597CD998C13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25ba432595d7e042a65ecc6bd3120b4ba66d08f2","datavalue":{"value":"10.1016/J.IPL.2022.106269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2671816$31E49B4F-A1BB-4DB2-8F27-6DCC74A69169","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63b48ca97b2111859d731c94ba112c6af16ccf2a","datavalue":{"value":{"entity-type":"item","numeric-id":5151036,"id":"Q5151036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"972d665cf3bd7ce7041692b38ec42e695db97e8b","datavalue":{"value":{"amount":"+0.7749328017234802","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":"Q2671816$8AF7B8DF-C12D-4523-8DCA-692903458302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"963261767f202c002ef935e963ac9cd120843459","datavalue":{"value":{"entity-type":"item","numeric-id":3546349,"id":"Q3546349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bdd0d7df601f541391aa68cce7fb4283072a78b","datavalue":{"value":{"amount":"+0.7361116409301758","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":"Q2671816$4A7AF29B-711E-420C-AABB-C8CD46435B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef4dd5ecb9d6073e50d69f13d2743b024baa99d","datavalue":{"value":{"entity-type":"item","numeric-id":2864156,"id":"Q2864156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25642b15e8605a21d12146cec8dfad0420ab98f3","datavalue":{"value":{"amount":"+0.7340344786643982","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":"Q2671816$630C70B6-6175-4CA5-9AE3-361BE2016907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aa7542d95cbf7f3541b14bf350209be82290db2","datavalue":{"value":{"entity-type":"item","numeric-id":3522921,"id":"Q3522921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc68fecf97c67686727acc798814e9dde9ecdd79","datavalue":{"value":{"amount":"+0.7308983206748962","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":"Q2671816$4BF64472-96F7-49ED-8AE3-33308A341D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e56b556041dec1f693751c690355843254e41a0","datavalue":{"value":{"entity-type":"item","numeric-id":1854499,"id":"Q1854499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa4950999f37531f38409d632d9078aba882712a","datavalue":{"value":{"amount":"+0.7190297842025757","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":"Q2671816$223617F1-B561-4B91-9088-F9AFF42FA594","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2671816","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2671816"}}}}}