{"entities":{"Q1974481":{"pageid":1985223,"ns":120,"title":"Item:Q1974481","lastrevid":82280660,"modified":"2026-05-06T20:31:45Z","type":"item","id":"Q1974481","labels":{"en":{"language":"en","value":"Hybrid verifications of reactive programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1439781"}},"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":"Q1974481$669AEFE9-1DE0-4136-86E1-9A5B21700A0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b919c5e22b288298c2d400f3a5afd27253406ab1","datavalue":{"value":{"text":"Hybrid verifications of reactive programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1974481$B2996D64-B8B5-4CF9-9ECD-37E44500DC66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b73297ec604eeb0df7e09706b9a2e9c8d76be267","datavalue":{"value":"0955.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974481$4A6B22E2-81D3-4F5A-86FA-C58658709DF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6f5eaebbf7c201717b30817262749feba5d5244","datavalue":{"value":{"entity-type":"item","numeric-id":209128,"id":"Q209128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974481$7D5626EE-8E0F-4B33-9CB6-22D95F421BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e6276f2b5f5afd85d3b3b6bb8e4fd8cf82500e8","datavalue":{"value":{"entity-type":"item","numeric-id":493520,"id":"Q493520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974481$13C46174-8470-4A00-B331-502A893C4F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0cd92bc58c10a1fde8ab26d005df17543d6e92","datavalue":{"value":{"entity-type":"item","numeric-id":209127,"id":"Q209127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974481$18757AB0-7087-410A-9CE5-63FF9CD9F20B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974481$1E3D0419-FD9F-4E85-A327-F0B8051455B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc17136081e6b5d5fc40d3affb0beecbc4f23a8c","datavalue":{"value":{"time":"+2000-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1974481$49BEAF99-AF43-410C-828F-0B9BF7C0B483","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974481$4CB40E82-2541-471F-8F8A-DBB2E2D553E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974481$15EBB687-DD55-49F9-9FBF-85009094EBF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ef7dcc1fd80db1545c1cd30c3964e22bef58ea8","datavalue":{"value":"1439781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974481$1CDA4765-0D14-4DBE-B1AA-E6A1A205558E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1974481$2CEED80B-73EF-47D3-926B-0CFEAA6E05FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1974481$CCB411ED-9703-44E9-A6A5-FF890E0D2C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b25178f9c4cf0ee0f269422c24217293fb58adb6","datavalue":{"value":"ELECTRE","type":"string"},"datatype":"string"},"type":"statement","id":"Q1974481$4B0C37CD-C98A-4C0A-9ADE-151F3A11B54A","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":"Q1974481$9535C8E8-F1FE-4D3A-B6A3-BEC2EE753004","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b306dc6b0fbf286c45b9a79afd2a8b4c28e2ac4e","datavalue":{"value":"https://doi.org/10.1007/s001650050042","type":"string"},"datatype":"url"},"type":"statement","id":"Q1974481$9BDC6A88-3A8D-423C-95AD-E78A03A44528","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6a1fb2cebcd00f3ec0872fa2ff48f21e28fc941","datavalue":{"value":"W1970864677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974481$BD10E804-E4E1-4524-8FDB-A5C0C2E2D43F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f737c1d4e6b1b08670e899b91251743b145d789e","datavalue":{"value":"10.1007/S001650050042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974481$12A729A4-DE1A-4137-AC23-573C4084885F","rank":"normal"}],"P1643":[{"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":"b9d1475654ad73a311da35d56fc908740acb52d4","datavalue":{"value":{"amount":"+0.9555715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1974481$9F4B72CC-02BD-4990-9B39-BCDD8C6FF3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d823862eb70dc0061ec59fd89b30f3882b486170","datavalue":{"value":{"entity-type":"item","numeric-id":596025,"id":"Q596025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4c8fc08c534b2b5d20fe7170fc5bd77d7518561","datavalue":{"value":{"amount":"+0.91309774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1974481$DF95643D-9291-4C2E-BE9B-A98E03C642CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c055b0a6245b68f7c64016c00ebdbac0def3df","datavalue":{"value":{"entity-type":"item","numeric-id":2043817,"id":"Q2043817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62584b13e618c150f98880c7d1ecfd3d4356f156","datavalue":{"value":{"amount":"+0.9060904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1974481$FEB0D2E7-AA91-4964-B917-1FD60FC6DE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daeda69beb5bc4f416d4471ecf35838fe5d7d9d8","datavalue":{"value":{"entity-type":"item","numeric-id":1617824,"id":"Q1617824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"552f3d65caec012a19cf1320dc9a017290f004fe","datavalue":{"value":{"amount":"+0.903657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1974481$474618F0-83E0-4EF5-9B17-372B80B85BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df9c4bc792eeb76b6bd24e4cbaeb42b6ffa465d1","datavalue":{"value":{"entity-type":"item","numeric-id":2841282,"id":"Q2841282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b20e844145cfc1de1952b47950cb73291a496e","datavalue":{"value":{"amount":"+0.8914697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1974481$AAFAADE4-9440-48B2-BD0D-74C41398BD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b17f0ba7b077b303fc84a00df3777974c472bd09","datavalue":{"value":{"entity-type":"item","numeric-id":1395897,"id":"Q1395897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dce4aa0c72fe6ff9cb074c5cf61815aa0f6804dd","datavalue":{"value":{"amount":"+0.8877136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1974481$1B088387-D653-4322-9FDE-D51081F65311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5004d31e30982496f502b5d79221821d0a921ed2","datavalue":{"value":{"entity-type":"item","numeric-id":4576204,"id":"Q4576204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cb900f60678e086e352426809879bc240c4b194","datavalue":{"value":{"amount":"+0.878634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1974481$A58607FF-BEFC-4BD0-80F1-791A4D329194","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hybrid verifications of reactive programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hybrid_verifications_of_reactive_programs"}}}}}