{"entities":{"Q5239237":{"pageid":7268805,"ns":120,"title":"Item:Q5239237","lastrevid":55373941,"modified":"2026-02-17T14:43:49Z","type":"item","id":"Q5239237","labels":{"en":{"language":"en","value":"Formal verification of weakly-hard systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7120155"}},"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":"Q5239237$6D3D9F05-95E5-4D66-BB2C-1A42CCC18DD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60d78ec6e1e50432e2f7e9b96de62d0f785c26c4","datavalue":{"value":{"text":"Formal verification of weakly-hard systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5239237$2B6FDA6D-3FB6-4182-990E-A916E6D34FCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46139681a3cb5df34d34e654ba7232cb94c973fc","datavalue":{"value":"10.1145/3302504.3311811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239237$3BC1CDBD-D272-4A67-B223-7A179BA85D79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b5836cbe288323d6943609762b2a41f27b0c712e","datavalue":{"value":{"entity-type":"item","numeric-id":5239212,"id":"Q5239212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239237$AD7AAE32-C09F-4253-B4A0-457D4951F6F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57e80c845c96b0988db493e5ae271fe0a944be8f","datavalue":{"value":{"time":"+2019-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5239237$787F0A77-5251-42A5-BD26-16E85CE3E3C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239237$66B840C0-829A-4057-B769-F226B7FC5B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239237$82C601B4-767D-4F07-B2F0-3D3AF36FE1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239237$1905B4FA-36F7-4D3B-965C-AE0E860EBD67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd5bd3e2d936b4568f48c4918b3114b4cc57c68e","datavalue":{"value":"7120155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239237$D5316F38-796D-4283-B35E-5C8403D0DD37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239237$9C8C0993-24A0-4C58-8D84-F3CDF79336EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239237$B82AEC04-A8E9-40DC-A891-9BA845453C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"778cc8a686cf7ff52b2bb2ca38d9169248b25920","datavalue":{"value":"weakly-hard","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239237$F21748BE-CFF2-4F15-AADB-A7E9B997AE68","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":"Q5239237$7D7A7267-C37E-4B62-9999-380BAF812EE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"564f9481b3abc8cec05487748dafc680d2b414aa","datavalue":{"value":"https://doi.org/10.1145/3302504.3311811","type":"string"},"datatype":"url"},"type":"statement","id":"Q5239237$E38F832E-C9C9-48C5-B125-85F14AF437B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8574de5c09fd9b97a4dde71e190d958bfd9bb23f","datavalue":{"value":"W2937876711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239237$949840A9-33CE-484C-919F-EF4EBBA0BC48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3efca6491d97b39e3ffc71213f6522e344f3a7d2","datavalue":{"value":{"entity-type":"item","numeric-id":5140800,"id":"Q5140800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bff98524039599bdd03f2f6f531622d4eef0dbc6","datavalue":{"value":{"amount":"+0.802712082862854","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":"Q5239237$EBE5F0D2-9CC9-4080-8CD3-F6911DB7F123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a5bd8d0f9ca773ae352823d5179efce26e9150","datavalue":{"value":{"entity-type":"item","numeric-id":3431056,"id":"Q3431056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ede1ff044cbd2a41ad401773cecd55c8bec02de","datavalue":{"value":{"amount":"+0.7763389348983765","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":"Q5239237$E35CDBCC-7178-495A-B5BE-35851ED0B0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee99c83b8fc5fa70a7997ccee9048845ddad6d5","datavalue":{"value":{"entity-type":"item","numeric-id":1884329,"id":"Q1884329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97283b4173313fb9e08109ca3c3b6ca68550aef8","datavalue":{"value":{"amount":"+0.7395283579826355","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":"Q5239237$5368CB1B-882B-47CA-ABAE-B049773B0661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b048c6ffc608a1b3d653f4cd34e5bcb4d3d580","datavalue":{"value":{"entity-type":"item","numeric-id":2783116,"id":"Q2783116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f6a2f4b2b935059d94d538d73e03459643fe938","datavalue":{"value":{"amount":"+0.7142277956008911","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":"Q5239237$5F11FF13-74F5-44A6-A34B-02FAA175C6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09aa86b65ad957458263dd5b8df3e5dd3337d15e","datavalue":{"value":{"entity-type":"item","numeric-id":3300240,"id":"Q3300240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f304337a1d415c3d2a7b86068f4242cecaa2f0b","datavalue":{"value":{"amount":"+0.700936496257782","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":"Q5239237$7F378839-C2C0-4063-BE67-675F03FF1A87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5239237","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5239237"}}}}}