{"entities":{"Q673968":{"pageid":675817,"ns":120,"title":"Item:Q673968","lastrevid":63721593,"modified":"2026-04-11T15:06:16Z","type":"item","id":"Q673968","labels":{"en":{"language":"en","value":"Studying equivalences of transition systems with algebraic tools"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985862"}},"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":"Q673968$98016D92-FBA4-4922-9637-063625CFE19C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02bc1ce8da177cd8dfad624601b9e9a14f4d83ce","datavalue":{"value":{"text":"Studying equivalences of transition systems with algebraic tools","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673968$65E43F4E-4257-44DA-8EED-14C9DAF4F461","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e1790342bfb7a1cef806b06a6f16dadc5693a94","datavalue":{"value":"0874.68302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673968$6021A596-5FF6-4492-9BD1-F086C60DD1E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fe83c5c479de06f2926ffa54e69d69638eb5540","datavalue":{"value":"10.1016/0304-3975(94)00047-M","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673968$DEA9615F-DAE8-40C9-B75B-3ACB4FD12F7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23344bb762e00fb740c17285a50cad932a43fea7","datavalue":{"value":{"entity-type":"item","numeric-id":385718,"id":"Q385718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673968$D6006E38-DD60-4050-861D-33BFB97F7D83","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":"Q673968$3DD59A84-56C3-46CA-B488-3E1F9173020D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673968$98CF98C5-67B3-4F93-9748-522DDB0B6E6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e40b847cfa456e95c1c964a8cd9df72656b7c29","datavalue":{"value":"68U20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673968$C552E924-49C4-4EA3-B1C7-70C037B89A7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3bf2f67c4204681f5b4c846da1a5c5814b7a09d","datavalue":{"value":"985862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673968$1E977FD9-6941-4EE7-BCE3-0AE838E05969","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q673968$C5DE6374-C7FC-435E-8EF5-4D1247B051A1","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":"Q673968$0915DACD-A805-4F31-A548-A6383B4F60D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673968$59C0FB4D-F659-4676-9472-2F6498B7E1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae92a3a6c1f940befb2957ac6445255ea505a797","datavalue":{"value":{"entity-type":"item","numeric-id":5044730,"id":"Q5044730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673968$DCF812C8-8F5D-486C-9869-7DBC6BDD1365","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":"Q673968$CE688C7A-E988-42E8-9399-3D736B4F559C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60e1884337278eccd52a9a937b093175afae50cc","datavalue":{"value":{"entity-type":"item","numeric-id":4005202,"id":"Q4005202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673968$A4F1BB91-E134-4EF2-A540-BAB6CD95F38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ca1730025ce44688730b055138c3986f4a8581","datavalue":{"value":{"entity-type":"item","numeric-id":4063607,"id":"Q4063607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673968$FFAE1666-7A02-4706-96FC-D6D93CA2CEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673968$CE0FBAA0-24ED-4791-A43D-70C5ED0B1805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70e350d60c891131cdbb8841f1cc1be7d8e7ffc3","datavalue":{"value":{"entity-type":"item","numeric-id":4282565,"id":"Q4282565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673968$1CFE987B-8254-463B-AEFB-E5632A2814F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76477425fa779ef9d92f72720735da571551d798","datavalue":{"value":{"entity-type":"item","numeric-id":3328538,"id":"Q3328538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673968$F469C691-2127-403A-8863-5BB165CC37F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f44b2f48c7558bc7f3a85caf4b8ce4d20efa5a","datavalue":{"value":{"entity-type":"item","numeric-id":5721231,"id":"Q5721231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673968$776DE7DA-D77E-4378-9003-CF1C409DA5FE","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":"Q673968$2BE828BD-F35C-4876-BE6A-76D430E784A5","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":"Q673968$5F6C5577-DFD2-4B0C-88A3-6E5B17B88EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673968$BD75B12A-BE39-407D-B84D-925072186810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673968$E3BA9227-190B-46FB-B52B-1345E16FD0C6","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":"40963557b5a50c78444129f837270a122d688ec7","datavalue":{"value":{"amount":"+0.8213090300559998","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":"Q673968$28E85057-ACA4-4DAA-A36C-BF53D7A15784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6cf8c424faf53c3ca3f34e19b8cedfcca21a70d","datavalue":{"value":{"entity-type":"item","numeric-id":1351804,"id":"Q1351804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85a911445b04b8de4bc1c684da4686f0f48e077d","datavalue":{"value":{"amount":"+0.7825193405151367","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":"Q673968$EE338707-B344-4F60-90C3-741DEF3D4A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89df91c32307c8084e9fc23eaef15f68241ee72c","datavalue":{"value":{"entity-type":"item","numeric-id":5940926,"id":"Q5940926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"782a4ecb9bbea7734cd974b34b8cc162201e3d02","datavalue":{"value":{"amount":"+0.7764448523521423","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":"Q673968$80217A94-B27B-4CB2-B343-7EDF94098F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd86b8984ddcfaab8f583b5118c37df604332ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5361143,"id":"Q5361143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1c3326c855803ac5fe12cd8f2a9a6d16824479a","datavalue":{"value":{"amount":"+0.770622193813324","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":"Q673968$EB9A74CB-BE3B-4520-B883-EA9E04CB4D1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Studying equivalences of transition systems with algebraic tools","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Studying_equivalences_of_transition_systems_with_algebraic_tools"}}}}}