{"entities":{"Q4037097":{"pageid":6066815,"ns":120,"title":"Item:Q4037097","lastrevid":55246567,"modified":"2026-02-05T06:58:58Z","type":"item","id":"Q4037097","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177246"}},"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":"Q4037097$E255EE5C-B666-4D53-A111-6B1BCEA0FBF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae1e14cebba563f60bca9a4dd0a25e93bb82d9d7","datavalue":{"value":"0786.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037097$86968885-90D5-4F4F-9924-450BB4DCB6DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb36308446fc00eac1ec168b6fc19120c107ecb","datavalue":{"value":{"entity-type":"item","numeric-id":1856192,"id":"Q1856192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037097$13002C1F-EBBA-4EDD-989D-3A1186FFFEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd061ef340feff0cbd009fd7ff490684b9da51c","datavalue":{"value":{"entity-type":"item","numeric-id":685109,"id":"Q685109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037097$0FAE940B-FD7E-474D-BB24-5C212F0420A3","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":"Q4037097$6682B1EF-1136-4FC9-A62E-6DF6F7542F11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037097$268BB9FE-250F-4669-AB2F-F05B2AD70038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037097$73234567-0E5C-4526-8EBA-B0447C069252","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cbe7be168addd4892603e056e8ee92dac0e9f67","datavalue":{"value":"177246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037097$7CB5D9D0-2A7C-4675-B3AE-7339579B751E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c0b65ec3a2203625e099be9b073fc50289e061d","datavalue":{"value":"\\(\\omega\\)-regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037097$B41840F8-1EA0-4A18-8E49-CEEF0920A8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8ba9523fe1389a861721da64a930cb34b56a218","datavalue":{"value":"real-time scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037097$8A1F0276-B3D1-48DF-B704-027780D37F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b820cce07039ae215ce9a55ed858bd0b3c42fd","datavalue":{"value":"temporal specifications of reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037097$5D5F160E-8AB0-4F8D-BB89-C8AC9E7FCF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3dd2b0a9e15849b4f2b762c7ba1acd63fbfe31","datavalue":{"value":"real-time processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037097$DBAD997D-5621-4C63-8C7A-1A4E93BBE60D","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":"Q4037097$A26401E1-B06A-4CB7-A5BD-8A5A03D16523","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c1cd35c50b504afb89d65409cf2700be2eaceda","datavalue":{"value":{"entity-type":"item","numeric-id":4037392,"id":"Q4037392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd08384013e3bd29fac85f3e90ec079e84bd2996","datavalue":{"value":{"amount":"+0.999931573867798","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":"Q4037097$664A85AD-69E7-4588-AE0D-9DD8F0FFED15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff7d60a6ce8052bfa56fde89469334cce4c5fa7c","datavalue":{"value":{"entity-type":"item","numeric-id":5447371,"id":"Q5447371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea657d77478e575a6a49ffec738d4dcbb24aa525","datavalue":{"value":{"amount":"+0.99934184551239","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":"Q4037097$00BF156F-DCF5-464C-B6C1-8949C65A6438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f8fefdb63394d42595a52d52a858b79b7a1b25","datavalue":{"value":{"entity-type":"item","numeric-id":3591079,"id":"Q3591079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"409347740666bdeca9812b6e88de7068d3188a2f","datavalue":{"value":{"amount":"+0.8177018165588379","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":"Q4037097$11E5E1C2-07D5-4156-9A9C-F30D72D831E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"583272114b98919fd7d51e26e070ca76c3b6807d","datavalue":{"value":{"entity-type":"item","numeric-id":4499283,"id":"Q4499283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17ec3272f7d5b22c63018d362d02887640c3d6ea","datavalue":{"value":{"amount":"+0.8132753968238831","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":"Q4037097$417DF4C9-21F1-485E-9D1E-80E14228D010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab658ecfe0dad482fd1c41f231106def86424bcb","datavalue":{"value":{"entity-type":"item","numeric-id":5419881,"id":"Q5419881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4fb1013bb8a3ac76b4d3b80faea9eeb3fcad0af","datavalue":{"value":{"amount":"+0.8119137287139893","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":"Q4037097$94C86E84-14AD-4465-BF4D-94E354E6ADAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037097","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037097"}}}}}