{"entities":{"Q5277780":{"pageid":7307355,"ns":120,"title":"Item:Q5277780","lastrevid":94658810,"modified":"2026-06-05T07:23:06Z","type":"item","id":"Q5277780","labels":{"en":{"language":"en","value":"Ordinary interactive small-step algorithms, II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744023"}},"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":"Q5277780$6CE1C712-4DCC-465B-BB09-8FD756F9C788","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4a86de3739d2f9298f6efd527ba3ad58cec5071","datavalue":{"value":{"text":"Ordinary interactive small-step algorithms, II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277780$44AD89A3-9D2D-47DC-BD63-ECF8CAF2F665","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f625dad61018211b5ec3be4bad4fe95d7fae7a2c","datavalue":{"value":"1367.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277780$0292BC48-2089-4D85-82F5-CA5544052805","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f97be1f1050c49a5a9972815befb9bd0a5412d59","datavalue":{"value":"10.1145/1243996.1243998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277780$9A2F21F7-A467-4F45-AF21-2D4E9EDEAEFC","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":"Q5277780$AE3EB8C3-A8FC-4351-8B96-C62014AA06C4","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":"Q5277780$D8E85098-4CE2-4E7E-BDCF-19B3C7A3BECC","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":"Q5277780$33C444DF-B9FD-4FED-83FF-348B2D010D91","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":"Q5277780$68A1675F-4E50-451D-BA7F-7022BA29F528","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277780$27362321-28A2-4DBD-8AF2-92F3AF2E258B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277780$A1E0FE93-4937-499B-A0DE-B67E646A9ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277780$5B4EC4A4-1807-4AF6-AA21-7B97F5678E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1bcdc2a107fd2414d151e8610f3471a8784e75bf","datavalue":{"value":"68W01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277780$49A8702D-2070-41A9-9758-36D207B6D81D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98446c438bb56e42ac9053ffac04fd691163a67d","datavalue":{"value":"6744023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277780$06A8EFAA-12D0-4C4B-87A8-917F43C9E083","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cffbb938b724c9c44cb75fa1079a8cd8699d81ee","datavalue":{"value":"sequential algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277780$341D6B77-4A1F-4E19-8BC7-0B65AA2E1FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"836c1cdbc0b9ddc8b99c5d1f428d818e5063db30","datavalue":{"value":"abstract state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277780$AD03FA14-139C-4579-92BF-417F2BC4EC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"648cbf54742f0903a75896ecc6913984fd2ebedd","datavalue":{"value":"equivalence of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277780$4995B32A-C629-480F-86E5-6009F6925F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d0de8366ac43c8b9bae86936b4bb9760f3e0496","datavalue":{"value":"interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277780$1ABE35C7-2B41-4F6A-91D0-76392142D3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1afc691a43cc9ef350572b0b515e1bf116725ef","datavalue":{"value":"postulates","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277780$CD4D9AE5-DC51-4E29-9699-6C41911AA781","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":"Q5277780$40E7F6F9-F315-463C-897B-9BD8D8B6835B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4c9cf66fe90b6d76f089a72bb097cad0d1eaa19","datavalue":{"value":"https://doi.org/10.1145/1243996.1243998","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277780$D9CF5022-B90F-4364-A00F-234EFD32F245","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"483a2c4e3da5f34a1c49c4a44e1b01e88c847f33","datavalue":{"value":"W4234381234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277780$0F0E8E0F-57F7-4006-A192-F593A2083D3E","rank":"normal"}],"P1643":[{"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":"430b8ffb3010ee1b7ceac03f272d209ae3af8693","datavalue":{"value":{"amount":"+0.9746519","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277780$D864491D-BC2E-4D45-B105-3C227114FB50","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":"ba3bfa949418ac80ba745e170cbe6c36056b546a","datavalue":{"value":{"amount":"+0.96764886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277780$6BEB49EB-D544-4356-8FB0-B6DEC46894C3","rank":"normal"},{"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":"931d9b91df1014c8e91eadd1d535345686a039e6","datavalue":{"value":{"amount":"+0.91654754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277780$BB0E365C-E9E9-460A-A5C4-22CC027672BB","rank":"normal"},{"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":"19589419f83e2ff305046b2f0e78f5f30fcef9cf","datavalue":{"value":{"amount":"+0.8601056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277780$E3EFC4CE-C1B9-48DE-8662-00F2884807B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19b30a9e40c7e64126470155aa080fbfc216be95","datavalue":{"value":{"entity-type":"item","numeric-id":5486112,"id":"Q5486112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2dbde07e66fa8aac82ac77d0bd0e6cfecda4df4","datavalue":{"value":{"amount":"+0.834018","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277780$EF34FB88-8D90-4894-8806-8FCABC278E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d9cd7fd1bcc845b404dee9165d8a5dfea6e7781","datavalue":{"value":{"entity-type":"item","numeric-id":5492843,"id":"Q5492843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99a9f76a20686a91cdf8eb9f7cab8b2aee4f6785","datavalue":{"value":{"amount":"+0.8325855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277780$B6F4AE09-4BA6-466B-9990-317C53A4D097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c947ad093dc4421eb0b9dcf1a3f1f474c37c796","datavalue":{"value":{"entity-type":"item","numeric-id":4928704,"id":"Q4928704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9345a7c2b85e738f54b6921509934ea0bad2fbae","datavalue":{"value":{"amount":"+0.8248091","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277780$D7EFDE4C-1303-4F05-8F68-F0C343DFFEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2965e26c909cfc8b3060afd470532de1a7e5b87c","datavalue":{"value":{"entity-type":"item","numeric-id":3221296,"id":"Q3221296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b23bbd016998a890a36f9090a1854467fc8560af","datavalue":{"value":{"amount":"+0.8242067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277780$799DF201-8A3F-4492-A3B9-5F4C4FF3ADC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ca50903aedfaee74098587c4ecb8e6c4a74b3ea","datavalue":{"value":{"entity-type":"item","numeric-id":4928119,"id":"Q4928119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6845d13c3a8195e701a3b2cbf75cb3cd5959369c","datavalue":{"value":{"amount":"+0.82310086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277780$3E43900C-B6CE-413B-ADA1-1F4D09C08C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c81dc1869238ff4d5b4a827e976b095840b9bc","datavalue":{"value":{"entity-type":"item","numeric-id":4211454,"id":"Q4211454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"315c6052c2dad7969e3416a6578f30e03e959f6e","datavalue":{"value":{"amount":"+0.80485797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277780$54663AFF-8140-4387-8783-EAF0AD78C00C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ordinary interactive small-step algorithms, II","badges":[]}}}}}