{"entities":{"Q4945222":{"pageid":6974804,"ns":120,"title":"Item:Q4945222","lastrevid":47471401,"modified":"2026-01-01T20:18:20Z","type":"item","id":"Q4945222","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1424032"}},"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":"Q4945222$A6A9FE52-9616-4C4D-B29D-6F1FA44C1AA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b78ac6a2a5d1872cc71478548ba557a297d2c04","datavalue":{"value":"0944.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945222$E1C7361F-9C26-43ED-8320-C105994DFC2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5c32502a6d95c8a51d14316c1feffb3f43bbce3","datavalue":{"value":{"entity-type":"item","numeric-id":208769,"id":"Q208769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945222$EE86EB45-8524-49EF-81D5-C613E159EEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945222$0C072F9C-D264-4C21-928C-8CFCB2218868","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3181eec55d6fadc7128215edae5f001921ed72d2","datavalue":{"value":{"time":"+2000-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4945222$258A5CB9-C1AC-459E-86C9-01058021185A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945222$366DEFBE-3920-4705-A11B-9F5246658B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945222$9C172AC3-1891-4CB7-B716-9902CEF57E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945222$1A15CCDC-CF60-43FB-B48F-35710580000B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ff7e58103b21bc0a98ff08e81e1df695948d3b5","datavalue":{"value":"1424032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945222$8D521D61-34CC-4CDE-B1E0-D6FDB1EC35DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f63d4e2d376f8daaaf19fb34d63c195709c5ec5c","datavalue":{"value":"verification by augmented finitary abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945222$46821499-BFEC-462E-8EAA-258E15C6A321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f499a02a57f338a20157ab017b756629f20de38","datavalue":{"value":"finite-state B\u00fcchi automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945222$ADAE645A-43D8-41A2-9950-8B7C791D657C","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":"Q4945222$7C3D8E46-4761-455F-B6B4-00DFDBC470E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f771967f88ed63d54e822ff4bcd89b3de97c4fd9","datavalue":{"value":{"entity-type":"item","numeric-id":5946060,"id":"Q5946060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d7d0edbb79d31db7fdf87797ea44d0a3f6524b","datavalue":{"value":{"amount":"+0.9487142562866212","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":"Q4945222$1AF09205-CFED-4C78-9A49-8E702BAF848D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4e782d836ac6ccfac6cc14332107a68f2ce1a1","datavalue":{"value":{"entity-type":"item","numeric-id":5491848,"id":"Q5491848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d7d0edbb79d31db7fdf87797ea44d0a3f6524b","datavalue":{"value":{"amount":"+0.9487142562866212","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":"Q4945222$349FFAD0-1C11-4A7B-90B9-A063A40BA554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6462d1b336a55fb7da8b3a8b71fd752e8fe898a","datavalue":{"value":{"entity-type":"item","numeric-id":1854391,"id":"Q1854391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11c16a1de798f608b04805d544392ba8d946745b","datavalue":{"value":{"amount":"+0.9458069801330566","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":"Q4945222$2A9656AB-A351-4825-A69D-68A81648106F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1592ef5c37573565b70af272cf254013fa77f2ef","datavalue":{"value":{"entity-type":"item","numeric-id":5711487,"id":"Q5711487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5ef3c5405289cbb1dcbda350304e37b46c9a968","datavalue":{"value":{"amount":"+0.8498649597167969","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":"Q4945222$9D49D8CA-D324-41B1-9D5D-7136E6F274E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130a73633fff28832fbe684b4d4940f895217aa7","datavalue":{"value":{"entity-type":"item","numeric-id":4037387,"id":"Q4037387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"159eaf6435b37dc7070627eb5044f7006ffdb502","datavalue":{"value":{"amount":"+0.7806065082550049","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":"Q4945222$831A7146-7F3A-4804-8CE0-EEFEA49FF83E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4945222","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4945222"}}}}}