{"entities":{"Q2957698":{"pageid":2968417,"ns":120,"title":"Item:Q2957698","lastrevid":52731011,"modified":"2026-01-23T09:23:20Z","type":"item","id":"Q2957698","labels":{"en":{"language":"en","value":"Efficiently deciding \\(\\mu\\)-calculus with converse over finite trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6678725"}},"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":"Q2957698$EBCEDD3B-9C2D-4443-9141-8EEE34090147","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7637fb1f04c3dd10f8bb57193ef3231bb5942ec","datavalue":{"value":{"text":"Efficiently Deciding \u03bc-Calculus with Converse over Finite Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2957698$58C4857D-2C93-4FC0-8C40-6D31FF66217A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f712cf3f46c6f13b862c6fff56fe81cbb529800","datavalue":{"value":"1354.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957698$6E6B53F9-E8B7-4733-81A2-A581476092D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c86839c09db90e8af2fa857e546a68bb3c8d1ac","datavalue":{"value":"10.1145/2724712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957698$0CC98274-24B0-48BD-949B-6A5B9AE38DF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50e28b94540040322c6ab7b6e4a6ee2a4dc6975a","datavalue":{"value":{"entity-type":"item","numeric-id":2182317,"id":"Q2182317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$6A8B8092-32AE-4480-9683-B3B6A915C4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc98788f0d5883fd5847fbb2bbc243ac5d963b11","datavalue":{"value":{"entity-type":"item","numeric-id":2182319,"id":"Q2182319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$5B89743B-1F1A-436E-9843-B12BDBB01E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"804005712457a09ab2c0aa30bf1784b0df9b733c","datavalue":{"value":{"entity-type":"item","numeric-id":627132,"id":"Q627132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$56A01296-D5DD-48D5-9AA0-B1CD108CAC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4645cc704e1e0fcd18127bde18bc1f327838b540","datavalue":{"value":{"entity-type":"item","numeric-id":2182318,"id":"Q2182318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$3D9D1A3F-D87D-4C8F-8140-4160D7E2FAD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$E480A3A4-0B66-459B-980D-0B3E8C33902B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10dfb43c7185210e67dd4f65f8a3dc19dfd4cd12","datavalue":{"value":{"time":"+2017-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2957698$3D5D15F9-3F1F-4188-8F60-CA24D89141C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957698$8F4DA349-0CC9-4B6B-AC16-703C9FFE3641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957698$95B200E0-CADC-4443-9CC5-D47E3CEAF92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957698$76BAA0C8-C56C-4E6A-93FA-569D3E4429EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957698$30FF493D-E425-480D-8D2D-338C5C8645DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a57458084a112780ae615d6d633765e4112ec7f","datavalue":{"value":"6678725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957698$880E3F77-381A-492A-B3E0-5FB2C07864D1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb1fca4ee5c1238a4c8891e4fb1e1d7c9da30b5e","datavalue":{"value":{"entity-type":"item","numeric-id":27652,"id":"Q27652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$657F2F80-B7C5-440C-8D42-6463203AD7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7ed4578a9e59fc37a289203f209d4dda4485f87a","datavalue":{"value":{"entity-type":"item","numeric-id":18755,"id":"Q18755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$C8E7ADB0-E1ED-48E6-8E51-5ACF37EEF088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7e6b332eaddaba275128ab7548503cb9917b3e4e","datavalue":{"value":{"entity-type":"item","numeric-id":24362,"id":"Q24362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$BF5973F8-27A6-4644-9D09-D349853090BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ef557ffcda9627b52809b9f15010666acbec250","datavalue":{"value":{"entity-type":"item","numeric-id":25960,"id":"Q25960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$FCAB484D-232A-44FA-B7BB-9E958AF2F110","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":"Q2957698$E3AB4111-DAD7-440E-B78E-76C88676E5A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0dd5566f55592f9426378dbffe6aa620bea3aa42","datavalue":{"value":"https://doi.org/10.1145/2724712","type":"string"},"datatype":"url"},"type":"statement","id":"Q2957698$7855655B-4613-4503-A185-2BF1E7065B64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41969462b138b01c0bb7e26f53adc4a6735c3c87","datavalue":{"value":"W2131842699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957698$CDA5ABC6-255C-4081-AFD0-57FAEC9978CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7100939e80fb0008f871bed9e74270a1795a9ff6","datavalue":{"value":{"entity-type":"item","numeric-id":3647225,"id":"Q3647225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$B8059BDC-8862-43B7-A47A-6B619911A6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c5bdc7a2a03b6cf870f2ee2a9db6db747ca08","datavalue":{"value":{"entity-type":"item","numeric-id":5261266,"id":"Q5261266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$4465B986-14D3-4E48-BB3D-62B9AECAA3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$6EFE5504-71C6-4962-A899-E652023D5D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46732076ac0e69dc0a3b3e02c10475185325aad2","datavalue":{"value":{"entity-type":"item","numeric-id":5714249,"id":"Q5714249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$07D7BB5C-394A-4022-8534-74D6EC71A4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e339bad0c64d0a3b84e49b5e5c70c87e1ffc88","datavalue":{"value":{"entity-type":"item","numeric-id":696951,"id":"Q696951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$F6017F3F-DE6E-4A53-B517-6A255773526D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$B0980CA5-4149-418A-84A1-9362A3DFE73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$3A3A1F5E-56E1-4B8A-81DE-28A4DF4D8686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"992b6ec142ea2c9384e4c75b8982ca586e3de7f4","datavalue":{"value":{"entity-type":"item","numeric-id":3648698,"id":"Q3648698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$8E731D8E-AAAA-4F22-AA7E-7EA55C8D3B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$6DAF9BBE-5AFC-46BC-A521-64F163E32015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4133cc3f6d012e4eb1d1464f6a6670f5d96aa8a","datavalue":{"value":{"entity-type":"item","numeric-id":4376491,"id":"Q4376491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$59F8F1CE-2DB9-40A1-AC0E-2346A43946CE","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":"Q2957698$AB17CF11-9B48-4977-9EF2-9D15A88DA6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$A23D617A-3A7A-43DF-9403-2A27A16A1D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"698f37f52f12e4366185e343b94a02897a4d760c","datavalue":{"value":{"entity-type":"item","numeric-id":4251063,"id":"Q4251063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$444FFC5B-2AFB-4774-8F2E-11CD34B1869E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c43dbef5fc9a4910db6c649cb4f653e9676d94b8","datavalue":{"value":{"entity-type":"item","numeric-id":5505545,"id":"Q5505545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$5F3400E3-70B1-4812-9086-111FA0F474F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b8e40f241933804dd76800ae8ccf23e7decf17","datavalue":{"value":{"entity-type":"item","numeric-id":975873,"id":"Q975873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$CB3DFEF3-04C9-4EED-9D22-F4FEA2DD0ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbb9802831e4e534bc43dcf5fe696b33bff47bef","datavalue":{"value":{"entity-type":"item","numeric-id":4472245,"id":"Q4472245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$17CE8E00-4827-403D-8ED7-DBB929941ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"206ff31569177ea06a4e652d651723252dfe962c","datavalue":{"value":{"entity-type":"item","numeric-id":5501184,"id":"Q5501184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$FC0E7E46-520F-4409-9EF1-2A98412ED3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed1378e90c8ee85ff960f9f6025895871e1cd03","datavalue":{"value":{"entity-type":"item","numeric-id":4439689,"id":"Q4439689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$D2D20B22-7D97-4E57-81CF-3814D01B1A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab7350d19158809c2398852d4e1d099edc012c2","datavalue":{"value":{"entity-type":"item","numeric-id":3647260,"id":"Q3647260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$8A339DE0-1260-4D6C-9C86-85A602DEFEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40d43507c15a41f91dc1b703b59c8818d6eadb51","datavalue":{"value":{"entity-type":"item","numeric-id":3085177,"id":"Q3085177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$1E72C3CF-C937-45DB-AFE4-15D11658A702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e2a810ad33c5fd182a8039ad2c685d2ea689e2","datavalue":{"value":{"entity-type":"item","numeric-id":5479283,"id":"Q5479283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$AA0AD94B-C2EF-4767-966B-F91E5C45B2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"848d380ec657426aef1815bdb57f894712d97124","datavalue":{"value":{"entity-type":"item","numeric-id":3434627,"id":"Q3434627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$8B87B452-84B0-4454-A13C-985B3B43AD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecbc0c3a12971b32d2a5e262ccdf452b1e8ca37d","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957698$03C16D93-6666-4D55-AF5B-18875CCA3509","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e847e2cf66eeaa39e9e0d495c2a8941fb1546b1f","datavalue":{"value":{"entity-type":"item","numeric-id":2226964,"id":"Q2226964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bd01b912396c863df134a197c12e704cb2f3b33","datavalue":{"value":{"amount":"+0.8260905146598816","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":"Q2957698$923AF579-E846-4B5D-AC1D-C1B8DBCDBD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1125def8d4eb97a4bcf3abc8f8d918972d7e1087","datavalue":{"value":{"entity-type":"item","numeric-id":5479283,"id":"Q5479283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd2c8a3de48d7be5534cbe49129eab77c20f602","datavalue":{"value":{"amount":"+0.7993415594100952","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":"Q2957698$EBB933C0-9C1C-476C-8AE7-FB5B395F694F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a885c02966a4d13a0476bf42724e27759cff3475","datavalue":{"value":{"entity-type":"item","numeric-id":3613365,"id":"Q3613365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6121ed85432bb40d620652366a6c7b60384a42f","datavalue":{"value":{"amount":"+0.7871409058570862","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":"Q2957698$982AB27F-40E4-40DE-97CC-90865A16569F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14396cd9bd793a2ddf8fa5ff64e5c9589086b357","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"837888ebf01b746f84453d9e3a129a0b9a46eb7f","datavalue":{"value":{"amount":"+0.782602846622467","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":"Q2957698$D29B110B-AD8D-4A7E-BC2C-4FA97F818F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19f2b2dc5add5ca8910de13f750b64d1a381a1f4","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f471aae81649bc7c9c8164330f824493b5de517c","datavalue":{"value":{"amount":"+0.7779217958450317","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":"Q2957698$CEFDA07E-1574-4872-9F5C-08BE03109207","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2957698","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2957698"}}}}}