{"entities":{"Q5277752":{"pageid":7307327,"ns":120,"title":"Item:Q5277752","lastrevid":52850459,"modified":"2026-01-23T15:42:27Z","type":"item","id":"Q5277752","labels":{"en":{"language":"en","value":"Ordinary interactive small-step algorithms. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6743996"}},"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":"Q5277752$62858EFB-5E99-4FEB-91CE-C03F63163180","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22a463c1b915ab1dabd1d7a415175c9b20d33efc","datavalue":{"value":{"text":"Ordinary interactive small-step algorithms, I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277752$B62540A0-2AF7-4C06-8BE1-29DBA7BC8C12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"110e1db925f28bfe950599b13fc54a28243f3855","datavalue":{"value":"1367.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277752$E392E771-3137-428B-A1B1-E1467864EB04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0235870c2a35721cb5bcb06ae78275ad6d80011b","datavalue":{"value":"10.1145/1131313.1131320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277752$1326B5B4-5611-4AE0-9BA0-2AD951C7FB0C","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":"Q5277752$38AE29D5-CCFA-4361-BE17-D598F2737E06","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":"Q5277752$5CC06212-6534-4382-A5CC-1888CB15B9D2","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":"Q5277752$7F9D3AA1-9A3A-4D72-947D-ACB845FAA0B1","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":"Q5277752$30F66433-B9DE-408E-99F8-1E8640D602B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277752$5ADC4416-2C3D-4F0A-8F58-C6DE990EF064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277752$FF2ACB6E-DD06-426C-92D5-86F362FE68B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277752$809656A2-1B8B-47DF-B4CF-F5EE1D5192D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1bcdc2a107fd2414d151e8610f3471a8784e75bf","datavalue":{"value":"68W01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277752$087D3541-5B45-45C5-AB2D-AC672957C861","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"900dda88303f0386ca67e313b0c60b4edcd942ad","datavalue":{"value":"6743996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277752$6F751C2B-719E-48FB-9F99-804DEA981720","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cffbb938b724c9c44cb75fa1079a8cd8699d81ee","datavalue":{"value":"sequential algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277752$8FD6A1EC-6E38-4CAC-B7C9-9833FE71C8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"836c1cdbc0b9ddc8b99c5d1f428d818e5063db30","datavalue":{"value":"abstract state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277752$AAFD3313-E3D1-484B-8BBC-4C86B07915B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"648cbf54742f0903a75896ecc6913984fd2ebedd","datavalue":{"value":"equivalence of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277752$AAC5F0C6-D11D-4854-B815-9727A8FC8EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d0de8366ac43c8b9bae86936b4bb9760f3e0496","datavalue":{"value":"interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277752$6785C679-1369-4BB6-B62F-00D4F45CDEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1afc691a43cc9ef350572b0b515e1bf116725ef","datavalue":{"value":"postulates","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277752$92242D50-CC9B-444A-A41C-FD48F537F215","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":"Q5277752$30449A58-B680-4A40-975A-314398234B09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d963da9107bc6d197a92354586db9dc70e7aed2","datavalue":{"value":"https://doi.org/10.1145/1131313.1131320","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277752$5C5FA0ED-5C83-4791-8F74-47FFF82A247D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb1c3f2f9984dccaed5b559d11d859d847359ccd","datavalue":{"value":"W2142611800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277752$D4D394D1-1D03-4FB7-A659-35DF94408225","rank":"normal"}],"P1643":[{"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":"48a18cb04fafd16c30f398cbd774fa9466d75e9f","datavalue":{"value":{"amount":"+0.9449069499969482","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":"Q5277752$3788FA83-580D-4F1D-ADEA-014CD47FF78F","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":"0e0cb15da964a14e79c84c1f2f05a9027843f34e","datavalue":{"value":{"amount":"+0.9418094158172609","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":"Q5277752$2A8A61B1-4063-4E4E-B052-207162DD7275","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":"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":"Q5277752$251784D8-CF77-4838-9650-E42DFB6DC6CF","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":"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":"Q5277752$0D954401-EAF7-4FD7-BE4E-763CD7D31B90","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":"1c2047022833f5dddfcebccaca8b19efc9dd03aa","datavalue":{"value":{"amount":"+0.8104767203330994","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":"Q5277752$B0364810-A61A-4BE8-9366-259803D432C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277752"}}}}}