{"entities":{"Q5453496":{"pageid":7483055,"ns":120,"title":"Item:Q5453496","lastrevid":50321885,"modified":"2026-01-13T19:56:53Z","type":"item","id":"Q5453496","labels":{"en":{"language":"en","value":"Interactive Small-Step Algorithms I: Axiomatization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5256511"}},"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":"Q5453496$31BAFA99-E843-4B9B-8364-CD2ADBE88F6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"546e0c8099446d6e56b2f90fbb4ce8c8f69e4d2f","datavalue":{"value":{"text":"Interactive Small-Step Algorithms I: Axiomatization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5453496$EC809B97-4AA5-4F4E-9F6D-FFC66B9ADAFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7868af6ccd2ffdac73ffce4bdff386639ed96d2b","datavalue":{"value":"1132.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453496$4EDF29A8-9DDC-4C67-B361-45D181D064FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"985641cf83ed03141f88dfa9f86c484953f2836c","datavalue":{"value":"10.2168/LMCS-3(4:3)2007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453496$C3F3AE6B-7AAF-432C-A452-4E7530155719","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":"Q5453496$1C293E04-C4EC-4304-9AB0-95CE913D091B","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":"Q5453496$2959F4FA-A7C7-437E-9E0E-774955E5287D","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":"Q5453496$1EB2949B-F745-4CE9-8843-655FA22F9254","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":"Q5453496$8FBEFB81-684F-4D87-8FCC-BCD54CA3DC32","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":"Q5453496$5CF5475C-35AD-41A9-BE4C-EACEA2E7F8C5","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":"Q5453496$D41D2E57-409E-4B9E-A865-E8AAC8354F61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453496$8FFE2590-B15C-4637-A927-60D4990C9B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1bcdc2a107fd2414d151e8610f3471a8784e75bf","datavalue":{"value":"68W01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453496$4144323E-B042-4F9B-922D-5518CC11ACC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db2c16e9ae2e698fa4a48dd56e68de7e3c3e32f8","datavalue":{"value":"5256511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453496$68B78681-718D-4286-8B21-A2059DC85B1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721c780fb69eeaae032e085c01983065ae48d38f","datavalue":{"value":"interactive small-step algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5453496$FBD876E2-4B23-4F7A-94CF-991BC3999760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5453496$2CCACD19-3D21-4B2A-94D0-F2BBED46B7C8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecc86304e6e0168c486b1953bbd2cdad4880fb4c","datavalue":{"value":{"entity-type":"item","numeric-id":23309,"id":"Q23309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453496$02D2FEAA-4E74-4053-AD07-732B88B33C65","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":"Q5453496$9B5DF556-FE05-4F39-AE22-1E749004C73B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"998afcf46c1e91da4a9fcff5d5b71de96ff2a84c","datavalue":{"value":{"entity-type":"item","numeric-id":5453497,"id":"Q5453497"},"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":"Q5453496$FBF89D79-E42E-4EAD-BD3E-3C23C190326B","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":"828ba212bb2793b226afa2bf6f50caf0ed8a135d","datavalue":{"value":{"amount":"+0.9261958003044128","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":"Q5453496$FF982B0E-DAA2-4C03-BEDB-43E1E26D9DFA","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":"971540ecd7f6365356f37e13a8c04c2da06abd69","datavalue":{"value":{"amount":"+0.9256319999694824","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":"Q5453496$3E01D0E7-7D87-44F4-94D7-B2F4D0AA3167","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":"097285bd12f7ee0f193427f8a4bfbfe031e5e7f3","datavalue":{"value":{"amount":"+0.9065054655075072","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":"Q5453496$ACF54903-88B5-4BE6-A07C-9DED02441526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"518f2585b3cf3a97e317bb0d50ecbf630dce558f","datavalue":{"value":{"entity-type":"item","numeric-id":5901594,"id":"Q5901594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"848dc3a9635891b76f2e27c11be2822d49fa4b61","datavalue":{"value":{"amount":"+0.8115456700325012","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":"Q5453496$4BBFFC75-0261-41C4-B40E-9934CF3EF655","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5453496","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5453496"}}}}}