{"entities":{"Q5738899":{"pageid":7768451,"ns":120,"title":"Item:Q5738899","lastrevid":52826732,"modified":"2026-01-23T14:25:27Z","type":"item","id":"Q5738899","labels":{"en":{"language":"en","value":"Sequential abstract-state machines capture sequential algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729710"}},"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":"Q5738899$D796A68C-3C93-4FD8-9934-350DD3CB3665","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3bc6a5546d3c2202ccd085fe7ced84a1220c874","datavalue":{"value":{"text":"Sequential abstract-state machines capture sequential algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5738899$992E55B4-884E-47A7-9DA9-91CF49A1E2B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"499e404ff8e4e9a4a78c18b71581dbedb327af97","datavalue":{"value":"1365.68258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738899$4E7A4A09-AFE1-442D-AD45-410C6AE9D9A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce0638fddb42871a97d7c2c3df0c7e4926f301cb","datavalue":{"value":"10.1145/343369.343384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738899$2BD4ABC2-287A-4825-AA25-2FD049A38F9B","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":"Q5738899$4F3673D5-576B-42C9-A6DB-14D686D1034C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5738899$94221396-FC50-42B0-90A0-1D748A5BCBAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738899$82CB7A0E-76D4-4492-BF13-82BA2E12AE72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e475e8cd6e9dc0f34e08d45f09084233a959c166","datavalue":{"value":"6729710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738899$354EE95D-A1DA-4874-A37E-AE7A1096D2B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5a2fd01f925defcd6266cb2b40c573a2fde2dfb","datavalue":{"value":"Turing's thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738899$E3B8A164-9764-45B8-BD07-23AE8FDF5DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a491d789bca96596185d493a0a1097cb20af3a9","datavalue":{"value":"abstract-state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738899$20ECFF22-77E7-40F9-8887-F5A2BC8E9520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935988cfed4c83c572bd5d706bc07ae9e3a3eb4e","datavalue":{"value":"executable specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738899$44B6A483-F7CB-4556-B999-3CF61138C2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"475c7e10349307bee572c7bad4997f88f4a2dd32","datavalue":{"value":"sequential ASM thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738899$0ACB677A-E0EA-4731-88D4-CADD375A5DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"980a7b49e0ea343d488c83dde556c10474fcc9d9","datavalue":{"value":"sequential algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738899$487CC35F-CB4F-476F-B9CC-A7ED2D64BFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738899$B01ED99A-6F96-4F33-93F3-C78762B793C7","rank":"normal"}],"P16":[{"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":"Q5738899$A9849B64-3204-4CEA-BDAC-F9A597CE2C2C","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":"Q5738899$A6CE00DD-A6D0-4D10-B42E-035F57C1EF95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"539b4031dad56b49c0b97635a9f0015f39855f65","datavalue":{"value":"https://doi.org/10.1145/343369.343384","type":"string"},"datatype":"url"},"type":"statement","id":"Q5738899$8C8728D9-0A6A-4831-B526-852E8066E317","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a4f5c3ec2b393ed75de0f41a7271a2267e8976b","datavalue":{"value":"W1998333922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738899$CEDBBBD7-5BD2-4363-AA66-B173BCAB5F2A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"36b306939f71bf6bfb9141537b4e15de14f0feec","datavalue":{"value":"Q55890020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738899$DD18BBB4-0383-41A9-BB6A-EFD2915767AB","rank":"normal"}],"P1643":[{"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":"606f215e644fe8f0bb1caa4a2ceeba5a97dcd105","datavalue":{"value":{"amount":"+0.8544400930404663","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":"Q5738899$3BB499C1-17E6-46F3-84A9-C243D4BBE4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ecb115a970f3e4c9e7d4a559df656dd84bbe20","datavalue":{"value":{"entity-type":"item","numeric-id":4267174,"id":"Q4267174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec46c6d6dbfb708a67a84cacdba17094207e1a90","datavalue":{"value":{"amount":"+0.8466477394104004","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":"Q5738899$F70FE757-4E6F-4D79-B8AC-FDDB5A3C9EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc3f66b9dd5e4a9c2890d7ae70e3df67fe2ecafe","datavalue":{"value":{"entity-type":"item","numeric-id":5277808,"id":"Q5277808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec46c6d6dbfb708a67a84cacdba17094207e1a90","datavalue":{"value":{"amount":"+0.8466477394104004","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":"Q5738899$30F6E8EA-EE60-495D-8AE4-96257E150235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"628ce173ec2f1f0b47f238cfeb7b1e96b605ab23","datavalue":{"value":{"entity-type":"item","numeric-id":1424349,"id":"Q1424349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dd95412b04d9bf9fe4d88ba96eb57dea88bd0e6","datavalue":{"value":{"amount":"+0.8223563432693481","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":"Q5738899$5231AD04-BFE1-44B0-88C1-EAE758C224FC","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":"bd3dcf3b1b26b3df11f336c82c04e6c8345da2fa","datavalue":{"value":{"amount":"+0.8185915946960449","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":"Q5738899$1918C870-1BFA-4C48-B639-445B9C2E5647","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5738899","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5738899"}}}}}