{"entities":{"Q5886123":{"pageid":7915675,"ns":120,"title":"Item:Q5886123","lastrevid":47834044,"modified":"2026-01-02T20:06:36Z","type":"item","id":"Q5886123","labels":{"en":{"language":"en","value":"Equivalence Checking of Non-deterministic Operations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7670445"}},"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":"Q5886123$F5BB86A1-0365-487D-B3A6-64334A17B71F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd0fc7cd89c1ad34bef106d27978cdc590363c7a","datavalue":{"value":{"text":"Equivalence Checking of Non-deterministic Operations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5886123$D17FCF8D-87FC-477B-803D-B4A9375B7A96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09dd5eb0c7c64d08a644a6d89200449f29a87c80","datavalue":{"value":"10.1007/978-3-319-90686-7_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886123$C93D6260-E7D2-417D-8585-70268A5E867A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9274b73dd573fee279270fe8e767a4ba074becc","datavalue":{"value":{"entity-type":"item","numeric-id":671503,"id":"Q671503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886123$06265CD0-5B12-477D-AAB5-1208551493D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"284a0a3d9b0aa1479b8d064647908d17d9971b50","datavalue":{"value":{"entity-type":"item","numeric-id":293291,"id":"Q293291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886123$88D16D17-15E6-4E53-9FF6-E46499BF0FCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886123$059603CB-07F0-4BA3-B74D-FE982201DB1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"55ec59bb5a9318d90bccd7149395feea6793e4e5","datavalue":{"value":{"time":"+2023-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5886123$3111E558-4DDE-456E-9E49-7CE9F8135B19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df784e9ee08fd153d669cc52ba051fe684549247","datavalue":{"value":"https://arxiv.org/abs/1909.09562","type":"string"},"datatype":"url"},"type":"statement","id":"Q5886123$BAD0FFE5-E1A2-407F-8579-A1DA1839621C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886123$B6A76673-1B95-402E-8538-126E00018DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886123$1850F3C0-78B2-42F7-948D-C1AADFA95FCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c3b70672d4e4e48b1b19287451af2f7ad98df27","datavalue":{"value":"7670445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886123$E7E07EF9-2C4E-42B7-AD38-FDB4FD354959","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":"Q5886123$51761B91-3FD2-48D1-9692-E8BA5A323657","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78eb8421980eaaf2d40adfe27d85ac8d40a04d61","datavalue":{"value":"W2802988447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886123$3380FC5D-7E9A-43F1-8ADC-2075A65FB0D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22f3c9f3fac89fb55c80011189af80e4326cecaa","datavalue":{"value":{"entity-type":"item","numeric-id":3081632,"id":"Q3081632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9a97948e77b9e9956b3854fa2cdf24b920d9030","datavalue":{"value":{"amount":"+0.6479573249816895","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":"Q5886123$226BF3EF-1AAF-43BC-AA4D-10E7FBD37B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee4e493219cc37897fafa3a59caae91d217d725","datavalue":{"value":{"entity-type":"item","numeric-id":2346993,"id":"Q2346993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"651b77022b0ef70799d60081714a4cfe9f436f44","datavalue":{"value":{"amount":"+0.635633647441864","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":"Q5886123$C2407263-ACCC-461B-86AD-874F3F5D0BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db0e5139738c4116ab3492301362d6083cf1911","datavalue":{"value":{"entity-type":"item","numeric-id":1355752,"id":"Q1355752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6775ad8e6bc8dfb68ef441efef027478cf6a7218","datavalue":{"value":{"amount":"+0.6331409215927124","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":"Q5886123$4909D10C-787E-47AD-9B8F-33E195205F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"792c0ae4f0f9f08dfa7e1830872f85395afd8e03","datavalue":{"value":{"entity-type":"item","numeric-id":2410575,"id":"Q2410575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f59a039dd643fa9e1808c18e91bea2a97cf956a7","datavalue":{"value":{"amount":"+0.6283939480781555","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":"Q5886123$6700AA31-388B-48B2-B07C-7F84D3E3C1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40fcb6040a6f115e21305ffd9c41b68ce0f4b043","datavalue":{"value":{"entity-type":"item","numeric-id":4225152,"id":"Q4225152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42b8127ce86c00f5826fc6003e71adc9db7a60fb","datavalue":{"value":{"amount":"+0.6268370747566223","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":"Q5886123$590C55E7-ACCF-440E-B3B4-05E54F3E20AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5886123","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5886123"}}}}}