{"entities":{"Q4037099":{"pageid":6066817,"ns":120,"title":"Item:Q4037099","lastrevid":55246573,"modified":"2026-02-05T06:59:03Z","type":"item","id":"Q4037099","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177248"}},"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":"Q4037099$6D887754-51D3-490F-BA1B-D4D8FFA28C17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecfd764ad6e51d8b001c578c5b59e77143024b95","datavalue":{"value":"0786.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037099$2A9010CF-81C9-4DED-BE14-5BAB6E16A31B","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":"Q4037099$505F56A9-A6CE-4BDD-AA48-BDDEA2014D3F","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":"Q4037099$D16ACA38-7028-4A37-9200-6B6A5141FA30","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":"Q4037099$994C8EC3-9815-494B-B179-9595ACF2F5DA","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":"Q4037099$09F30977-4E8A-4AFC-B8D3-2431ECF46C17","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":"Q4037099$8736B483-0925-40B3-AFE7-7240659048F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037099$E2882B4E-9487-4A4F-BF6D-FC2B8DD7269F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e20da110975cb361a109a7234b587ff18d0ffe0f","datavalue":{"value":"177248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037099$CB76AF20-56D4-447A-A226-924035B2A1FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037099$9CFBF17F-9B11-4354-8E42-8CD2602D81B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037099$23EDCC20-9B9C-4DF9-9657-4F8F438247D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ed728d3336913b7d07240d69328b0eb7f820fac","datavalue":{"value":"computer protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037099$975BA958-5457-44F1-A202-B168575807BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037099$09B7292D-9EE1-4E7B-B471-017ED7A569C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fc0e5a8d6410b651dd3b743906e7e68aa4ef591","datavalue":{"value":"temporal properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037099$0BC3E282-1FBF-4782-9043-3F36724A5227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"417a929c7470687a4f36f1646ed55f2f8cb4e7ec","datavalue":{"value":"finite-state programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037099$D43D8B2F-6F6F-446B-AFFD-440E366659F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c927d85990bc074284bdc99549eb379bc18f1eb","datavalue":{"value":"automata on infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037099$F1F0A032-1671-4AE0-B8AD-C50CECA79657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a0b489e2175a0fd5b2a53d09feb54b0d8ab6ba6","datavalue":{"value":"product automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037099$613C7E0B-ABF7-475B-AF98-0FA820BE56BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9159d4f959d21ef7c3c5f2d36ede4144c26f9c","datavalue":{"value":"emptiness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037099$3B0B4BB7-2D9E-45C2-AD3D-78CD5F6978BC","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":"Q4037099$A4D81586-DAEB-419D-AC37-D9D5548A7C3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fa8d10f191507a8f2e6a33a7b242b47d5b87695","datavalue":{"value":{"entity-type":"item","numeric-id":4037388,"id":"Q4037388"},"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":"Q4037099$6EB92E48-DA9D-452F-8FCA-275B81435EEE","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":"Q4037099$B4F37901-CCEC-4FEE-999A-F5BE84729982","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":"d816c67447127701ba59269808d1edd51fab028d","datavalue":{"value":{"amount":"+0.7866528034210205","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":"Q4037099$322D40C2-B368-432C-A819-1BE217D323B4","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":"d816c67447127701ba59269808d1edd51fab028d","datavalue":{"value":{"amount":"+0.7866528034210205","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":"Q4037099$EB7BC429-103C-4EE1-A3C1-4CC42700AB09","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":"8623389c92ac375c806addae36de62561def384f","datavalue":{"value":{"amount":"+0.7852038145065308","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":"Q4037099$D73A7FF5-E9FC-465D-9D41-9429AE6D8841","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037099","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037099"}}}}}