{"entities":{"Q1854499":{"pageid":1865241,"ns":120,"title":"Item:Q1854499","lastrevid":73666686,"modified":"2026-04-14T16:50:46Z","type":"item","id":"Q1854499","labels":{"en":{"language":"en","value":"Trace and testing equivalence on asynchronous processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853234"}},"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":"Q1854499$6B45C8DE-E5C3-435C-8341-1DAB7A6803BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"427ea006fb433e71054c45cfcb1147ca1a4057d1","datavalue":{"value":{"text":"Trace and testing equivalence on asynchronous processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854499$1DCBD5E8-CD3D-4C74-AC3E-5D68E6D2D687","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1022e96275673950cc5885b5203e3a457c62a250","datavalue":{"value":"1009.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854499$C74C5DE5-C140-4C51-A338-1D2FD13D5DE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e18224bff5766368d67ddcb517cf22b6a4ff445","datavalue":{"value":{"entity-type":"item","numeric-id":418132,"id":"Q418132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854499$77FB5B1F-BA12-46EF-9537-8EDEC7337078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"467355300579464725662c12a473c283bc71860e","datavalue":{"value":{"entity-type":"item","numeric-id":384931,"id":"Q384931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854499$05E20852-DF79-40EF-8262-AE89826A8D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c091a2e6ab80fe580104939a47a45052e3841b4","datavalue":{"value":{"entity-type":"item","numeric-id":859967,"id":"Q859967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854499$AB58D76C-4E1A-4DA9-9378-8E50AAD83497","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854499$A5CC2D18-03EA-4368-A974-502A7519140E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854499$2A4A21D2-E8DC-4CFB-BBF9-62B26D6CCE6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33b926da60932e8d092607617b8184639cc797da","datavalue":{"value":"https://semanticscholar.org/paper/d350a6c44bbfb6614a8aafb0ae9e35a1a5e38d21","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854499$AC45D7AA-39B1-421A-B885-BFFF704C0EE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854499$C339F7BA-F89C-4316-84EA-15CC26B3331B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854499$7B652CA5-B481-41F4-960A-A8EEFB5373F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854499$1B3058A7-5AD3-4964-B9D3-D654F21345DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bc47643d88284ffc642a4b470bea73469540c2e","datavalue":{"value":"1853234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854499$9E000678-F923-490C-A1C7-161C4B2CCE6A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aece4cc3af1aae8d3bcead98dee902db21b4cfeb","datavalue":{"value":{"entity-type":"item","numeric-id":21410,"id":"Q21410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854499$5A1DBE2E-B3EB-445E-9E37-1D2618B9EDCD","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":"Q1854499$28FE0731-3D6F-4392-A208-4FD3464DBBAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f12b74ff6f7a0cb9db6307af3dff2c87ccdc754","datavalue":{"value":"W1969418483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854499$D9866650-5CC0-4ED4-A936-0C42155C2D67","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5102630a1d1d367a621d80ac7e40a1f18378f45e","datavalue":{"value":"Q57650904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854499$D3A06DD7-DB6D-463E-8EBB-60861331E76C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0455f90731478c0b547c3bd58e6fe351829876","datavalue":{"value":{"entity-type":"item","numeric-id":1276246,"id":"Q1276246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854499$E3B599EF-0A7F-4918-B186-583784A1CAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854499$FD833975-BEB0-4745-93A0-B9913B0A945D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"549d0031328335eeadb553d8d00ea4f734879007","datavalue":{"value":{"entity-type":"item","numeric-id":4339018,"id":"Q4339018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854499$74311F96-A477-43A9-8513-E4F16EFDDF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854499$A2EB4BC8-3545-486D-A121-A3BEBC8AB443","rank":"normal"},{"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":"Q1854499$BBCC9DEB-5816-4D08-943C-4F35E0F1892F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"326512adb0d970a5585a0043d08b17c70257b387","datavalue":{"value":{"entity-type":"item","numeric-id":5958770,"id":"Q5958770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854499$BBB35AB6-076D-4B98-AB77-207D3EC9894D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5c0c644d25cf9d11647372e6712334a2df001fd","datavalue":{"value":{"entity-type":"item","numeric-id":1127512,"id":"Q1127512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854499$369D0DC5-2D8D-4951-A406-593F3F9D9AAF","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":"Q1854499$B727F65B-4892-4BA8-AAFE-29F9D81B135B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6926d18eb6c5e37a47d3ba00bbb5a588d8502c6","datavalue":{"value":{"entity-type":"item","numeric-id":1575260,"id":"Q1575260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854499$717574D0-BE4B-4C5A-B77F-27A0B138AB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a9b9c38c4de3e79a7eb89f1e9152294e70b8c7","datavalue":{"value":{"entity-type":"item","numeric-id":674195,"id":"Q674195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854499$A6731629-D835-40CA-B4F7-7869D0A52E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf44dcbfda43323b28e8eb54abb86c90b4ecce8","datavalue":{"value":{"entity-type":"item","numeric-id":4219054,"id":"Q4219054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854499$B55E78DF-C0CF-481D-8A24-82CD25951FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f6ae7bbae9e11da2fc06fb3e8d55d1cc5c84043","datavalue":{"value":{"entity-type":"item","numeric-id":5184391,"id":"Q5184391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854499$FD68CC55-BF69-4799-9A2B-9692334BCA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b7535936022f5c60af89f9e74af92a70ed79f3","datavalue":{"value":{"entity-type":"item","numeric-id":3878733,"id":"Q3878733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854499$2649E6C2-E79C-49D1-B871-EA8C9C76E47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3099aa2e78f841e4ee74375c05b58739a420835","datavalue":{"value":{"entity-type":"item","numeric-id":1822994,"id":"Q1822994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854499$13ED5630-1C62-41F7-85E6-F4E3F8C5ED94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854499$7BE72470-A496-4A79-9D90-4AF62E08ABB2","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":"Q1854499$236B0E2A-3EBE-4535-A68C-F0875A806795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaca00716c08bce2bd6f8e3adcdc7c049fd2d598","datavalue":{"value":{"entity-type":"item","numeric-id":6044130,"id":"Q6044130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854499$F60C0F15-556A-43EA-AF5A-4E42A809FAC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"387ac059bd8c4f35f495040f6ab847077bbe4dd4","datavalue":{"value":"10.1006/INCO.2001.3080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854499$7BE4E5C7-89DA-4077-9B96-94E9F9465C45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcfef2ded8ac6e77d73b407144d18f8908ad0a83","datavalue":{"value":{"entity-type":"item","numeric-id":1104076,"id":"Q1104076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0b1f51c27a2eda17ca626ea70b911acf42dbdab","datavalue":{"value":{"amount":"+0.7967509031295776","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":"Q1854499$8196A88D-B49B-48EA-B66B-9955129CD0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5299a4d7da386b6e2b91b46875dae136c1ef292","datavalue":{"value":{"entity-type":"item","numeric-id":2996132,"id":"Q2996132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"168613994e15f5f62b3ca66ee43d3e2f9f0d4115","datavalue":{"value":{"amount":"+0.7879416346549988","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":"Q1854499$3C8E6151-19D8-459F-B0A2-FBF575515BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc3c0c094f01bf267d6a1a60891052b84656e21e","datavalue":{"value":{"entity-type":"item","numeric-id":3460864,"id":"Q3460864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bca656a1f4095b896af5f5a254ba2e9b851e0498","datavalue":{"value":{"amount":"+0.7785561680793762","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":"Q1854499$7B78CAE1-6A2E-44C3-BED9-99591CE914C2","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":"74a33833d9ac5676c16f4e36c8a211904f2f8367","datavalue":{"value":{"amount":"+0.7721370458602905","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":"Q1854499$EF265A6C-A555-44A6-BF79-AF0A8F5979B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1203f861f4161e681c2d53a2cdb293114290919","datavalue":{"value":{"entity-type":"item","numeric-id":2851059,"id":"Q2851059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65f531bdd11c43dceccf37cc706ca7acaa2bd7aa","datavalue":{"value":{"amount":"+0.7637513279914856","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":"Q1854499$796F946C-4EF7-4B73-B3DC-CAEFD022651B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Trace and testing equivalence on asynchronous processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Trace_and_testing_equivalence_on_asynchronous_processes"}}}}}