{"entities":{"Q5757088":{"pageid":7786639,"ns":120,"title":"Item:Q5757088","lastrevid":50151584,"modified":"2026-01-13T06:58:57Z","type":"item","id":"Q5757088","labels":{"en":{"language":"en","value":"Verification of Giotto based embedded control systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5182605"}},"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":"Q5757088$C5E4DFD4-0BD5-434B-89DF-AC0771A14E44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c008d87a11d82154a15b6490a1ea01f5e2e10b8","datavalue":{"value":"1123.68319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757088$BDFA7E52-0DB2-4B9B-A47E-B9A4A0A40192","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8ba56855217e8f39f07809b7785e5cb58e690a7","datavalue":{"value":{"entity-type":"item","numeric-id":5757087,"id":"Q5757087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757088$4B6DD9B9-394B-488D-AE8B-3A3544455B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f7b97d0ec13caeea26ece0842a295b2fa3e4b72","datavalue":{"value":{"entity-type":"item","numeric-id":2841312,"id":"Q2841312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757088$C3F2C0BD-C9DA-47F9-96C5-E8BD3E4CE768","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b3b97850ad922fb0b3d1f35a3ae4136421c5a56","datavalue":{"value":{"time":"+2007-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5757088$E75D33E6-9F11-434F-9EF8-C612D16863D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757088$4897DA0A-BEB0-4864-AEF0-D5607EDFA2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"931f9bc6fe69aba6508703df7e266476edb87eb8","datavalue":{"value":"93B51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757088$7F0FE133-2ABC-4480-B6D5-D60C53304CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757088$D6C0A8E2-6285-4FA5-8E4C-C37D78862757","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4745ddd434becbb26455769307c832461f94439","datavalue":{"value":"5182605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757088$CF3FC465-2F4A-40A0-B391-EF1DA92ADEE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1d1bb7d30aa909dd8b9c4d5ca8982371834fc19","datavalue":{"value":"real-time verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5757088$E91A281C-6C94-4154-8381-1BD6F0782432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25f61d45dbfb5fc3856894113645f7f14b72f982","datavalue":{"value":"guided model translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5757088$4BA24E4C-61B8-4CD9-8724-2077E6157B67","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"18bc15ad2bf77a1c3c55b200786be5ae7bd10705","datavalue":{"value":{"entity-type":"item","numeric-id":14128,"id":"Q14128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757088$CD5EB96E-0057-435D-AC60-D219B3327717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757088$5B38DB0B-CC2E-428D-8B1B-B01E4A4338C8","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":"Q5757088$A876A170-97B2-4992-B6EF-7D72562C79B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"045e4fda7638300e3446ba4721be4942745b3ac6","datavalue":{"value":{"entity-type":"item","numeric-id":4473721,"id":"Q4473721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e4200b6b496e7919249ad22c954f9049f028b75","datavalue":{"value":{"amount":"+0.7687221765518188","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":"Q5757088$03DCADAF-E845-4F5E-8B43-835EE0CA80B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f167b8873b1401d72086d2ae4a053293dc7cf3e7","datavalue":{"value":{"entity-type":"item","numeric-id":4439559,"id":"Q4439559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67a00bac10fa6a1240c67ccb6c78c1bdc38292d0","datavalue":{"value":{"amount":"+0.7660742998123169","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":"Q5757088$74E125C0-6F18-42BD-B7AE-4A51CE893E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"906e6e08785ad87e34eba88192920c1e2f7852f5","datavalue":{"value":{"entity-type":"item","numeric-id":877159,"id":"Q877159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14096251ea5560dd63d4e3a6aee0ecdeaff820b9","datavalue":{"value":{"amount":"+0.7353911995887756","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":"Q5757088$9B63D0F4-2268-4B67-A9D2-C82FCF4498FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bab11d38a8b9a12a51bb06f4311f89d5b96ae4c9","datavalue":{"value":{"entity-type":"item","numeric-id":2993272,"id":"Q2993272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7716a747be887ba03154afe915be73cb48afc11d","datavalue":{"value":{"amount":"+0.7349282503128052","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":"Q5757088$738C9C3D-3505-4F5F-8EF5-D5CCA41854CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4c8134d85e0af69adade9d96ac601f9a688f3e5","datavalue":{"value":{"entity-type":"item","numeric-id":2988969,"id":"Q2988969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94ceab25b7dcad34ebf043b61ee11729b67e12dc","datavalue":{"value":{"amount":"+0.7272552251815796","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":"Q5757088$EC9AEDF0-9168-4F8D-B328-5AD9FEC55162","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5757088","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5757088"}}}}}