{"entities":{"Q3586002":{"pageid":5615906,"ns":120,"title":"Item:Q3586002","lastrevid":90339071,"modified":"2026-06-04T19:55:17Z","type":"item","id":"Q3586002","labels":{"en":{"language":"en","value":"Normalization of Some Extended Abstract State Machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5779205"}},"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":"Q3586002$8701189E-34EC-4956-99D7-3631D1028766","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1713c063eb18978835c4ba733973f0c1b0704a81","datavalue":{"value":{"text":"Normalization of Some Extended Abstract State Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3586002$0A27A523-CC2E-4A3E-9D6E-4624ABF77213","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5f4c55f92ef7be2d59e838fcdaf4e1212c0512c","datavalue":{"value":"1287.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586002$D6CF1C13-7F18-4F73-8468-881664C88F65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b592d71e5cea8ea2b06e34f17df3381dcf74321d","datavalue":{"value":"10.1007/978-3-642-15025-8_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586002$F05DE109-2EB3-496F-8A4A-65185448DAD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a230f70c8750c383f1c2f6051732dd11c72f444","datavalue":{"value":{"entity-type":"item","numeric-id":234705,"id":"Q234705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586002$83608769-D664-40B1-AC9F-40354F3182BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"069c49ed07632856093c11f7cbd999f5a3f4b4c9","datavalue":{"value":{"entity-type":"item","numeric-id":1401348,"id":"Q1401348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586002$BB6C8780-F5A1-4F81-BF7A-24DF533BD5B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cdd169c7d233759e4f71b10b3d5a636c6803d4ba","datavalue":{"value":{"entity-type":"item","numeric-id":3585994,"id":"Q3585994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586002$D9CDF658-9A28-4620-901A-A8032C0A63AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c11c2a23d7cae41957cb0a13f9b87e3313a15a8","datavalue":{"value":{"time":"+2010-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3586002$35C1C2B1-B1A8-46D1-8637-D0D08EFA6917","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586002$4F5DA240-9107-4C61-98AF-6C9DC1116C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586002$95422795-CC4B-4A69-A384-ABFED1F9D265","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03662a4aa2a954572bbc679a8a32d3d7fd11fa60","datavalue":{"value":"5779205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586002$55B894CE-D78D-4E0D-B685-9217B72CD95C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf00e43fd6ab092796109964f1a55fca40cc53e","datavalue":{"value":"abstract state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586002$D828EBEC-2E3F-46EC-92CD-A273CB9B4F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586002$0AC51D0C-9E2C-4913-8737-E13194690589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586002$14A84CC9-4379-41E2-BC2F-B08BF61BB43C","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":"Q3586002$52D03CE2-64E8-4D79-9D5D-725C17923657","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":"Q3586002$F04C031D-982D-45FA-971A-615FEF1AC243","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d748941f971ce6dc61cbdfdfcc42be58b4fa7579","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15025-8_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3586002$B9FE3EB9-6D03-4E42-9256-0B0538F735E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba16843d0ed4585c901e7389c39fad82ff433b02","datavalue":{"value":"W1547951769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586002$E7956838-F217-405F-96C1-F1E7760CE1BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747262510cb6b2d1e886a4e3f4a91d7ce069382a","datavalue":{"value":{"entity-type":"item","numeric-id":4818811,"id":"Q4818811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6116d609a7bf15db48b57b1d83316267f1f91eef","datavalue":{"value":{"amount":"+0.8458959","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":"Q3586002$500F7E5B-DA4D-4105-BC08-C68DE051162E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5363569a6573600960dd9b6d5096471d63dc063","datavalue":{"value":{"entity-type":"item","numeric-id":3401956,"id":"Q3401956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e5ec381979c7a31fdc58f0bc60a0b2dc86f25ab","datavalue":{"value":{"amount":"+0.8453626","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":"Q3586002$A2A25DC9-C97E-410A-A233-A122A5E8872F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7959cd3da40dde9fee72a1a74813c87834604d55","datavalue":{"value":{"entity-type":"item","numeric-id":2115900,"id":"Q2115900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf613f456d190d23eb20875b4e6cb4a85b3d0818","datavalue":{"value":{"amount":"+0.84393","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":"Q3586002$B1FD9A65-5C82-42CA-BDCE-0CD480D71F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf2581260f14db8bbfb158a4265239b873bd3455","datavalue":{"value":{"entity-type":"item","numeric-id":5292270,"id":"Q5292270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddda7e8a1b4c83fc39e5c9ed2f2ac2e6beb54957","datavalue":{"value":{"amount":"+0.8406089","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":"Q3586002$97B103CF-757F-4717-8F5D-2886012E0ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd10addd1a743b3f7cbf5708a67d89d426049d5a","datavalue":{"value":{"entity-type":"item","numeric-id":4256119,"id":"Q4256119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22802e18986e213c949b8e813d007fa725400ede","datavalue":{"value":{"amount":"+0.8402538","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":"Q3586002$82E863E1-5D08-4110-BD8D-03AAB5B2D80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c1f1226cf144a61ee70d2f9cd978b3ce98cca4","datavalue":{"value":{"entity-type":"item","numeric-id":2753699,"id":"Q2753699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b2821283a62e2afeb2b2157c66a11b908e17a38","datavalue":{"value":{"amount":"+0.83897305","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":"Q3586002$87EB856B-707A-4117-A588-D56C433BD4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3833dfb029de5d92a9bb53b71978426ce3c9650","datavalue":{"value":{"entity-type":"item","numeric-id":494059,"id":"Q494059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7462d689722a0f419aecc63b0736dfd144b80094","datavalue":{"value":{"amount":"+0.8385827","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":"Q3586002$9649FBDD-50B8-4845-9B99-BE96EADEAB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1195558c560301d44336ee3c7e698d5b21c56cf","datavalue":{"value":{"entity-type":"item","numeric-id":2753716,"id":"Q2753716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"989be9d114895bd37c847fc50dabc4855cf66d66","datavalue":{"value":{"amount":"+0.83797336","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":"Q3586002$B721715A-2223-4F4C-A14F-5CD55D26D730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14027c8da4021e8f1223e4509afd0d3c9a6cbf04","datavalue":{"value":{"entity-type":"item","numeric-id":5881450,"id":"Q5881450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94772accbe7e47a28d6bef3787ed080356daa32e","datavalue":{"value":{"amount":"+0.8368522","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":"Q3586002$1B9BE0D4-279B-4965-9478-B95FBE10D99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fe1c66ea8a2552f5d8c20b5404a2e03b400b117","datavalue":{"value":{"entity-type":"item","numeric-id":5457661,"id":"Q5457661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7820a18f50960364b53f2f9fb13f44b8ecf605bf","datavalue":{"value":{"amount":"+0.8366356","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":"Q3586002$38F975FA-D522-41DF-887A-3BAF4FCF32F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normalization of Some Extended Abstract State Machines","badges":[]}}}}}