{"entities":{"Q5277714":{"pageid":7307289,"ns":120,"title":"Item:Q5277714","lastrevid":52850369,"modified":"2026-01-23T15:42:24Z","type":"item","id":"Q5277714","labels":{"en":{"language":"en","value":"A classification of symbolic transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6743957"}},"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":"Q5277714$D29EC3DE-DE8B-4340-B778-01458396F6D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab020d4ba4f76992bfeecda968cf89a658e40184","datavalue":{"value":{"text":"A classification of symbolic transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277714$86D3A9E5-4A7E-45FF-8FBC-2CBF19955024","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1198440952431a89687f46e8f6724782c6678c9","datavalue":{"value":"1367.68193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277714$BD078C00-17C2-4484-AD83-2BC314B6F4E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1bf07b67a1ba4a6069b7b58b465b4a88c9fd22f","datavalue":{"value":"10.1145/1042038.1042039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277714$DC4A9B39-2261-410D-8297-7487DCB8FFEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277714$6F5AA2C5-12A5-4292-B4AF-19FA06512C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277714$553C2DD5-45EA-470A-B998-C4E40C47B055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277714$23562DCD-3B51-452F-A662-2539104780EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277714$A8257D4B-67EB-4D6B-B2CB-8ED5ECEF748F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277714$853983CB-ABE6-4EA2-AB68-ED80C01875F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277714$A5D46059-A109-4322-9294-07FA6975B5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277714$CB8110FA-2207-4385-9806-63306732EF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277714$7556F14E-F36F-4AA2-B5F7-FB6FBD5166C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c615a34b5eeba9855e1d0d13a172dee3b927b156","datavalue":{"value":"6743957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277714$DAB1AE8E-9827-48AF-AC9B-24C47E05BA09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277714$11D46761-D950-43C2-99AD-CEB304A975E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0b00a9961434d0b0a06c75d9321cb01f9b2c6a","datavalue":{"value":"hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277714$1A101DAF-990B-4FAD-81AB-7F8FC5755E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"585dc6257f5929a99f6f429d150f2cb62788f36a","datavalue":{"value":"infinite-state model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277714$5F00346C-3249-4549-A25D-529254F1EF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e24aed2c22778d3e5d5426f867f68f97795ce7d0","datavalue":{"value":"state equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277714$EB75C5CD-E437-4390-BAC1-16AC13701905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1e9eee33ad345007dbeb47867a2ecf099f6e092","datavalue":{"value":"symbolic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277714$E9960AE5-3D51-4787-8500-B7748FBD56D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277714$1F5BA02C-6BFB-4FB3-8A28-9E71E2642CC5","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":"Q5277714$BFEF3F44-D3A7-4E64-AA07-DB92F8866B08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be3960e4207765f0bfdefd9bac28b99406464cfd","datavalue":{"value":"https://doi.org/10.1145/1042038.1042039","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277714$69E215C6-DBC5-49EA-B906-E3A1FA358DE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f68dfdbac906acd66088b975283aefd6745234f","datavalue":{"value":"W1977116278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277714$1648237F-A804-4401-80E8-B6E85B94ACF7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3de0d2fd76c0e28920a09d4e556d502b6a70f92b","datavalue":{"value":"Q131124313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277714$370AB9C6-B3B0-4888-AD51-044B21DE3AE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7740d6c9e95213b29b1b9b1529bc9a7c74acf19","datavalue":{"value":{"entity-type":"item","numeric-id":4501519,"id":"Q4501519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce774877cc9782aeab3ed5191fb4e703bc3faf7f","datavalue":{"value":{"amount":"+0.9958153963088988","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":"Q5277714$C2D39D67-89C5-4F0A-8A88-E2195735EB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa2285dfc0f845a8faa78d60fb075696ab2c7985","datavalue":{"value":{"amount":"+0.9947447180747986","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":"Q5277714$E13BD3DC-859B-4CEF-BD44-2EC14170E948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"facf35233c56237486112e7a3a802ff4e837ccd0","datavalue":{"value":{"entity-type":"item","numeric-id":2852063,"id":"Q2852063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f2c8aea2ad7c43026faabcf13e7117a7b1ce0e","datavalue":{"value":{"amount":"+0.8329143524169922","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":"Q5277714$C86CCB7C-BFBF-451F-937E-CF29811AA458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"269fc4ffe2d7be75f65e9d7f11669acad7784276","datavalue":{"value":{"entity-type":"item","numeric-id":4540483,"id":"Q4540483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c45c2fb829d5bf22415a19ef1316b9cb84ee32de","datavalue":{"value":{"amount":"+0.792197585105896","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":"Q5277714$2DA939AA-F4EC-4453-9DBA-CE31BCB74CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d265360da3b45ca12d0d7ad170d40346da6a56b8","datavalue":{"value":{"entity-type":"item","numeric-id":3067860,"id":"Q3067860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c45c2fb829d5bf22415a19ef1316b9cb84ee32de","datavalue":{"value":{"amount":"+0.792197585105896","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":"Q5277714$7283D99A-7C51-4942-A0D0-53ACB9336BC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277714","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277714"}}}}}