{"entities":{"Q3540061":{"pageid":5569965,"ns":120,"title":"Item:Q3540061","lastrevid":81044246,"modified":"2026-05-06T17:35:19Z","type":"item","id":"Q3540061","labels":{"en":{"language":"en","value":"CTL Model-Checking with Graded Quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369259"}},"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":"Q3540061$83FC5ACD-A021-412F-A0CF-D395A9361EE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4523da9f6daa684b0b8c0e2f90c0e9b709a4e066","datavalue":{"value":{"text":"CTL Model-Checking with Graded Quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3540061$28CC7744-8B94-45DD-9610-DDDC66EA8F04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c570839763ed7af495ad54fee8c55dafe230001","datavalue":{"value":"1183.68370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540061$E30290AA-7833-4AB6-9EA4-AF586F5098F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51909de5bbdd232aacd0046c797b4eed2f3bd372","datavalue":{"value":"10.1007/978-3-540-88387-6_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540061$6B4E4142-03C5-4CE5-9CC0-558A10274305","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b797c575157eab559005f02368290434a93f0965","datavalue":{"value":{"entity-type":"item","numeric-id":1006064,"id":"Q1006064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540061$B4951709-9284-4944-8A3A-EAD327480A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a375d8768160d412502d42bb68a0091e7125c98e","datavalue":{"value":{"entity-type":"item","numeric-id":483303,"id":"Q483303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540061$64C41BE7-044B-4859-8E10-83A7C8846A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b91b7e9b71b17972586982d48b569d6d7014de4b","datavalue":{"value":{"entity-type":"item","numeric-id":671528,"id":"Q671528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540061$DDA222B9-D69D-4AF4-AE12-6EF9C112ACF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540061$145A22AA-AD26-4961-8874-168B6E0A3C27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3540061$4C671D4E-5BE8-4852-94F0-8B635E72151A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540061$18C425B3-7C57-487A-9D5E-6FE3A17576E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540061$F2425C5F-AD42-4E1C-A186-7A183E609FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540061$F9DFC153-DC46-47CB-9163-91B9DCBD5E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540061$B52571B1-BA7A-43DE-9DC2-CAC8275CD731","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"661e7d09b25d03413e98f75cddfb3879b388c625","datavalue":{"value":"5369259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540061$B4B9E76E-A223-4468-AF08-01C6E495D6D2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ad725596f99b531ed67c340f4e5db7fc66fe2c1","datavalue":{"value":{"entity-type":"item","numeric-id":19812,"id":"Q19812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540061$248C633D-2297-4909-8A47-289CEFD7515B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540061$7AA0DFC4-45E3-4AB1-8205-2E109C965B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540061$A3B594BB-91B1-455B-8675-23220CCA1AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540061$6CF61D0C-E51A-4A91-BE2C-650E328E46E2","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":"Q3540061$32D3A69E-C516-4F5B-B1BD-6C386AFDB985","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51dc6802e7095293fe3ee767a1bbe4bf761ef2e5","datavalue":{"value":"https://doi.org/10.1007/978-3-540-88387-6_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3540061$0DF901D1-E848-4D3F-A222-8153A1452DC9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"465fb622f74ec639a4e8de5760d54bc90b77631e","datavalue":{"value":"W2061668660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540061$D1D7256F-5E69-4FE0-918D-4D428A13B5E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc18c9e2ac644564fdcbd6dbaf23e45f320cce72","datavalue":{"value":{"entity-type":"item","numeric-id":4818818,"id":"Q4818818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540061$CED4612B-1AC2-4E61-9872-D58F2D87EBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ea19cfe2740d7d814b2feaa672ffde0b5fa3d38","datavalue":{"value":{"entity-type":"item","numeric-id":4787239,"id":"Q4787239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540061$F5EE7CB8-647A-4D2F-A089-3CA9953526EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bffe48c7c76b90bf68970921698e19786e1600b","datavalue":{"value":{"entity-type":"item","numeric-id":2747613,"id":"Q2747613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540061$1A410C19-E3A7-44F8-A247-EC2A95C715B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a83fdb1dca06f3d47567dcca1998e18f73d037","datavalue":{"value":{"entity-type":"item","numeric-id":4458879,"id":"Q4458879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540061$4C928135-86AD-4BE9-9AB7-A1ED06B89B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b43f67ac2322ad84c35fee28c5abc64ba0a040e9","datavalue":{"value":{"entity-type":"item","numeric-id":5305642,"id":"Q5305642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540061$487EA7DC-1777-4E3A-8B8C-CCCF526CA479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add9119b5d5b905244f270410e2062630c92f205","datavalue":{"value":{"entity-type":"item","numeric-id":2542272,"id":"Q2542272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540061$B48B40B1-F2A9-4600-847C-A2C0570EFF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"063e7e857c48cc1eb631926e98563605e4f4c2cd","datavalue":{"value":{"entity-type":"item","numeric-id":4028805,"id":"Q4028805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540061$00E0EF6F-F4DD-4467-B7F2-F378B4BF6527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af5f40b1688002d626ced95ea52a62f7741103c","datavalue":{"value":{"entity-type":"item","numeric-id":4809076,"id":"Q4809076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540061$A6C3FE32-7F2D-4089-A72E-1C33E777B250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e900bffeb0fa39cad78b98f0ee33fe60626b797e","datavalue":{"value":{"entity-type":"item","numeric-id":4943858,"id":"Q4943858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540061$392F0D83-1E79-4E64-B123-F96BB30E7365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540061$22C6CD6C-BFF1-4A67-A6F6-9ABD1A8736D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9387f435a7e5ae169822e9f6fe0921cbbb50866","datavalue":{"value":{"entity-type":"item","numeric-id":2720401,"id":"Q2720401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540061$532AB834-A97A-4ABD-99A3-B01BE8CE3E00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313fd23124c15a556e60e6650ae6ebed95b07b87","datavalue":{"value":{"entity-type":"item","numeric-id":3400570,"id":"Q3400570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b8425dc46c4f866f681460d54f8e12ae42b4220","datavalue":{"value":{"amount":"+0.9712975025177002","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":"Q3540061$C43144D5-784F-4A70-AD3C-30C8C577329B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03bebc6a0f6b7db0bdbb945bf39664b8ffddd92c","datavalue":{"value":{"entity-type":"item","numeric-id":3460061,"id":"Q3460061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be7d972d1066b24ac390ee2c04dd0956864073a5","datavalue":{"value":{"amount":"+0.8738113641738892","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":"Q3540061$BD9B0190-EB7B-45FE-B35A-A263066F9E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84076fcfc02c872a27bfb0acde86b8dbb8756690","datavalue":{"value":{"entity-type":"item","numeric-id":1784942,"id":"Q1784942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"587cb8bbdb30726c06bc9917c46c7d753d76c02c","datavalue":{"value":{"amount":"+0.8634535074234009","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":"Q3540061$5789AD5A-FAC7-491F-A2F1-C78237890F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf346bb08405d624db7e5913084380ebd1a8b5a","datavalue":{"value":{"entity-type":"item","numeric-id":3586038,"id":"Q3586038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d426f1503dc2dfbd43b150573830d4707383a8f7","datavalue":{"value":{"amount":"+0.8591363430023193","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":"Q3540061$6B99A504-ABED-42EC-A8BE-E5788D557DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e6e5957ed52092b23c1a3ffd2f83aca25555dc","datavalue":{"value":{"entity-type":"item","numeric-id":2946674,"id":"Q2946674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e700b1d433424e24370b92f2ad93e5b439eba21","datavalue":{"value":{"amount":"+0.8488348126411438","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":"Q3540061$60EFA8AD-8122-4E58-AC34-604EE203D548","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CTL Model-Checking with Graded Quantifiers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CTL_Model-Checking_with_Graded_Quantifiers"}}}}}