{"entities":{"Q3164837":{"pageid":3175553,"ns":120,"title":"Item:Q3164837","lastrevid":86580236,"modified":"2026-06-04T01:48:58Z","type":"item","id":"Q3164837","labels":{"en":{"language":"en","value":"Timed CTL model checking in Real-Time Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6094343"}},"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":"Q3164837$3B525E7C-8092-43F3-B3CC-C2D2793C44FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99c872650042dc816f454ed9803386806e3af2d1","datavalue":{"value":{"text":"Timed CTL Model Checking in Real-Time Maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3164837$3B9D8BC8-4008-4A52-9551-5DA022181923","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e3be7701c6b98c81d98de214ffe958e1b09292d","datavalue":{"value":"1366.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3164837$F9D606DB-2AD6-401B-A20E-8537DFF5F2B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2ece4af962bcdeeaeade1104ff8e4fbfc54362f","datavalue":{"value":"10.1007/978-3-642-34005-5_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3164837$3F574578-EA98-4A64-8B49-78387E62209C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49183c2c3b1b7a83224504d39546b155e5ee6711","datavalue":{"value":{"entity-type":"item","numeric-id":3164836,"id":"Q3164836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3164837$342CD3A2-B90E-4ACE-92DA-3BA42382DB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03595cd73b96d5b235024b2e19a251d81caed080","datavalue":{"value":{"entity-type":"item","numeric-id":402123,"id":"Q402123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3164837$6115A89E-1CF5-49D8-B0D2-3D9F79E9C0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffa3aa6236fe928872880c7f4a30dce18000e322","datavalue":{"value":{"entity-type":"item","numeric-id":714795,"id":"Q714795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3164837$B835191B-98BF-41D1-9B16-FC3312A4D8CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ceb113738d3e5da0a916e1b83a2de3b37ac0494b","datavalue":{"value":{"entity-type":"item","numeric-id":2827833,"id":"Q2827833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3164837$9090FFB1-6520-48E1-960A-9BE06C0CA8EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f739794021e4cde5dedcfec3f5debef30c31d67e","datavalue":{"value":{"time":"+2012-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3164837$3A4A0BA1-7970-40A0-8903-A60ACFAA616D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3164837$5E0D9D17-E482-42DB-B884-ACB3AA504B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3164837$28056A30-DBFC-4FCC-B21F-B595CFC08FA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49cc95fb2e532c414426f3376cee92349afe5ca0","datavalue":{"value":"6094343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3164837$9DB0EB6E-62EF-4732-8FE3-3CAE15155BC5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"edb9350a99d741bad75dd4840fa0f295c872eede","datavalue":{"value":{"entity-type":"item","numeric-id":13560,"id":"Q13560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3164837$40E100C8-9019-487B-B388-B874A9AE9E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4875bf5ef4030072805e7369a480c4d67cf56c4b","datavalue":{"value":{"entity-type":"item","numeric-id":21999,"id":"Q21999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3164837$233C0183-B2A7-436E-ACD8-9FBDE23AE111","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":"Q3164837$342641E4-561E-478B-A4E1-A81F0855309A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"186b33115856aa5e6840a782dd17b6926f51dbf6","datavalue":{"value":{"entity-type":"item","numeric-id":19489,"id":"Q19489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3164837$89C6D068-C157-42FD-A4CF-1D0E26CB6099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d2d437f5b06b5e2c452b601f0247f83017569bc0","datavalue":{"value":{"entity-type":"item","numeric-id":25241,"id":"Q25241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3164837$A30801ED-2045-4902-943C-B51816A6FC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3164837$06AD5F71-DDC2-4096-A0ED-AD9E28163766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3164837$7DA22D89-1F55-4696-9129-AE71DED7FD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4c7e48040248e5cbf787affe13105e0d6ff624c6","datavalue":{"value":{"entity-type":"item","numeric-id":32649,"id":"Q32649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3164837$839CE881-4528-450E-A0FE-4F8B4AED2A7A","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":"Q3164837$9B120D65-6649-4257-8D03-13604E90E713","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2bbf987f4670cc1e84643975348d19bf966f521","datavalue":{"value":"https://doi.org/10.1007/978-3-642-34005-5_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3164837$52D202B8-D4F8-405E-B9C9-486F30F90220","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36b8680f35448e174d028e5493625c9e14dd8dbb","datavalue":{"value":"W67685885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3164837$DB1A2FB8-BD11-411A-B384-595CA77D3590","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967d2af298ac21f2cd6af9ce8a91a27a9c75621c","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"273bfeeafbdad65823e8faf385c415ba29923aae","datavalue":{"value":{"amount":"+0.8303660750389099","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":"Q3164837$632D75A3-CE23-406C-9838-22932E5FA468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc682ff07520da7b67b68f77cdb981de922990e","datavalue":{"value":{"entity-type":"item","numeric-id":3176387,"id":"Q3176387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc334e0f9fa0b1639cb92f4c2188ef3728d551cd","datavalue":{"value":{"amount":"+0.8259615898132324","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":"Q3164837$3666C88A-5DD7-470D-81A1-C819FE5FCA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9495214c1f1c6a46ce1664363f2d1fb3d2861847","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e7a1179e8782433b265dad624e38b11242bb10a","datavalue":{"value":{"amount":"+0.8249704241752625","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":"Q3164837$1ED38202-C2E4-4B41-92C8-E99EAD38CE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0fc6ef197a9b760a2f0b31c4c5d54e1acf2848","datavalue":{"value":{"entity-type":"item","numeric-id":4951403,"id":"Q4951403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2bf588ac0debb66e00cf1e691801591f87aaa5a","datavalue":{"value":{"amount":"+0.8239124417304993","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":"Q3164837$69729D63-2C43-473F-8BEE-7FDF83E3D13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa86f47a1baadf59d1ff570eb35937afa518898","datavalue":{"value":{"amount":"+0.823903501033783","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":"Q3164837$1ABF75C6-911A-4851-AABF-AFD871CCD86D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Timed CTL model checking in Real-Time Maude","badges":[]}}}}}