{"entities":{"Q1351804":{"pageid":1362543,"ns":120,"title":"Item:Q1351804","lastrevid":67208232,"modified":"2026-04-12T16:03:15Z","type":"item","id":"Q1351804","labels":{"en":{"language":"en","value":"An algebraic characterization of observational equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984527"}},"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":"Q1351804$25BFDEF5-424A-4C3B-8190-5DF62F3A3DA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2cfe8efda86e95d41cb9645ecde603b5c6088659","datavalue":{"value":{"text":"An algebraic characterization of observational equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1351804$22D8B057-3F44-45D2-92BE-06097A73696E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"349febed7fdd98e9b55bf1aba71f1db0e7ee1d32","datavalue":{"value":"0871.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351804$58202308-89BE-494F-8456-56BE022A62C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1e3144e1e522d7c2a4c88927fc833ee972b0170","datavalue":{"value":"10.1016/0304-3975(95)00141-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351804$1B5751A6-A5BA-40DC-89A9-6CD45BEE2DD3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f07bf463f7dd0ae34a6ca7eac63af8055d6cf8ac","datavalue":{"value":{"entity-type":"item","numeric-id":671987,"id":"Q671987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351804$913F0ADD-E7F8-4792-BC5D-5F26786941EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95f1f23f51d4a1ac9b264ee3b0678f8bce0c8fd1","datavalue":{"value":{"entity-type":"item","numeric-id":315295,"id":"Q315295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351804$C344E703-C33B-4C5D-B947-97D4EFEE0809","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351804$9373F088-C226-4FD9-AB62-DEEF24E8AED5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1351804$DDB70869-E336-404D-8D09-0927E20E6CC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351804$DAF2DA6D-56F7-4302-ADB1-A7A60C3CD11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351804$4A2071B6-2307-4DD3-AD94-C743C49D3975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351804$20F9D6F2-3867-4033-9F68-02A4A14A0DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa31302a6315eb00d745d9c7dacf89c33763ee49","datavalue":{"value":"93B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351804$5AB5E1C3-16A6-44D1-BCE3-DCB9FB407AD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c20ab6082f9bbe537e7261052bac3585faca7ba4","datavalue":{"value":"984527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351804$75F3C64C-861D-4B02-A3E9-2B93F215FCD3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2dd3a332401580f842749049d84797eb1b33c3e","datavalue":{"value":"Hennessy-Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1351804$93BA0B33-E092-4B75-A26A-CE1C8FBA45CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7b95c80ae6263070bcc4f9c6ef74d56ea2c8817","datavalue":{"value":"transition system equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1351804$62230688-4977-4FF7-A161-EB229D0BCC85","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":"Q1351804$1D03E4A7-7AE0-4935-85AA-20CA84612CBE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4571446e302483c5dfb6fd50d5d7077c20b25e2","datavalue":{"value":"https://doi.org/10.1016/0304-3975(95)00141-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1351804$F37AC83D-9AA5-49F7-9BC6-FBC80B920A98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1c1b89bccfd34250508a5c030ff862c7ea41bfe","datavalue":{"value":"W2070847316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351804$8C7AB134-02F3-4EDB-AFCA-33F9872F2C40","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4861ad6b832bac12a95a11f6298cd74a8cad1bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4289659,"id":"Q4289659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351804$F69BD7AA-D2AD-47D7-A760-425F3C4317B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03db63d2c3a06d64b67c9127f5d7543fde09947","datavalue":{"value":{"entity-type":"item","numeric-id":1822989,"id":"Q1822989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351804$13729029-0389-453E-98CF-0E7EA808F800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92e83e224cd8b7e993539eee81422d5093d9566b","datavalue":{"value":{"entity-type":"item","numeric-id":4260382,"id":"Q4260382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351804$4C270DEE-36F6-43CE-A6C1-428A7597FFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2beb8168ca6a29281ccb972aeeb93082e0c97730","datavalue":{"value":{"entity-type":"item","numeric-id":3700824,"id":"Q3700824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351804$6F3E6404-F78D-4304-8896-2A6699FEA794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ceae87c9949031701fd6e8a998c407d594f1a0e","datavalue":{"value":{"entity-type":"item","numeric-id":1822987,"id":"Q1822987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351804$C665021F-23F8-4A61-BD3B-845205F87DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48800510e1d01c5d6d2cf0f9058fb736fa1a03a","datavalue":{"value":{"entity-type":"item","numeric-id":1342255,"id":"Q1342255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351804$693506CE-C375-4F76-8767-1E4F1E95B04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35fde0a84a4f25daa3e642664f36f975a49d3484","datavalue":{"value":{"entity-type":"item","numeric-id":1089791,"id":"Q1089791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351804$AFAFBBB0-3D66-49C6-A1A6-6F77B780FFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d33f258e45d3be8f88444553b07200742546804","datavalue":{"value":{"entity-type":"item","numeric-id":3657423,"id":"Q3657423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351804$8C68631D-ABA4-4BD1-9380-FF85C1CB88CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309cd5277e5cb8338dac79fd8b3c7be52bb6ab94","datavalue":{"value":{"entity-type":"item","numeric-id":1110338,"id":"Q1110338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351804$EDF38E45-269F-49B1-89FD-DDE698655EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53aea677de32f89cb06963e014cb84e136e8f080","datavalue":{"value":{"entity-type":"item","numeric-id":4187298,"id":"Q4187298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351804$2B2324C2-50F6-4A40-BCF0-47731F7C835E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351804$0C118262-0FAA-4C28-86E3-55B022E945CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4492fc9d681b8fd74609e5ac1ed3ead3d0aab736","datavalue":{"value":{"entity-type":"item","numeric-id":3704887,"id":"Q3704887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351804$936008F1-9EB4-4337-9B6B-E04E3930B83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351804$B5DFB070-E27F-41CA-91F0-6D2AC8D9544B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8d04412ed2f19368989d7dcf5461a47681b12a","datavalue":{"value":{"entity-type":"item","numeric-id":3336680,"id":"Q3336680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351804$F2D8E7FC-D5C2-4DBE-923E-DB2E5E51FE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8510bf8d385867652fe1ff910f60e49509ddb12","datavalue":{"value":{"entity-type":"item","numeric-id":4342096,"id":"Q4342096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351804$A258FF0C-0AA1-46AC-B729-77CEE6636FB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecff6854ef694159dfa3b0217621d22249c74863","datavalue":{"value":{"entity-type":"item","numeric-id":1822989,"id":"Q1822989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42c41ce22e32309e2e68921456391f3d7548c958","datavalue":{"value":{"amount":"+0.8356384634971619","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":"Q1351804$C9D48ECB-D471-4291-B812-E5EF09804BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eccb792ebeb18bc43a48bf5e11bdcf474cd3b65","datavalue":{"value":{"entity-type":"item","numeric-id":3677153,"id":"Q3677153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0374202a200cbd3533f982e44306a21dfc669996","datavalue":{"value":{"amount":"+0.8030217289924622","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":"Q1351804$E0DDD708-2661-47EE-8EC8-870DEB5B4D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"338b9acf2a0cf968d42afe574569220c098a6508","datavalue":{"value":{"entity-type":"item","numeric-id":1060006,"id":"Q1060006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e470712a7c9d34a936d4108f09fba3b186f3c39","datavalue":{"value":{"amount":"+0.7836716175079346","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":"Q1351804$516313D3-A266-4184-94E3-1C3E44717E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3e93f319fa8cab0e419f82641884932132be034","datavalue":{"value":{"entity-type":"item","numeric-id":673968,"id":"Q673968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"349691429ab3812759da4565f7d6c5ee000c04d1","datavalue":{"value":{"amount":"+0.7819271683692932","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":"Q1351804$C5864746-FE16-4268-9695-7B04982377D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbd6659cc29953711d81fb5333b8a1d428568eb5","datavalue":{"value":{"entity-type":"item","numeric-id":3326820,"id":"Q3326820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09376b9a1f00368cb059847d6b60683330cf97c","datavalue":{"value":{"amount":"+0.7801705002784729","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":"Q1351804$3B14F5C9-5E22-42A4-A2F4-52D1E03117F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algebraic characterization of observational equivalence","badges":[]}}}}}