{"entities":{"Q2767987":{"pageid":2778726,"ns":120,"title":"Item:Q2767987","lastrevid":83221460,"modified":"2026-05-07T06:41:59Z","type":"item","id":"Q2767987","labels":{"en":{"language":"en","value":"Taming the infinite: Verification of infinite-state reactive systems by finitary means"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1698864"}},"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":"Q2767987$0B359CD7-9080-4B73-A87F-A597134E7B50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"132f8c58fe07de817f2eaec463914aef96ce9dd3","datavalue":{"value":"0989.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767987$B0CBAB0D-1A80-4EFF-9DD9-3FA3E8772DA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767987$CEE438CD-C384-43F0-A062-BDF258C73152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5c32502a6d95c8a51d14316c1feffb3f43bbce3","datavalue":{"value":{"entity-type":"item","numeric-id":208769,"id":"Q208769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767987$CB1B95C0-6C06-4352-AEF3-0DE8344F89E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98a818dd251e9aa1c67eb9fd23225d737b796e1d","datavalue":{"value":{"time":"+2002-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2767987$5C991662-1B0A-4BB2-B5A1-86AE6FFEE2A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767987$A88BB327-C84A-44E7-B4BF-0661A5DDFA21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60a08998f79077a06d6078a4ec5713f785fdfc2c","datavalue":{"value":"1698864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767987$A6FF2A2B-C9AA-4CD1-A256-F69D9ADD3D63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae98cdfd52379e950f1ed188cce091d7566bf48a","datavalue":{"value":"fair discrete systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767987$6CB7187F-C517-4D66-B616-020BE735560E","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":"Q2767987$449515D1-928C-4023-AEF0-98D6783E2165","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1717659d58b2210bab74ddcef2c9bf7bb66ebbe9","datavalue":{"value":{"text":"Taming the infinite: Verification of infinite-state reactive systems by finitary means","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2767987$CE6EB77C-62A3-4225-9F7A-813B2041395F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5b43b408b2da4a683dba83631a428854b25f1e","datavalue":{"value":{"entity-type":"item","numeric-id":5491850,"id":"Q5491850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aee8fa9ada585ae8dc1871fbd277982e81286574","datavalue":{"value":{"amount":"+0.7974436283111572","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":"Q2767987$5EF45261-C7E0-4EEB-85AD-DAF36BB1F2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab708b87e2154529b600539565947a2ae82c8e5","datavalue":{"value":{"entity-type":"item","numeric-id":5292626,"id":"Q5292626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed21c95e55905c2c5b112152fe4feee2bf040912","datavalue":{"value":{"amount":"+0.7897862792015076","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":"Q2767987$FF4CEB7A-A615-497E-AB3A-E1B25E1E32B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f771967f88ed63d54e822ff4bcd89b3de97c4fd9","datavalue":{"value":{"entity-type":"item","numeric-id":5946060,"id":"Q5946060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"551e22cd57f847f41266232227b4cc4378367140","datavalue":{"value":{"amount":"+0.7829465866088867","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":"Q2767987$00FDEFCF-37E5-4C14-8A65-39BB95956BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524edc0beca4c7378c948e9bbffbb4bc9f34d3f1","datavalue":{"value":{"entity-type":"item","numeric-id":4535007,"id":"Q4535007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"551e22cd57f847f41266232227b4cc4378367140","datavalue":{"value":{"amount":"+0.7829465866088867","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":"Q2767987$8B55C5DA-C7B2-442D-B3A3-FDC9AF9726AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5715d89a80cfd073f9a63dc7ca5539a266f78c1","datavalue":{"value":{"entity-type":"item","numeric-id":1377904,"id":"Q1377904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7889c7386d16e58137201728bef92bee2676c73","datavalue":{"value":{"amount":"+0.7827950716018677","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":"Q2767987$B6AB285E-94D2-4527-94B7-7D4CDB4152E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Taming the infinite: Verification of infinite-state reactive systems by finitary means","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Taming_the_infinite:_Verification_of_infinite-state_reactive_systems_by_finitary_means"}}}}}