{"entities":{"Q5447366":{"pageid":7476925,"ns":120,"title":"Item:Q5447366","lastrevid":50298389,"modified":"2026-01-13T18:57:30Z","type":"item","id":"Q5447366","labels":{"en":{"language":"en","value":"Automata on infinite words and their applications in formal verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5245257"}},"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":"Q5447366$2BF983A1-DE9C-4562-B996-857B041D0D5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b410a3b12c0d796cacf5b9419ae14cf754553bb","datavalue":{"value":"1137.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5447366$5A98A83E-DBFB-4957-BD92-C9B7730D6151","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5447366$774FA6B5-1376-4290-84F3-08927F2044F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf82d0ee1f43b6e127707e975562f6a0a8754bd6","datavalue":{"value":{"time":"+2008-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5447366$EB286303-1DA2-4840-84D9-4235CA7CE3FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5447366$C6BB78C4-DBB2-424B-A3A3-6254BEB714A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5447366$ACC12442-CD56-4F37-8652-B786B31F6162","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"973e0958bd6a037443980514d7b9cdabbe7f8d10","datavalue":{"value":"5245257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5447366$8A188D76-92F9-40A6-9FF9-94D8D124CACA","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":"Q5447366$5E8F9F12-55DA-4338-9F12-84CA8541378F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"629c1f4de26776cf53160e78a4694d545b93c3f1","datavalue":{"value":{"entity-type":"item","numeric-id":3176362,"id":"Q3176362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a17255a9a45249263b74bb7ddf3e34599ca15b1a","datavalue":{"value":{"amount":"+0.823308527469635","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":"Q5447366$CA2F359D-D9A7-49A9-91C5-8B00B1C1C7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff595df7d007ecaa81db64aad0e0a61fa69a2975","datavalue":{"value":{"entity-type":"item","numeric-id":4907854,"id":"Q4907854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9efa3b88e5af723d245921c239d99b1a9425087e","datavalue":{"value":{"amount":"+0.7685560584068298","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":"Q5447366$1A171EDD-6EE8-4E00-B3E7-CD65AA8C5C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f9d7747c9d80ff170b782b26fb981d975b5b59","datavalue":{"value":{"entity-type":"item","numeric-id":5435639,"id":"Q5435639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ec1184baf49f21097a95090c51d86fe0243afed","datavalue":{"value":{"amount":"+0.7596281170845032","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":"Q5447366$A8EFD108-E037-412E-8FD7-242995C5D1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89e0d9e9fc90eb345e2d7071ebb798f50bb9c347","datavalue":{"value":{"entity-type":"item","numeric-id":5463968,"id":"Q5463968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8c5c96f64ce5aa5b75f15bac6e16713204f954a","datavalue":{"value":{"amount":"+0.7525703310966492","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":"Q5447366$B32B387F-19B7-4E6D-A643-71BB0F7B4563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a45a63a94db310200716c8c1631f52e03f111653","datavalue":{"value":{"entity-type":"item","numeric-id":3086936,"id":"Q3086936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff14670305031691cb3ca43c9c00a813a659f228","datavalue":{"value":{"amount":"+0.7489863634109497","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":"Q5447366$FE8C4FAD-8246-4F8A-A403-3A93A81E72C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5447366","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5447366"}}}}}