{"entities":{"Q2709812":{"pageid":2720551,"ns":120,"title":"Item:Q2709812","lastrevid":79119542,"modified":"2026-05-06T13:11:29Z","type":"item","id":"Q2709812","labels":{"en":{"language":"en","value":"Correctness of efficient real-time model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1587162"}},"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":"Q2709812$954B6CDC-E47D-4192-9709-2CD564036846","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"748e3cc8f74a3ab16023a107b836f5b365610225","datavalue":{"value":"0970.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709812$8E870CB1-48B9-48E1-AF06-EE6ADEEF6AB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dfedb9e8f39a520fe833d6538db6dc39854cff4","datavalue":{"value":{"entity-type":"item","numeric-id":539222,"id":"Q539222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709812$0AD146F5-E80A-4E10-BE39-415D6C27EFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"905b270720daed71689fc357ca726e36dc429907","datavalue":{"value":{"entity-type":"item","numeric-id":539220,"id":"Q539220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709812$C07398CB-D19B-457C-B4C8-350FEE3FF083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c5685191fb6ad0a048e0d115db2c436429de98f","datavalue":{"value":{"entity-type":"item","numeric-id":2709811,"id":"Q2709811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709812$7A0837FB-D5ED-45BA-803A-BE4F3D23710A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf54f32cfcae01899300594140c48c964e8db57d","datavalue":{"value":{"entity-type":"item","numeric-id":1425002,"id":"Q1425002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709812$391631F0-890B-4C97-BD40-EEC05E0F2D7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0314b5a051dfeeb73cb27a5aea010a13792ac7cc","datavalue":{"value":{"time":"+2001-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2709812$8D05F830-F14E-4C31-A24F-3F3E41FEF3FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709812$4C39BC93-5619-4CD2-935E-4F0CCA60D224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709812$A173F380-B8ED-472A-B58E-3957DB0CE47B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c17bd4de68f4d39fbc22de277b7541e7a99ab82","datavalue":{"value":"1587162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709812$812BB013-4655-4EE0-A346-03D275DC4E48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"626cad2b549fbe86c00bca1e64d17e57cbd8b8d3","datavalue":{"value":"bitvectors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709812$4DE87BAF-0565-4785-A6D4-C8EB9B6064D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb1d9acd3b8f584aec680204ecf0465699dbe894","datavalue":{"value":"real-time model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709812$0A527C52-452E-4573-A196-3DD5D08489F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cf6698d5e54e07a0a8761e5b63fa249d656a733","datavalue":{"value":"RAVEN model checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709812$A2DF9F99-2434-4E8F-B1B8-926028A23783","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"de533db10a366c545f8de5c2d017b9f29769a48a","datavalue":{"value":{"entity-type":"item","numeric-id":22048,"id":"Q22048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709812$06543FDF-41A8-4C9C-8D41-6B5F20B33D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7aa47621b17d0cd88eea4f1397181a4d6b8f672","datavalue":{"value":{"entity-type":"item","numeric-id":22029,"id":"Q22029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709812$1533A58D-FD93-4ECA-BFDB-A142D4F4F828","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":"Q2709812$BB332D32-BA4D-4628-BD06-059B1999C39A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"785ff65e4ee60ad11a7c6adf3143e6d7e5f21e92","datavalue":{"value":{"text":"Correctness of efficient real-time model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2709812$4EAD1D48-50EE-4D22-AA0E-BBA91AD10E65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c6d23f5e6d6bf1cc5470572ba2ca753041c02a4","datavalue":{"value":{"entity-type":"item","numeric-id":6768184,"id":"Q6768184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709812$3D60DBC7-425A-42AF-9282-788891E5BA3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f5df4a94c821a4fb3cf532bdf48e46ed96c0be","datavalue":{"value":{"entity-type":"item","numeric-id":5055879,"id":"Q5055879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1c322c0c57cf2b7f405c5cc2b4992f305bcaadf","datavalue":{"value":{"amount":"+0.7946766018867493","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":"Q2709812$5D592238-E653-48D4-85E1-E07A90CDA1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be1d0edad1cf17af03e119c319453b1c3625ff74","datavalue":{"value":{"entity-type":"item","numeric-id":5493225,"id":"Q5493225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5a50658bda7efebd7d3532904ee1fbbab684d7","datavalue":{"value":{"amount":"+0.7946265339851379","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":"Q2709812$369FE4B7-4E0B-466B-9A01-17BAFC902117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05269778da7d1af859ed57cf9d04803309e2d87","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"584d7d8828ffb896e5dc70091eb9b6cbd39eb50a","datavalue":{"value":{"amount":"+0.7771006226539612","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":"Q2709812$E933B0D0-A12F-41AD-A4A1-AC58684D4590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d493e274da9100ce86bb5b7d0f63352b7e13c52","datavalue":{"value":{"entity-type":"item","numeric-id":6162102,"id":"Q6162102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e7478577e5402611fb0f63cc65741d2b830b2e8","datavalue":{"value":{"amount":"+0.7758901119232178","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":"Q2709812$AA19CEA9-E5BC-4D5F-B442-9D1A54EA8792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60a3f84bf07f8ba41d4ee83b6e450c703c00078f","datavalue":{"value":{"entity-type":"item","numeric-id":1425003,"id":"Q1425003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd45832118758d515d7b6965bd20f1b421dc7e44","datavalue":{"value":{"amount":"+0.7750145196914673","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":"Q2709812$9CD7BB25-ACCD-4084-A9A6-0B17692EACED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correctness of efficient real-time model checking","badges":[]}}}}}