{"entities":{"Q2909221":{"pageid":2919946,"ns":120,"title":"Item:Q2909221","lastrevid":51538652,"modified":"2026-01-18T17:05:34Z","type":"item","id":"Q2909221","labels":{"en":{"language":"en","value":"On modal \\(\\mu \\)-calculus over finite graphs with small components or small tree width"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073962"}},"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":"Q2909221$E5339C49-30D6-433E-80FE-885C371DF4EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea26011092d9276ff269e21eae9b58032ffbb700","datavalue":{"value":"1245.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909221$6BB727E9-D3E5-4E47-9A3F-9ADD82B11DC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65d35571f437641093571a7fef38dbe653f58827","datavalue":{"value":"10.1142/S012905411240031X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909221$860D3370-E49E-434D-951D-FCC0E2C37FE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bc4d377d3637058f1e83788786b9a25ae94a603","datavalue":{"value":{"entity-type":"item","numeric-id":481099,"id":"Q481099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909221$88B13981-9EF6-4FEB-9ECA-3E08D1174281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a24a57d77aefd8460dbb03e9524615c44c518008","datavalue":{"value":{"entity-type":"item","numeric-id":392378,"id":"Q392378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909221$4D5DFD3E-B1E4-4488-9B42-981798045B02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909221$8A3B033A-445D-44AF-8F4B-042B4761698A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ea979e1010c32afb4768abd2ba95f7b0dc31ec2","datavalue":{"value":{"time":"+2012-08-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":"Q2909221$8F67EED7-7529-45DD-B71C-364D0281F6A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909221$DF28F760-3A5A-4762-A53E-B1F69C103197","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9803402b67b0eb6134f1d9ff79dd3d2ce4404643","datavalue":{"value":"6073962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909221$647D4FDC-87CF-4630-8B51-D53F1DFD2BE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70385047063e32e899a03bc21d34ece5ee0e5655","datavalue":{"value":"modal \\(\\mu \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909221$788D55C9-AE1B-4E2E-9CB2-EF44636B3071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0519098df7b10a542ce3c7b6e15f2b9609eeca2b","datavalue":{"value":"strongly connected component","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909221$5D78C6D2-7FAB-4D39-812D-44759248DE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b17e6e28d1a18f7a35b77cc1e7558e6f62021227","datavalue":{"value":"tree width","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909221$B1B3FF5D-9BB0-40E9-9477-D5464EC1E4B2","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":"Q2909221$5B2B73FC-86C6-498D-ABE5-76E8B32CCDBE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"71300c9d6626c040c8b83b0552be673eacfb707b","datavalue":{"value":{"entity-type":"item","numeric-id":3655261,"id":"Q3655261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909221$DAD66FCD-D731-4304-A9E7-E8601E05C7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7ae90865a45f4782f4d357aec271b4347861f3","datavalue":{"value":{"entity-type":"item","numeric-id":1015480,"id":"Q1015480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909221$447D3372-7842-4EEB-A252-73BFFF1352D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64094cc4201a6201db371ef94b6e6db97b1ecea8","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909221$1E806D3E-C5F9-4B91-B882-2A1B4537D710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bffcfdc65c2a4a236ea3a2b5146ed684d3413aa","datavalue":{"value":{"entity-type":"item","numeric-id":732052,"id":"Q732052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909221$3322E34D-90F1-4F04-BEA2-F81610A97455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cd64e41383e58b27038dda2995ea96c06c46af4","datavalue":{"value":{"entity-type":"item","numeric-id":1230790,"id":"Q1230790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909221$938F92C7-D95C-415C-B7CE-B45E9DC1D709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12600cb24649ba9815ffcfab5b752a2fd38d0d39","datavalue":{"value":{"entity-type":"item","numeric-id":1850539,"id":"Q1850539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909221$C4E99BAF-D08C-464B-A357-8FE3D201CD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa54618eda41988a65054578626fe7e86072441a","datavalue":{"value":{"entity-type":"item","numeric-id":3395043,"id":"Q3395043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909221$8ADAA22F-311B-4302-89DD-647F3F3CF01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909221$892DB8F7-0379-43EE-BF7B-1BF7ECAEB7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8e8cc36d2b41104889e91dde28a77d4c70be46","datavalue":{"value":{"entity-type":"item","numeric-id":1229718,"id":"Q1229718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909221$9404560B-9408-45C6-8981-CDB88D603F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c8d4ae13a37c46d4c1c81628960f47d5dea327","datavalue":{"value":{"entity-type":"item","numeric-id":673778,"id":"Q673778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909221$0BB8E81F-CE03-41FC-9E26-A8E8987E1C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4bf537c518963fde2af2f1ac38ffa9e9a54861","datavalue":{"value":{"entity-type":"item","numeric-id":1389678,"id":"Q1389678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909221$0FB25CCF-9007-4775-BDCD-321FD1CC16A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef0f89b3d4848285d16b9f024f89d4a5e76a218","datavalue":{"value":{"entity-type":"item","numeric-id":799684,"id":"Q799684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909221$20BDBFB7-A533-4C00-97C9-708A79B556B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0f6dd793166a567719b2fb5d958eb883aea03d","datavalue":{"value":{"entity-type":"item","numeric-id":1079583,"id":"Q1079583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909221$23C0D8E7-2993-41CD-8596-2687DE892D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec39c4ba48368fe55c340c99f72435d76d7465e0","datavalue":{"value":{"entity-type":"item","numeric-id":2433098,"id":"Q2433098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909221$8A5BB483-2A0D-4CFA-A5FE-A9C157EB593C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"306c21f0cac1f129ea26e60b4114ea1f329727cd","datavalue":{"value":"https://doi.org/10.1142/s012905411240031x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2909221$4A0E0E27-E94A-4B38-B9EC-83B636E51463","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c1bffc79ab050b7a95b89a45be0c5e51e138037","datavalue":{"value":"W2083449758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909221$52620A0B-936F-481B-9AEA-54FFCE235F9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"faddebc40eeb55979f82f3960856107b514d80ed","datavalue":{"value":{"text":"On modal \\(\\mu \\)-calculus over finite graphs with small components or small tree width","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2909221$A561A08F-3B81-4808-991F-1F09BA12F248","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"321a162f15494b7e79d442d0f154a127773a86c8","datavalue":{"value":{"entity-type":"item","numeric-id":5151000,"id":"Q5151000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4f5732db3987b69c4b4ae6fd18dea7fcc4d2284","datavalue":{"value":{"amount":"+0.8917368054389954","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":"Q2909221$5870C5EE-71A2-45C9-AEC7-BFD3D9AB552B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4abb079d9008f6a66be199478d5e07bda28a079","datavalue":{"value":{"entity-type":"item","numeric-id":3454725,"id":"Q3454725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346377ba8994ba3ee26b2ed84ca287c4dc98891e","datavalue":{"value":{"amount":"+0.823694109916687","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":"Q2909221$6C038FFF-E886-4B62-A378-3CC009EEC487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f43600c7ca878f3eee91bce418037d187d16583","datavalue":{"value":{"entity-type":"item","numeric-id":477204,"id":"Q477204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62ac43d4280a080c014c40213c0eaa45bc880df4","datavalue":{"value":{"amount":"+0.815334141254425","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":"Q2909221$92C23431-7FE1-491E-8C05-0F383BA58753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e792b64248599fee99b1f1bb0e9d143da60f597","datavalue":{"value":{"entity-type":"item","numeric-id":5300576,"id":"Q5300576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43c37744529ff93d298587d16f65441b2b5391d5","datavalue":{"value":{"amount":"+0.8065581917762756","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":"Q2909221$1640B9CE-684D-445F-B5B7-5C328C2F85F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d815a62d4dd7fdf5d4c13c5a34a0f5287b2b39f9","datavalue":{"value":{"entity-type":"item","numeric-id":5900672,"id":"Q5900672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3b58ecd538f379054115ce4b17abf9a28044c72","datavalue":{"value":{"amount":"+0.793886661529541","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":"Q2909221$1C1FE36B-C48B-44A9-84F8-62442AFF9C81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2909221","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2909221"}}}}}