{"entities":{"Q5453497":{"pageid":7483056,"ns":120,"title":"Item:Q5453497","lastrevid":50321888,"modified":"2026-01-13T19:56:53Z","type":"item","id":"Q5453497","labels":{"en":{"language":"en","value":"Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5256512"}},"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":"Q5453497$D402524B-48D7-4226-A375-B2F4EA671AFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"106578139cce4bd8bd8cf44b00b4042d07dfa39c","datavalue":{"value":{"text":"Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5453497$BF5609E4-91BD-40CA-9686-D18566A67383","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90dae97a134c8ea05a10c6b6a0b46629715c40e7","datavalue":{"value":"1132.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453497$41A54214-BA91-4CC1-B7DB-E46B1FB987C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"736f88582ead3e991454510c434969a96596f29c","datavalue":{"value":"10.2168/LMCS-3(4:4)2007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453497$5DEC2320-3C64-42DD-93CF-EFD49E46BF6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0c547959f56e22bcdd079e76bda78b5f7c3224","datavalue":{"value":{"entity-type":"item","numeric-id":195660,"id":"Q195660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453497$33761558-7ED4-4D29-B60B-1CB98348E3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0573cf040629587af6f653f9168bb8c1a30192f","datavalue":{"value":{"entity-type":"item","numeric-id":1899137,"id":"Q1899137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453497$6CDFD59C-E09B-4BDA-B108-2354A5BA904B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e97eaa08b13e1bd8cce4634bd30e888245cab0","datavalue":{"value":{"entity-type":"item","numeric-id":648967,"id":"Q648967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453497$9C5B0290-950F-46B1-A1BD-70E99948E473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee4d3ee1c41565a5a83b17f16adc6668f5bedeb","datavalue":{"value":{"entity-type":"item","numeric-id":293302,"id":"Q293302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453497$77E0B9F3-B6BB-450D-9DE8-22DF82C811F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453497$14BC163F-7BD7-4A70-B398-83214C5D3377","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"198ebadd055eae6a54aaf8b4ed7b348339bb3788","datavalue":{"value":{"time":"+2008-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5453497$FA2E83C1-0B38-441F-B15F-1B886F33076F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453497$D78F0F9A-0018-4426-B4DB-C095B2EB07CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1bcdc2a107fd2414d151e8610f3471a8784e75bf","datavalue":{"value":"68W01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453497$E2D473AA-EE78-4E36-8045-71AA7D019E6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1fff91f53723b556467e30b9d4f4fff5d90d107","datavalue":{"value":"5256512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453497$79A572E0-0A07-4AF2-9F20-E62B2CD8D068","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721c780fb69eeaae032e085c01983065ae48d38f","datavalue":{"value":"interactive small-step algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5453497$C4971F65-6506-4089-B5AC-02A11A0E90BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7cefddf3d42228a2b03d4770a420f82201a3a95","datavalue":{"value":"extended abstract state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5453497$324A997F-0C3B-4E2C-828B-A80A1D47CF4F","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":"Q5453497$D74DDBE4-EEAB-49F1-B809-86B2037702E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1b4c3f6880870f56a4a515299b305dd9c20424f","datavalue":{"value":"https://doi.org/10.2168/lmcs-3(4:4)2007","type":"string"},"datatype":"url"},"type":"statement","id":"Q5453497$C0FB7ECD-01EB-42E3-AF98-F5564C2910B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6b98811f92934bf6f78dc912c828faedd29e94f","datavalue":{"value":"W3100469844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453497$A1F13FF6-9DF0-4541-A0ED-A688D95C4BEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0964f35cf991b9fac0d2edce2fb28e6798ccc33","datavalue":{"value":{"entity-type":"item","numeric-id":5453496,"id":"Q5453496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a183b1246a46006e20ab64cd8c953edd4180e0","datavalue":{"value":{"amount":"+0.9511666893959044","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":"Q5453497$25BEBD05-D775-4DA7-A68D-7CF1A18952E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19ff853a9d74e554dde26ed02c1593ae720a2555","datavalue":{"value":{"entity-type":"item","numeric-id":5277780,"id":"Q5277780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a206f87db08b691333e9b15a9eec20f57bff2a4c","datavalue":{"value":{"amount":"+0.935396671295166","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":"Q5453497$B3DE2BF7-CFBC-40E0-A1A3-81EFCF31AC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315bfa0b31201a823935f320b55e73063b637302","datavalue":{"value":{"entity-type":"item","numeric-id":5277781,"id":"Q5277781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e99fb4f71847708253f14da92a1626f13abcbb1","datavalue":{"value":{"amount":"+0.934058964252472","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":"Q5453497$A1E588DC-083D-43A3-881E-D813866EA79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76352cd3fff04c423c51039f6899223381bbf4fc","datavalue":{"value":{"entity-type":"item","numeric-id":5277752,"id":"Q5277752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1be9df5315206916e4c726d3456561e1c33abc5","datavalue":{"value":{"amount":"+0.9065086841583252","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":"Q5453497$9836CE81-923D-4013-BCED-C06360065A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a13f3bc7a47f66b1b47cdb754137509c03ecdea","datavalue":{"value":{"entity-type":"item","numeric-id":4790402,"id":"Q4790402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e155d722fdb5680ed559ed818735df35e6f00ce5","datavalue":{"value":{"amount":"+0.8207986950874329","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":"Q5453497$1FBAF52D-5500-4E33-9FC3-7D7174E481AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5453497","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5453497"}}}}}