{"entities":{"Q2983395":{"pageid":2994120,"ns":120,"title":"Item:Q2983395","lastrevid":58083573,"modified":"2026-04-03T17:57:14Z","type":"item","id":"Q2983395","labels":{"en":{"language":"en","value":"Canonicity results for mu-calculi: an algorithmic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718436"}},"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":"Q2983395$2DC620C7-F2D1-4F50-892E-8E912A646ED3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5423462fd2fe66bb1ce74871dc54efb3a9217eb","datavalue":{"value":{"text":"Canonicity results for mu-calculi: an algorithmic approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2983395$57CB64CB-1386-405B-969B-DF61A7C6229C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9590f0f5e404927e9e45859d702614bfd84f4bd","datavalue":{"value":"1444.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983395$C8B6470D-DA2D-4F1D-950D-981958797665","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbcbd9b52a6ddb457f866f9e91ab3def8d7a2fd8","datavalue":{"value":{"entity-type":"item","numeric-id":409327,"id":"Q409327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2983395$BD79AF51-CE1F-4F7E-AE86-AFA7C8821B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11ce63bf6619444f6d5b564bae634a2f40f4ab17","datavalue":{"value":{"entity-type":"item","numeric-id":494625,"id":"Q494625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2983395$257DB744-8F0B-4F8D-B700-1223EC6D7000","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41be8a7ccb30ef6453be136c830247d17a0d171d","datavalue":{"value":{"time":"+2017-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2983395$D299918E-F829-4632-83AD-EA9AD8250316","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcaec33e9dd0d80f5210e682268f7c496bae5152","datavalue":{"value":"https://arxiv.org/abs/1408.6367","type":"string"},"datatype":"url"},"type":"statement","id":"Q2983395$299CC3F2-1A8C-48CD-8F89-97C0EADC830C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983395$1B906988-506D-463B-9212-833C74E6EDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983395$8B9521BF-08E2-4CA1-8A80-FE1F781A0288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983395$DD4FE2C5-A7F6-41A4-B921-35C868116D29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fe1542ad81b1e70d9a03a3bcb4afb72782a1bf0","datavalue":{"value":"6718436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983395$450D6285-C3AB-4DB2-834C-10ED3B36F7E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b462f38abee80906c2d768906563204d6d43dfc5","datavalue":{"value":"modal mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983395$570A1789-12D8-4A16-9BE6-E3CA9922FDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76ed2864c47dd67d05780767842dd97a03ea4d01","datavalue":{"value":"Sahlqvist theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983395$C074BBD5-5C32-4129-B945-A9D359ECF18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f47126f6a1175659a3d9037139060f56797a0e0","datavalue":{"value":"canonical extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983395$931B9EFC-559F-442B-B75A-9F7FB5D27AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca33ff75e7e2cd792571979ef7f952d076325376","datavalue":{"value":"ALBA algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983395$79D6D258-2D87-491D-BA27-C2B309028942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983395$5C458509-1493-4B89-9687-654A6EAF6D59","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":"Q2983395$76B30123-A02A-4756-A523-B774B9D6B902","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c1d4dc23b869f3e54e4c07687d1211a86098707","datavalue":{"value":"W2963927180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983395$A34DA66D-73F8-4CC5-97A4-375A5F7C57CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad336a951493c3a26d00119ed8679f07de16a52b","datavalue":{"value":"10.1093/LOGCOM/EXX011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983395$97FB9A3D-0639-455F-9562-0AFE2C156AA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2983395$620A50EF-16D1-44E2-B7EE-79C63CC0B7CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06a7b178a49417da8020c48217909cd235b0569","datavalue":{"value":{"entity-type":"item","numeric-id":2273010,"id":"Q2273010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e20e41cc0f64d5c8d50dfae7f5958acc6ce781a","datavalue":{"value":{"amount":"+0.88798785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2983395$0B47030A-1784-4E42-AB91-8A204FF70A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be2bf5e031ce660c43a2ef84fcf6c52ad6b72677","datavalue":{"value":{"entity-type":"item","numeric-id":483295,"id":"Q483295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50d502b6a83c59c2f6285c1212bc02b8d536ceb6","datavalue":{"value":{"amount":"+0.88693994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2983395$C5A92715-978F-4F84-BDFC-E2F62070837F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaa18b6f77bebf480d3dd284a7d6cec4cc3afda6","datavalue":{"value":{"entity-type":"item","numeric-id":4649546,"id":"Q4649546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"187d799ea67889c5e0bead9c8937d86f02a1f649","datavalue":{"value":{"amount":"+0.88247436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2983395$43FB7582-0739-4E4F-8B32-84604CBFA6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14c5ec0ec72603a5bc70c81a1862339a5b6a8e5","datavalue":{"value":{"entity-type":"item","numeric-id":409328,"id":"Q409328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc9dae9192f960d7bcc77498fbf1a7f153b88cf4","datavalue":{"value":{"amount":"+0.87602","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2983395$B3F3C3A3-5821-4933-AEFA-621DA2D26BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"147c6bfd28f499b09baf6da1add39b17bd630247","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66063e7e4a6ee6bb71589a70eac4262a56b5c547","datavalue":{"value":{"amount":"+0.87414026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2983395$6B59E444-8A4F-4F2C-924B-C08896E31384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44999439e2e30d077c5c9e9e2363fee856cf2c04","datavalue":{"value":{"entity-type":"item","numeric-id":3176384,"id":"Q3176384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec2b3e154a59b9b8c8915f600467ae7bd3ea3ca9","datavalue":{"value":{"amount":"+0.8704077","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2983395$5284DB15-9528-493D-B98D-1DF167194A3C","rank":"normal"},{"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":"684538896e7d1482278255877707a1b107edfc51","datavalue":{"value":{"amount":"+0.86939037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2983395$9496B5A4-AF8B-450E-8855-E8393E2A663C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7da190214abbc81c2fe832754b98c55fb689836","datavalue":{"value":{"entity-type":"item","numeric-id":3005995,"id":"Q3005995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"678867c48c6b03089992b90b19cab2d3fd40705f","datavalue":{"value":{"amount":"+0.86396813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2983395$EA458EA6-5F42-415E-8F5D-296F6D70D0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"936c00b110d083fe18b85a9e15a0981c697e397d","datavalue":{"value":{"entity-type":"item","numeric-id":4381381,"id":"Q4381381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e071bcbf30ee0a9a0e9447e764bc8ce2691b2bb8","datavalue":{"value":{"amount":"+0.8605242","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2983395$E734AFE2-37B5-4344-8861-EC08C20B9536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a0418cedf92e4d769e3186ec96a8d954f6f562","datavalue":{"value":{"entity-type":"item","numeric-id":5858133,"id":"Q5858133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb8c8ee0ddbaba6aa2554b9a4b3a29165e91be6","datavalue":{"value":{"amount":"+0.859978","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2983395$BC44EF1F-92CC-4A07-B006-8DBAAE3542FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2983395","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2983395"}}}}}