{"entities":{"Q2879254":{"pageid":2889974,"ns":120,"title":"Item:Q2879254","lastrevid":83972018,"modified":"2026-05-07T15:25:10Z","type":"item","id":"Q2879254","labels":{"en":{"language":"en","value":"Completeness and Decidability Results for CTL in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341484"}},"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":"Q2879254$70710FBC-CD8E-4EA5-B978-3B83B2635564","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eadbf3a2a77d6d5d92bba13e904a13b4bb308831","datavalue":{"value":{"text":"Completeness and Decidability Results for CTL in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879254$804D327C-F949-4778-9C10-B0E0DACAC03F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce41597c77a23169e4fc634684738da67e5a7050","datavalue":{"value":"1416.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879254$5215BF83-4951-4216-871F-70065D6D7C8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c1842f8ff6eb293c4ddfa75e17b20681c9286de","datavalue":{"value":"10.1007/978-3-319-08970-6_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879254$D1FB8684-C284-4473-8700-6576D28979E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"861b952ab0155c1e552595c0e2d4d9f7c90a7747","datavalue":{"value":{"entity-type":"item","numeric-id":287373,"id":"Q287373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879254$1D6B42D7-7F2F-41C0-8142-F1E654D5B112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"225109b4f8ba0800ada6d56599a0747e315014b7","datavalue":{"value":{"entity-type":"item","numeric-id":287374,"id":"Q287374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879254$0224F7EF-279A-4A22-A2D3-1C6728E93F54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879254$53143887-820F-49E2-AB19-4F4FF607FE80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879254$980773D1-DD89-4E4E-B9E9-A93834E4D1EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879254$FEBD481A-7178-4A08-8F99-3BB38E3ADB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879254$0E01166A-2AD8-4367-860B-C8B897D7AB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879254$603E5FB9-BDC9-43C9-86BB-991C68A676EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879254$01A0398C-B591-43A1-8FEC-130A27E38EE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0660fff11153e04a0c19f7d90a719fac0c1e1b7f","datavalue":{"value":"6341484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879254$E354EC68-2C8E-4101-9C56-13CB47E0239A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879254$09F8D3F4-725A-406F-B581-A19FA887BA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879254$2576F6F6-0827-4BBD-A0A5-93A847432ECD","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":"Q2879254$A4CAFCA8-A5F9-4C7E-A3E8-2CC351F41BC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"234f869858aa8d98fc9afc9c030939e521c4252d","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08970-6_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879254$05F7E7AB-BC4B-4512-AAE3-561736C3C3F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b5904684cb5f3786fa2fc6a5514834be4db5a39","datavalue":{"value":"W2142533042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879254$A97966CC-816C-4E00-A378-118D03061A3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9996710516bd0250997e2a4af86b3ea67416e316","datavalue":{"value":{"entity-type":"item","numeric-id":287375,"id":"Q287375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b3dabfa677287ef900f8925434a1f00c1859cfe","datavalue":{"value":{"amount":"+0.94106877","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879254$01C55DC8-E55B-4B5C-B61F-5533D07547C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fd8d09dee35351337ba4b36d9abb40279abf4e1","datavalue":{"value":{"entity-type":"item","numeric-id":5278393,"id":"Q5278393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b942feb2adcafd40ceb807f59fac4aae9a5895b","datavalue":{"value":{"amount":"+0.89744663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879254$2CC400DB-FCFF-440C-A659-D9848945985B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c084d7aaeb05c8c0b51aacdb26edde7a746b3a5","datavalue":{"value":{"entity-type":"item","numeric-id":5504119,"id":"Q5504119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"326476555d396d887f76c88c9d03e7cf16eb1522","datavalue":{"value":{"amount":"+0.88490015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879254$95D056AB-7B05-4912-9E41-DCFF9B203241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef71ff879dea93172aaa725c5c052f40945aa269","datavalue":{"value":{"entity-type":"item","numeric-id":3839055,"id":"Q3839055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2c21fc6f79eaf4e5637f814f06af45d311ef6c8","datavalue":{"value":{"amount":"+0.8822556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879254$61C42630-E7FE-417B-8E61-74CC291FF65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"793d268335cb0310030c003f9a67cbb04ebc75e9","datavalue":{"value":{"entity-type":"item","numeric-id":5747648,"id":"Q5747648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"500fb66db0bef2fbb347db6c8434c5407cc57665","datavalue":{"value":{"amount":"+0.8821333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879254$1EFD790F-93C6-4F58-8A78-02155159C5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d9fa717f795626b9d9a2a393dcd6c5f8a2208ee","datavalue":{"value":{"entity-type":"item","numeric-id":2881083,"id":"Q2881083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"572a176bb4b6608d0f2c7f829e08c2181f6f44f6","datavalue":{"value":{"amount":"+0.8736314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879254$8CCD5BDA-B24A-4FDB-B2C5-7FA0D3CE262E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"def4e52c6ef17061b38fe53997c56fdb96710c18","datavalue":{"value":{"entity-type":"item","numeric-id":1770366,"id":"Q1770366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"511d0eab330d22fcf48739b5b31f4843993be1c8","datavalue":{"value":{"amount":"+0.87362325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879254$1CE88274-F14D-4FE6-92F7-E591584B7EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45259a692f704ff9fa5333f98fe9a1012f3def9b","datavalue":{"value":{"entity-type":"item","numeric-id":2362498,"id":"Q2362498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d82452c3d7ee5d70f5b9ce79b3737f8bca471c","datavalue":{"value":{"amount":"+0.87119555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879254$ABF9F866-F7A7-411E-AE77-ACC049EE19E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b127dff620d3da7cecf0861c40a8f674af02ec2d","datavalue":{"value":{"entity-type":"item","numeric-id":4484475,"id":"Q4484475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25750930f9aa9ab8549043641fb2625218c4e5c","datavalue":{"value":{"amount":"+0.8708304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879254$8DCF9795-F9D8-4D81-85D4-3F093A176C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1813dee6ade6ce3af2af73d2234b94398df48393","datavalue":{"value":{"entity-type":"item","numeric-id":5958299,"id":"Q5958299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d52bd44c169ad42d324e58e608928651dcb963eb","datavalue":{"value":{"amount":"+0.86977994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879254$6DCDE574-8994-4795-AF6D-B618FDE13747","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness and Decidability Results for CTL in Coq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_and_Decidability_Results_for_CTL_in_Coq"}}}}}