{"entities":{"Q5019693":{"pageid":7049270,"ns":120,"title":"Item:Q5019693","lastrevid":58391904,"modified":"2026-04-05T00:38:45Z","type":"item","id":"Q5019693","labels":{"en":{"language":"en","value":"Typestates to automata and back: a tool"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7454919"}},"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":"Q5019693$86289270-D1A1-480E-9021-FC07E06C6B61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2ced8e37f0e6fdc83d61ed5390b99a37b0f108e","datavalue":{"value":"1477.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019693$6437B97B-9337-4471-85F4-70B142FDF7A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbeadd95b06f32c8b9229334a275077c10f1df4c","datavalue":{"value":{"entity-type":"item","numeric-id":5019691,"id":"Q5019691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019693$8A8D15DB-19B8-4AC4-84B8-F5B31A6B8EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b70a7af0fb06b1cd058ffc67252aad747f65dd","datavalue":{"value":{"entity-type":"item","numeric-id":5019692,"id":"Q5019692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019693$3A9A5861-BA1D-4ACD-9E5A-7519FD9C0285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"795f48b4ae9178d57242a9f07437351885d44244","datavalue":{"value":{"entity-type":"item","numeric-id":418151,"id":"Q418151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019693$3E4EAFB4-16FC-484F-89BA-1690180A1366","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff63f60b6d44658f55871ef5632b30ddbe917cdb","datavalue":{"value":{"time":"+2022-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5019693$A1A706C5-E712-4219-AD14-246629EE0199","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4cbf16537878f7318df5f69e54660da3a0cc4cba","datavalue":{"value":"https://arxiv.org/abs/2009.08769","type":"string"},"datatype":"url"},"type":"statement","id":"Q5019693$C8872728-1F48-4BF6-912E-1EFC9D037CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b02c9ffcb1db73f0a623f59a8c03f817a2a10e20","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2020.4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5019693$25139D2C-1BE1-47FD-B31F-7A3BF0B2E19A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019693$445351A8-EE97-4533-9E48-B1D0B1BD02F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"280a65d907047d5094769e55a4a308fa043f2982","datavalue":{"value":"68-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019693$6B8860A4-C27A-4B88-B78E-4FF967FF63A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019693$E7BDD458-E80A-4618-B9CD-22875CE49458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019693$02171257-BF5E-4E71-9DFA-F582F55A699C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01b7bbc25d72109abe623a6755fbeb5fa5b66191","datavalue":{"value":"7454919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019693$6F863D5B-14C3-4248-88CF-85016CD18C13","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dce7202d7fb80ae013cfebcf4003c792e5f4dc0a","datavalue":{"value":{"entity-type":"item","numeric-id":41951,"id":"Q41951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019693$53CCBCD3-83EE-4C15-8F1D-C7619BDF454F","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":"Q5019693$4576A129-55A1-4D7D-8568-9CB863030538","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e97002deaa32bce9238411fd6668f6b28c627864","datavalue":{"value":{"entity-type":"item","numeric-id":5536272,"id":"Q5536272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019693$D000042E-37FA-47C2-A576-F4F50BA48F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1676ea40b686135e06aed5ceb44a39822dfccb04","datavalue":{"value":{"entity-type":"item","numeric-id":5327432,"id":"Q5327432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019693$5F1D0616-9D9A-4C4A-B978-89774A517EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff26acfa4f7a81a69ac1d22f5faa8f8ec3f24299","datavalue":{"value":{"entity-type":"item","numeric-id":3694680,"id":"Q3694680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019693$1B0D8234-6CF5-4D20-BEEB-6EFB075C0B52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c3cf3d68caa7c26e48fb26d972717431b856cec","datavalue":{"value":{"entity-type":"item","numeric-id":927470,"id":"Q927470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"332e0bf147dd49a57198f95b02730db04ede0b27","datavalue":{"value":{"amount":"+0.7275169491767883","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":"Q5019693$2F690009-56B5-4E3F-B0B4-D729EDCA97A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c077e836961bc443b2ee588c4a754838099fe603","datavalue":{"value":{"entity-type":"item","numeric-id":4435880,"id":"Q4435880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c340f85efa9b7e41df6831585d6653fa63658ab","datavalue":{"value":{"amount":"+0.7068814635276794","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":"Q5019693$ECAEA498-F181-4ECA-BFA9-64233D8CA87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5eca6144a10b557846f357d55bdd6d978dbad52","datavalue":{"value":{"entity-type":"item","numeric-id":4934532,"id":"Q4934532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c47ead03100bfe15117f8181b8c3ed993724dad8","datavalue":{"value":{"amount":"+0.668537437915802","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":"Q5019693$08317557-5951-4B50-B0FB-CF421D64881B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c413ae3ec45441b68d55ee8f38edc0fccb47f074","datavalue":{"value":{"entity-type":"item","numeric-id":5166714,"id":"Q5166714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1718911eec28c9793706bc3b4e895b67d5e7324f","datavalue":{"value":{"amount":"+0.6685373783111572","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":"Q5019693$B7C8BE0B-1472-4CE0-BC29-606F5914A218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6a7e8bd296332ff60f0bcb8dabf5ce4d83e8c3f","datavalue":{"value":{"entity-type":"item","numeric-id":2216713,"id":"Q2216713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eadb9d6de7c597607914dd0f4bb4ce62a250c3c","datavalue":{"value":{"amount":"+0.6659443378448486","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":"Q5019693$D0E2FB06-53BF-4984-B012-4582E695062E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5019693","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5019693"}}}}}