{"entities":{"Q3648734":{"pageid":5678640,"ns":120,"title":"Item:Q3648734","lastrevid":90442985,"modified":"2026-06-04T20:12:10Z","type":"item","id":"Q3648734","labels":{"en":{"language":"en","value":"A tableau system for the modal \\(\\mu \\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640969"}},"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":"Q3648734$3E93D70E-FE01-4A3B-8646-58D985E5AB8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e177e18d1c6184a3c717e7754003907ef84f9a4d","datavalue":{"value":{"text":"A Tableau System for the Modal \u03bc-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3648734$0E9B8627-8BB7-4ED1-8391-93AC02D60245","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a390520392ae76e29341bd97c8d41c04f989ca6","datavalue":{"value":"1260.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648734$6F2157EA-DF65-4905-A205-A63EB2F46C1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"736cf8d380eae2b73a71bbc6a9953ca30b6910b8","datavalue":{"value":"10.1007/978-3-642-02716-1_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648734$233E6893-68FE-4A58-BF19-2477DB1713C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f57d6831c7ca4c5b24452a2673a089ca356162e","datavalue":{"value":{"entity-type":"item","numeric-id":3648733,"id":"Q3648733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648734$16FE4DC3-EF48-432F-AC0E-53C047E85A98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648734$08327A36-FA82-4356-9482-63A7BB05DD9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8bdd78fc222a44e05f767ee071ed0c7d623c0a6","datavalue":{"value":{"time":"+2009-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3648734$C7A65A50-5147-4617-A775-20E4A4437541","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648734$D4E3C766-DD52-4975-B07A-C0D93C54550A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648734$BC126280-79D3-4514-ADDB-B709F4260548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648734$F5EC076F-4727-462D-B190-5DCC9B03B409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648734$F98B7B41-8613-4108-B8D1-2E8B5BBDE8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648734$7B394915-78BF-4E90-A0FA-E4D4E60C486E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb5fa28767837db16bba41695beb0b255c077dc4","datavalue":{"value":"5640969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648734$BD8100D7-929B-487C-95BF-DF80F1ABC527","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":"Q3648734$2273F2E4-8184-4D95-B29E-C3148D728D46","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d0db8ac1c2e83295d8414673d092ebdc7328645","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02716-1_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3648734$70A8C3A6-AE2C-484D-87CB-F7DA5500F95E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"422eaeb6fd3ea0887488c131a57256b22558d8d4","datavalue":{"value":"W1495080122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648734$E3ABE912-633A-4555-8339-B0B8AA05116A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c69ae2f62c940b46c1609776f341b089f3a5cc","datavalue":{"value":{"entity-type":"item","numeric-id":3010366,"id":"Q3010366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc83f7f39c36a2ceca62cbdfe34cb1935bec495b","datavalue":{"value":{"amount":"+0.8139376044273376","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":"Q3648734$7212C042-5D7B-440C-8FE1-F90245131AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf64481df7495045fe2559470e597cfe00883ed8","datavalue":{"value":{"entity-type":"item","numeric-id":4994684,"id":"Q4994684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2e93fa8330bf60a8c604f390632c73c01d6f002","datavalue":{"value":{"amount":"+0.7915357947349548","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":"Q3648734$AB97F6E1-A0EE-4CF3-91B0-79A8B15265D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30627a87ff2adc9a35a8e807219183b1c5fff067","datavalue":{"value":{"entity-type":"item","numeric-id":4583323,"id":"Q4583323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"474bd7d7e6359e866afc2bf565d09f2195d2a55c","datavalue":{"value":{"amount":"+0.7837780714035034","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":"Q3648734$9B1E36F2-A58D-475C-85FA-7E185A72D7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88af436a118436296d1afc914ce6499a1bdceff2","datavalue":{"value":{"entity-type":"item","numeric-id":4412833,"id":"Q4412833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc23b9c7054da48ed5b4cb08f6aac6fad779f54","datavalue":{"value":{"amount":"+0.7826139330863953","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":"Q3648734$DF52967D-1CB2-4D45-BD04-B764D061AC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd28868fb9e5281dec742e518f016b5bea1547d6","datavalue":{"value":{"entity-type":"item","numeric-id":1122572,"id":"Q1122572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc23b9c7054da48ed5b4cb08f6aac6fad779f54","datavalue":{"value":{"amount":"+0.7826139330863953","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":"Q3648734$50A8B0D4-7539-44BD-89F0-C34FB8B74A8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A tableau system for the modal \\(\\mu \\)-calculus","badges":[]}}}}}