{"entities":{"Q4610039":{"pageid":6639622,"ns":120,"title":"Item:Q4610039","lastrevid":97863089,"modified":"2026-06-05T15:39:35Z","type":"item","id":"Q4610039","labels":{"en":{"language":"en","value":"Verification of systems with degradation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6856238"}},"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":"Q4610039$0325E89D-0503-417A-ACED-27CDEEDD7CF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"521a0a047d0cfbdb38c13294f0b8515039f34f1e","datavalue":{"value":"1399.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610039$BF0DF9F4-D7C4-4D1E-BFF8-2929A201D62A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b119b02feec4741f0c136f459ab9afd7603e153c","datavalue":{"value":{"entity-type":"item","numeric-id":282090,"id":"Q282090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610039$90AD4AAE-03ED-4702-AC7C-EE66362EA66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"212fb0c4514e893fa07e5fc554f3883bf3b7eb76","datavalue":{"value":{"entity-type":"item","numeric-id":290877,"id":"Q290877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610039$7FBB0AC0-3D2B-427F-BF50-C11E344AD9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49f82df4d18eab422e11b74b412720f50f68da1a","datavalue":{"value":{"entity-type":"item","numeric-id":1306564,"id":"Q1306564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610039$0050CB6A-AF6D-461F-B828-A576E0B5BCFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb5f99ba419b7cb955bf510c52103b6e8129dbb5","datavalue":{"value":{"time":"+2018-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4610039$AF02ACBA-0EFB-46C2-A49A-151B504FD1B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610039$4A9BCCFD-FABD-4D9B-9041-41FDE939D63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610039$169ABDC6-4148-4700-9EBD-3492DF83645D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a366644973291decaba7ee189d06cf4cc7485ce","datavalue":{"value":"6856238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610039$BA5CF108-378C-4692-B2A5-2FDC80846496","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1481372caaf52f0343045ec061612f3d27400acb","datavalue":{"value":"systems with degradation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610039$30E2AB49-CE98-4C22-AE19-365CC36B45BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610039$896762DD-C348-45DA-881A-ADF0C8E0C957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56783a1151b22984296a4a7b7dd58c2361823979","datavalue":{"value":"quantitative model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610039$1A968B56-239A-46A7-952F-062893ED89C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ff994e43b00d7eae3506efc9a37b4594162eaa","datavalue":{"value":"automata-based approach to verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610039$C493520F-901A-47D0-80B8-2759F6F3DC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610039$C5B5740E-B72F-4C24-9373-BE7A8A70D783","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":"Q4610039$33B22903-D1B0-4417-AF88-D37EDF542207","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50ccbd9f176828574144f244af99dbf2a119ef65","datavalue":{"value":{"entity-type":"item","numeric-id":5498739,"id":"Q5498739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ad3e6c7fc35f13a310135a25d453cedbaf3eaf2","datavalue":{"value":{"amount":"+0.7055694460868835","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":"Q4610039$A5DE97D6-FEE1-4D1E-8C24-4EC6FD93B2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba64cf22c8a16766953f084708f06794a5cd904","datavalue":{"value":{"entity-type":"item","numeric-id":1941912,"id":"Q1941912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"546df103338237b7ea989f1e2097e18d39375537","datavalue":{"value":{"amount":"+0.7055344581604004","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":"Q4610039$F3F8EB12-64F3-4CE4-A0D9-DA1FFE66B0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d6727e5c12b4999c6de24f7d3715487a595b821","datavalue":{"value":{"entity-type":"item","numeric-id":3177797,"id":"Q3177797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e54896329a8c8177da3d8b4771b5d25ae874ad","datavalue":{"value":{"amount":"+0.695620596408844","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":"Q4610039$0F6FA541-415E-4E4C-9CD2-CC240838A8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c2b3d5759174db104359567c878921bd36d4e62","datavalue":{"value":{"entity-type":"item","numeric-id":5327419,"id":"Q5327419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f4d14fb815b80b21df6c3a2d1b0f9cfc5d77850","datavalue":{"value":{"amount":"+0.6905921697616577","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":"Q4610039$6A69CA95-8A0F-4259-9454-E9257E0E24E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a12d95967ad259acf137875a212f82bbae2a00c","datavalue":{"value":{"entity-type":"item","numeric-id":2575738,"id":"Q2575738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c107ebfadf4f6ebd5870cfeb5ca552df5fa9702","datavalue":{"value":{"amount":"+0.6807817816734314","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":"Q4610039$A2965D02-9C1A-4229-9329-5D9C0CDE157E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of systems with degradation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_systems_with_degradation"}}}}}