{"entities":{"Q2866735":{"pageid":2877455,"ns":120,"title":"Item:Q2866735","lastrevid":51891095,"modified":"2026-01-20T11:54:49Z","type":"item","id":"Q2866735","labels":{"en":{"language":"en","value":"Modal expressiveness of graph properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6238549"}},"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":"Q2866735$1B78033B-4780-435E-B917-306A87E2E950","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"301e20cd1778036395bd40415b4c291bcfa3e8a9","datavalue":{"value":"1277.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866735$735078DF-C3BD-4940-B017-14BCBCF68BC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faf035fd863b205682c8dda962765b1be375dd4","datavalue":{"value":{"entity-type":"item","numeric-id":281143,"id":"Q281143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866735$493DBECA-22AF-4A90-B74E-0E39803750B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86c6621f9800d0ce6a33557f07d836f6bd1de6c3","datavalue":{"value":{"entity-type":"item","numeric-id":654914,"id":"Q654914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866735$19C5A8D2-C4B4-426A-9D7E-7222E259EA8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866735$12F1F979-AD1E-4A37-98F1-27C539F0E64E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53717fa6c8d29b46d6a34473fd09757844b25aa8","datavalue":{"value":{"time":"+2013-12-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":"Q2866735$A351ACAC-3BB8-4CEA-8C73-2B738DA35195","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866735$7C4489B2-2113-45AE-8C03-3FA3B5F87F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866735$41402A23-2FFD-49DF-B9CD-E0B479AB0017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866735$5A42CD48-C97D-4695-83F4-219CD8B6156E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866735$B9FF04E4-EF7A-4C88-8860-89148BBF6F6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2eaef36805428a4b2a2b34817885297c03510b15","datavalue":{"value":"6238549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866735$448DCDF0-8C44-401F-B89B-829FED45D183","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e2c5cdbb9bf737c4fa7ac78971f831677d8a1d","datavalue":{"value":"graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866735$CE7F668A-71CB-4863-82F0-973314F7331B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866735$1B3817A1-82A2-481F-8892-1FCD5C6ACC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70f5b9a72352813886c2d3109abe393975fbf408","datavalue":{"value":"modal definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866735$17A87C45-115A-45F9-95A4-0375DF5098F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866735$C72AE833-DE48-4E5B-A8AA-4A9DD5870CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9c3a709e771ed4ff897e41757b8135c8d471301","datavalue":{"value":"\\(\\mathrm{CTL}^*\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866735$502D06DF-960F-419C-A2DE-E449FCE4AE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866735$AF5B73B3-C68F-405F-ADF9-93734A795EC1","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":"Q2866735$A5A3821D-BA2B-4BF2-94BD-58909FFF49B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8468b81e22c514e08da09376266791282acca97","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.03.064","type":"string"},"datatype":"url"},"type":"statement","id":"Q2866735$9CFF33A5-B526-4E3F-9FC2-350437E0D2B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e3995944d2d005a630da7bcf80b1072cb26e174","datavalue":{"value":"W2030158432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866735$4EAED048-D5BC-4EB3-BFB2-954ADBC8D7BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f679be7e862c11d0f8c9c30d7bdfa2a2fb7096c","datavalue":{"value":{"entity-type":"item","numeric-id":4511543,"id":"Q4511543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866735$853267C2-9691-4610-AFB1-6AED53FDC0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7691aa0689676a7c28c25cc8f6076455e249b717","datavalue":{"value":{"entity-type":"item","numeric-id":4440829,"id":"Q4440829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866735$4402C900-A374-419F-83DD-F1F464E6067E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866735$35E39083-16AD-4340-8EC4-68C01A3C3D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8f9edc5faa2fd277810a544fb03be621def82f","datavalue":{"value":{"entity-type":"item","numeric-id":3097395,"id":"Q3097395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866735$E61A16F7-87D4-496F-96BD-601869F856B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e6a970ef833d1f16c56166519e7e5cabfc785e","datavalue":{"value":{"entity-type":"item","numeric-id":1325848,"id":"Q1325848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866735$DFF1225D-DE6D-43AF-A161-4AEE6DB7F17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755b705d434743289f1c33d94607b3327759f7e3","datavalue":{"value":{"entity-type":"item","numeric-id":4142699,"id":"Q4142699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866735$B6C1AD90-2F36-4736-B7B0-84C9DBD56424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866735$56E8824E-916E-499F-A5C9-7AB224D6EA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb11ce571ff640a6288e9e6f07adec1b72be214","datavalue":{"value":{"entity-type":"item","numeric-id":5688814,"id":"Q5688814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866735$B978332B-EDB2-4D4E-A3E4-B5062E2A6A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c88c2000cc742f79a0696cbd6770a20218f4b3","datavalue":{"value":{"entity-type":"item","numeric-id":4539599,"id":"Q4539599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866735$AD2FFE93-E922-4F2E-AA86-14F96CEFB7A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95eec83543cb7a83c03a70e371a1359587bfc908","datavalue":{"value":"10.1016/J.ENTCS.2008.03.064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866735$0D3898FC-8BCF-4D69-8521-B1EFFA74A37E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac04709069ffa0ff20fb844d1cda6cb293ed665b","datavalue":{"value":{"text":"Modal expressiveness of graph properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2866735$3AEDBE79-998B-4DE9-8255-BB30CB170847","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d494c4616ced492fc11fd03a529a138e0bcba68a","datavalue":{"value":{"entity-type":"item","numeric-id":3644844,"id":"Q3644844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65862abef79c323f8a81a64a7656455f47ada80b","datavalue":{"value":{"amount":"+0.94449120759964","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":"Q2866735$284B4E98-5EE7-4A78-BAA7-F4AEDE6A0FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ae6894a85623c462304462d9ee16ac80582c2f","datavalue":{"value":{"entity-type":"item","numeric-id":5178965,"id":"Q5178965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b9ebf7942f48439b4b441bd04e6df5192725c9d","datavalue":{"value":{"amount":"+0.863696813583374","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":"Q2866735$36958F20-8FF3-420C-921E-9E55BC313345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ae76f296fb19174d1d1a30411ae1e08984ae3a","datavalue":{"value":{"entity-type":"item","numeric-id":4440829,"id":"Q4440829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdacb495d326e88107a30a4db49bb78bea78d1c0","datavalue":{"value":{"amount":"+0.8156206011772156","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":"Q2866735$7DFA6B82-5A6B-4F60-A80E-2A43425D515F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc6458125605baeab07753b48a658d6ae6366ca","datavalue":{"value":{"entity-type":"item","numeric-id":3003354,"id":"Q3003354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee89700e8040214e23b983eb83caf76a0ef22b06","datavalue":{"value":{"amount":"+0.7441561818122864","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":"Q2866735$03028697-D7A5-4F35-BDCE-D8E7A65F9535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa381a38d8684b9fd647f2bf3d9bb87762c847a1","datavalue":{"value":{"entity-type":"item","numeric-id":281163,"id":"Q281163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f6c0be057ff41c5840321e9e19c75e4189d44bc","datavalue":{"value":{"amount":"+0.7254823446273804","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":"Q2866735$6B210C0A-046B-44FD-B8D2-9DD2824CF211","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2866735","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2866735"}}}}}