{"entities":{"Q4037388":{"pageid":6067106,"ns":120,"title":"Item:Q4037388","lastrevid":55250083,"modified":"2026-02-05T07:58:52Z","type":"item","id":"Q4037388","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177519"}},"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":"Q4037388$0DC31E94-112F-495C-9F9B-E3AA316268A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b165264a5cfab99de3a0c330181031c877c91be9","datavalue":{"value":"0765.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037388$902D5703-8A12-4D40-AA7B-95B2AFB9D038","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037388$DAF995A8-BC94-4790-90F5-05AA9EFE6B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebafce9516d4c14b715c69adea30ca40313f766f","datavalue":{"value":{"entity-type":"item","numeric-id":930284,"id":"Q930284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037388$79A07E11-DFAA-4886-9666-95B499FDA11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64789e48fd3ab0a44b5ae0aa6d85c1c024312026","datavalue":{"value":{"entity-type":"item","numeric-id":458479,"id":"Q458479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037388$3A81A3B6-EC26-4E2E-92FA-EA7E0E0E6ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5c2d89859cc335b0ba27e856d6b1afbdeb4530b","datavalue":{"value":{"entity-type":"item","numeric-id":689090,"id":"Q689090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037388$9FBCFBA3-0B62-4586-B6AA-68B6C9ABFACE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4037388$A33388D3-6B72-494B-A0F7-9EC88EB95F3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037388$D4CEBD8A-7875-440D-9133-293475D8739F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"267814cf76da781f8c211ae1f736d0ebe52c11d9","datavalue":{"value":"177519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037388$FA923FF0-5EE1-4157-B7FA-06C1BF30FAEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037388$793C7155-DF86-43CD-92A3-B75650114D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b92332b302089b1d60c70dbeedc761e89d8e74d2","datavalue":{"value":"verification of temporal properties of finite-state programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037388$0D818F74-849C-4DE8-B8BF-631483905D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9159d4f959d21ef7c3c5f2d36ede4144c26f9c","datavalue":{"value":"emptiness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037388$68CC0F64-03FD-45F2-9E77-E94BFCC814D5","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":"Q4037388$D54C6C5A-E34E-4B9B-AAC4-731D80D2DEA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5fd9177c171770c6eff9ff28e6c09b85343c54a","datavalue":{"value":{"entity-type":"item","numeric-id":4037099,"id":"Q4037099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d90eb876cca703f16f95f22437ed5575c605514d","datavalue":{"value":{"amount":"+0.9958080053329468","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":"Q4037388$061B752D-2080-4602-B325-5C9C01469CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f52d955002b9064e226e396365b35b7e63d4c2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3743249,"id":"Q3743249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d90eb876cca703f16f95f22437ed5575c605514d","datavalue":{"value":{"amount":"+0.9958080053329468","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":"Q4037388$B603750F-CEE7-49CA-AF1A-5E29E210C806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a47fbb30879d741bf653dab37b194fd7cd6f425","datavalue":{"value":{"entity-type":"item","numeric-id":4037371,"id":"Q4037371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d54840d7772e25845e64e4004c093d32a253592","datavalue":{"value":{"amount":"+0.7882640361785889","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":"Q4037388$984D9437-D0C0-40BB-9B14-4F5519F79548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d73b38ccbae103af343ec26ab9dd269f852cf4f","datavalue":{"value":{"entity-type":"item","numeric-id":4493881,"id":"Q4493881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d54840d7772e25845e64e4004c093d32a253592","datavalue":{"value":{"amount":"+0.7882640361785889","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":"Q4037388$F455CAA3-1858-4F4D-B677-A104606DCC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a540b391114ecfc41681dcee8da785ecbfa0e800","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96bdf22776216e9451bc5ad713d870d1653d9878","datavalue":{"value":{"amount":"+0.7854049205780029","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":"Q4037388$FFD706D3-DA99-4064-B38E-161E3153F277","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037388","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037388"}}}}}