{"entities":{"Q2498914":{"pageid":2509657,"ns":120,"title":"Item:Q2498914","lastrevid":73275300,"modified":"2026-04-14T15:14:31Z","type":"item","id":"Q2498914","labels":{"en":{"language":"en","value":"Decidable properties for monadic abstract state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047231"}},"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":"Q2498914$10ED4A62-EAC6-4636-86EB-F5CB45C9B6DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"798ba75a0b2e62a6dc3df3fec48b315c2ecae6e2","datavalue":{"value":{"text":"Decidable properties for monadic abstract state machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2498914$692C8807-3445-4908-AE75-38EB741C2618","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"543dbce4083ce86643d1daa268fb48531ea5d5fd","datavalue":{"value":"1106.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498914$7248D1F3-3388-451E-8757-BDF0BAE43B32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eb8212826bd69dc98444cbd64b58f086206d659","datavalue":{"value":{"entity-type":"item","numeric-id":234698,"id":"Q234698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498914$B8EE39BC-9D8B-4A99-822A-41AF13B6F7F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498914$94C717D7-4FD5-4013-ADD0-364D9381D23F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51baedb45b1970a218dc00cb5762a1bbcc63a6f4","datavalue":{"value":{"time":"+2006-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2498914$6A0677FA-63D4-44F5-81B0-0098DB63C212","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498914$E9C151C3-0FD9-44AD-BE65-4363CBDBDEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498914$FC5431C6-FC9C-492E-B94C-BAB59052EEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498914$82945690-F640-4D4D-81E6-96E7FC80BF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498914$16CAFB40-F4BC-48F0-839E-545ECFE2D095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498914$24228C7A-AEC4-41FF-BACF-52FF78127098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498914$7359FBDD-23A9-4FCF-927F-6727059C9060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498914$BE60FD94-2EEF-4FAF-B660-7DE4B6B180A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3650f561dc08516e01fba591f7b6fb5c88c46a7d","datavalue":{"value":"5047231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498914$7C2F6BE5-73B8-4419-AEDA-D2C523ABC651","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dbf374c6afddeffce44d11d383cf4b96c424f21","datavalue":{"value":"specification of distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498914$3FF16BF9-960F-494C-B378-41032355ED33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76630db5364c6f9e8e16ab4188a47e9f30b65c12","datavalue":{"value":"verification of timing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498914$2C471CEF-05A7-4A2F-B418-300F2D591008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498914$6DAF3BFF-DCA1-44B8-B0DD-4136A78CD2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466730ab11b1b2d6eb375ab6f791d9f426a47eac","datavalue":{"value":"decidable classes of verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498914$09C34578-87E5-41FA-8AE5-EB24E967765E","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":"Q2498914$29077789-ECFA-49BB-9C7B-44D28566E9FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3afb2e9e71b59d42dde23b2d23ad9760b689d992","datavalue":{"value":"https://doi.org/10.1016/j.apal.2005.12.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2498914$C127C6E8-DCB0-4BE3-8B91-7603917EABCA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8462eee3950be1c66e233c61f0f20fd35d1be038","datavalue":{"value":"W2068251508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498914$E363CCDA-48A1-4B39-9937-98CF3D8A6E48","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"408defca181e11748239c499302d8cd3c1e9fee2","datavalue":{"value":{"entity-type":"item","numeric-id":4934321,"id":"Q4934321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498914$5B49FC1A-9F34-4485-A1FB-DFFA247F669E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ab547d446e56688961df139f4d0a415e90fcd0","datavalue":{"value":{"entity-type":"item","numeric-id":1606131,"id":"Q1606131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498914$498549F3-E8DF-4A37-BCC2-FFE4D8FC32D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37fd0d69e7d3624644483b2eb4d25ad4d37dc7f1","datavalue":{"value":{"entity-type":"item","numeric-id":5957904,"id":"Q5957904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498914$28871A2D-40D3-4828-9604-2E5891E4AA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9774f0a22c506fb74ebb5082bcc9b33d0ee48f11","datavalue":{"value":{"entity-type":"item","numeric-id":2368906,"id":"Q2368906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498914$981B07ED-C23A-41C1-B4D6-BDA61023246D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b51ce64dda5bb204d604f1268090f127995ab8b","datavalue":{"value":{"entity-type":"item","numeric-id":4518903,"id":"Q4518903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498914$165C7A01-E9A0-4128-8CF2-627920E998AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e4880085f585324e66236c6a240e5f46ef8f95","datavalue":{"value":{"entity-type":"item","numeric-id":5901597,"id":"Q5901597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498914$9DE75532-8DA6-4340-B4DA-3CC10401B396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3bf9613ae9804ab4d6c1a4bf2f77f2d5228a33e","datavalue":{"value":{"entity-type":"item","numeric-id":4873985,"id":"Q4873985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498914$375F573A-AF8F-4059-82F0-E25176224241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fec9610a016e4d3e27e101f70113dc508754dd8","datavalue":{"value":{"entity-type":"item","numeric-id":5901600,"id":"Q5901600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498914$38F836EC-E654-4C30-B075-315A9481225B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"141838a174eb37ced34ce78f526f799688c36d56","datavalue":{"value":{"entity-type":"item","numeric-id":4413690,"id":"Q4413690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498914$991D9D6F-563D-4E25-8458-AAABB58A652E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6da0c22320c4fbbad0cac169fbc41ec046305fa8","datavalue":{"value":{"entity-type":"item","numeric-id":4818811,"id":"Q4818811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498914$7DBF0458-DEDA-4DCE-B996-288FE23F3FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b494cdf5b64350ff7eeda1f14daae1bd22332b4","datavalue":{"value":{"entity-type":"item","numeric-id":2753717,"id":"Q2753717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498914$27FDA183-36B2-4B50-B206-19F9E7214A25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49043beb308c3c72a2115c225f1f9d4d103d6315","datavalue":{"value":"10.1016/J.APAL.2005.12.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498914$671CF8E9-8687-430A-A465-E2A5AA3B15BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea841d21cbff9d472352f6ed189a918d49cea6ad","datavalue":{"value":{"entity-type":"item","numeric-id":4413690,"id":"Q4413690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbe828593fa56d3684537640b7f9f3e63b4903aa","datavalue":{"value":{"amount":"+0.8697926998138428","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":"Q2498914$B4291AE3-A933-4E7E-94E6-886B6734B4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfad90fb6753744354f0e61fc0cc4dab7700a972","datavalue":{"value":{"entity-type":"item","numeric-id":2368906,"id":"Q2368906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbe828593fa56d3684537640b7f9f3e63b4903aa","datavalue":{"value":{"amount":"+0.8697926998138428","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":"Q2498914$118920A2-4FE3-4A71-9648-3F76922D238F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9838a1b027c519bd8da77a9ed67fe9a8e83f8c7","datavalue":{"value":{"entity-type":"item","numeric-id":5957904,"id":"Q5957904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca4ad3c2d2a8e0683c6be02b2634f967f3af18c5","datavalue":{"value":{"amount":"+0.8010637164115906","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":"Q2498914$D2F96DD2-A793-4C46-80A1-B0D4B39821B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ade0c5b8140f9a5e37a07d585e49f5ecc65f293","datavalue":{"value":{"entity-type":"item","numeric-id":4934321,"id":"Q4934321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42974ac2e40b7cf7ac1ad5ae17f30c9130466e03","datavalue":{"value":{"amount":"+0.799053966999054","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":"Q2498914$209C22D2-09B1-4064-916D-D2FD0D100C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1195558c560301d44336ee3c7e698d5b21c56cf","datavalue":{"value":{"entity-type":"item","numeric-id":2753716,"id":"Q2753716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8178befe0189c4fa3f0635a9c8d535d8dbff6234","datavalue":{"value":{"amount":"+0.7888984084129333","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":"Q2498914$62093E90-0812-47AC-A0BA-84067DB5E73E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidable properties for monadic abstract state machines","badges":[]}}}}}