{"entities":{"Q2567346":{"pageid":2578089,"ns":120,"title":"Item:Q2567346","lastrevid":48563710,"modified":"2026-01-05T05:47:32Z","type":"item","id":"Q2567346","labels":{"en":{"language":"en","value":"A guarded fragment for abstract state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2211685"}},"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":"Q2567346$998C417D-2C7B-43B8-9563-0C02E0D99866","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e50454e01dbc940e887624e890c33e18fb30961","datavalue":{"value":{"text":"A guarded fragment for abstract state machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2567346$5BCA81F8-BB5A-4EBF-874D-F070DFA3B08F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76fac7ca58574d49afb7a4fbc0c03897503ea571","datavalue":{"value":"1080.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2567346$BBF0D389-18FF-48FB-8D94-FE75D149A322","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67e3676b7801efdc68fa2636383e57215c15a8fe","datavalue":{"value":{"entity-type":"item","numeric-id":2567345,"id":"Q2567345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567346$6103935B-703C-43A0-A478-F46D207386ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567346$C5D42BD8-679F-43C9-B018-524CB1C78D31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b603c86410fe658d427579de04e3032a0442b94","datavalue":{"value":{"time":"+2005-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2567346$D448E020-FC2D-4BBD-B2E7-53B6ADE309B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2567346$EB6AA317-6C21-4FA8-84B1-B663D206D8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2567346$A0850232-8871-4AB9-9FE2-F789148B4158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2567346$A642A4ED-5145-4EBA-9044-1223509CF358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2567346$B1875C2B-E7BE-405E-83F5-FC8881B10B36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e75e9303568120930d64a96e07295c7f78dce9e","datavalue":{"value":"2211685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2567346$5283A2AF-0ABE-435C-9427-39C062900973","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"836c1cdbc0b9ddc8b99c5d1f428d818e5063db30","datavalue":{"value":"abstract state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2567346$9B2C4A3D-A3DC-447A-94E0-EA6778995805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46cacea7dcf4d7bc803743d9b6041adf255334bb","datavalue":{"value":"guarded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2567346$039F9CE2-0C0B-4B7C-B54F-3364CAA0933E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q2567346$B170E800-752C-4F7C-9C7A-C7BE89FD3095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"581476a9686f2b65d8155012c29a83f4d20297de","datavalue":{"value":"Datalog LITE","type":"string"},"datatype":"string"},"type":"statement","id":"Q2567346$1951DBC8-1AAB-4D72-9063-7F61F8CBC672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc4ca6387cb9e0dd1cab3909e8c742ec48f9ba04","datavalue":{"value":"guarded fixed-point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2567346$40B7C2E6-0F7D-49F0-9019-907760591D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2567346$B09551A7-2717-4D77-A2F4-AF20F67D45B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2567346$2B1F5837-97BF-4994-AD93-BA26D5296293","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3718edb975c3596bc92f228f175c98e4848ca06d","datavalue":{"value":{"entity-type":"item","numeric-id":16996,"id":"Q16996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567346$A70E2A25-51AB-423D-838C-290F45A61669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0207a77ff22ba8dcc0e20aaed17837eadebe2af2","datavalue":{"value":{"entity-type":"item","numeric-id":40608,"id":"Q40608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567346$61642D08-2A64-4966-9D8D-BFE60C364FCC","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":"Q2567346$604C551A-2C56-4140-ADAC-C32AD97135F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"075fd077b9d73a3a5631938956c6c877cfeb7b0f","datavalue":{"value":"https://doi.org/10.1007/s10849-005-5790-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2567346$8897BB02-ABE8-4174-9C46-EDC867A6EC92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f445fff83885c2ba090c1a0722143d221c43e94d","datavalue":{"value":"W1992490294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2567346$3C21A9CE-138E-46B7-A687-9C7AAB63CBDF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567346$55FC6A84-17FA-4448-A4A8-EACFCDC88ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55c9f32ce310477203edb1bab9536b321b327c5e","datavalue":{"value":{"entity-type":"item","numeric-id":2753718,"id":"Q2753718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567346$DF461D2E-FF97-4DFE-96AD-C6EB2AC00850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567346$E1146488-F29F-43BF-843E-87390F2991D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dd8e39f510c58ed4e29eaa7c6b8ab9d87ce0d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4413688,"id":"Q4413688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567346$5483082C-5971-4B18-8A2B-485A4185BA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567346$1FC1338E-0F8A-4C32-B968-0DB668C29688","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":"Q2567346$8392372A-10C0-45AE-B5E5-F03C05DB0220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092c87bd385bdffab3efa74e7021155389be7050","datavalue":{"value":{"entity-type":"item","numeric-id":5738899,"id":"Q5738899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567346$027580E0-6BFE-4825-9480-17568D2C6B9F","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":"Q2567346$A1242FE4-D756-4323-A71F-F9737A30A5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42ecb85c94b19b2880819717f39b6953f7b4481","datavalue":{"value":{"entity-type":"item","numeric-id":5901602,"id":"Q5901602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567346$10D51EF9-0588-400C-AF3D-0B98ED72FB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61b47c85558b5faaed5c516671e61165169563b","datavalue":{"value":{"entity-type":"item","numeric-id":2742791,"id":"Q2742791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2567346$B279FAC9-625F-4EF0-9A10-9F10153FCC34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a04c249f3c7d5b0ad1c8c8a1bb9994b8dd6f3ff","datavalue":{"value":"10.1007/S10849-005-5790-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2567346$D7ACAAB9-CED8-43CD-9397-0089E53CA522","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92480180b20204b980d74677954617388b1fb25c","datavalue":{"value":{"entity-type":"item","numeric-id":959826,"id":"Q959826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"835ff0f86adade5b0c3c0d5af8133e2b0727f80b","datavalue":{"value":{"amount":"+0.8100672960281372","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":"Q2567346$7390C282-55CE-4BE0-B1CF-7606B0792303","rank":"normal"},{"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":"24a0c72b432f2e54f6574b9198943bc597cd4b39","datavalue":{"value":{"amount":"+0.8069330453872681","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":"Q2567346$9AFD899B-62D7-472D-9166-8A328898FCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85c0f7b41c6a7b65d091de193f68d16b18d4c2c5","datavalue":{"value":{"entity-type":"item","numeric-id":1772776,"id":"Q1772776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a0c72b432f2e54f6574b9198943bc597cd4b39","datavalue":{"value":{"amount":"+0.8069330453872681","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":"Q2567346$2446F5CB-5D5A-481A-A21F-CDD9973D682A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747262510cb6b2d1e886a4e3f4a91d7ce069382a","datavalue":{"value":{"entity-type":"item","numeric-id":4818811,"id":"Q4818811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"943f31ac4732fb947ebb5a6371379de09737db2b","datavalue":{"value":{"amount":"+0.7789864540100098","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":"Q2567346$FE3EF7F7-2796-4361-953D-1106ADFBBE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8091b0fe8409b4aae1046fa486f72e2cf12abd1","datavalue":{"value":{"entity-type":"item","numeric-id":4783310,"id":"Q4783310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c50eb70b327cdc03927ba09421652d9fc8ceb712","datavalue":{"value":{"amount":"+0.775767982006073","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":"Q2567346$B70E4C5E-0CD2-4FF7-A8AE-9C759E9C0849","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2567346","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2567346"}}}}}