{"entities":{"Q4994684":{"pageid":7024261,"ns":120,"title":"Item:Q4994684","lastrevid":98256677,"modified":"2026-06-05T17:03:45Z","type":"item","id":"Q4994684","labels":{"en":{"language":"en","value":"A proof system with names for modal \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7361345"}},"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":"Q4994684$D91F2FFE-AFB4-4862-8EDC-6D7549A74B8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bed1ba52bb841605099b8e7772132df531ca9f9","datavalue":{"value":"1464.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994684$741EEBA3-25A9-466F-9916-12F7CC453E28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2f3a985dcf2407d30ab45f57448460afb353a2a","datavalue":{"value":{"time":"+2021-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4994684$2C47EB8D-4D8B-4384-8AD7-C44F272630C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"677da917befce02ef9611c624c4ee7d06a4830b6","datavalue":{"value":"https://arxiv.org/abs/1309.5129","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994684$8FCAC2BE-DDB2-4A1D-B6A1-9C936E196765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"929b10b8db2ed4b0c68be60bd9c6b9e4843611e8","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?DSS2013.2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994684$9D2AE2EB-AB3A-480C-84B6-77EA23F8AF74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994684$F5B99970-7EED-4467-8C7F-D54FE2E15C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994684$E73F0111-5887-4F9E-BA67-1DE12095C83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994684$2C78478C-2A11-45C8-9EF6-FE5BF5D3CECA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61a392afe282d968a006067e2263f73bf0c8b8a8","datavalue":{"value":"7361345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994684$0C221310-76E5-4D11-8FA3-A79E89C97220","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ce81edf234ea7bfc3d1909d28c15a8f64492427","datavalue":{"value":{"entity-type":"item","numeric-id":578895,"id":"Q578895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994684$B5425570-6D7E-4A24-97A4-F4226929705F","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":"Q4994684$DC4DD8A4-7660-4508-A8F4-255EBD4E81B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcea61a45ff616dc122d2bee9b5044af04dd76cb","datavalue":{"value":{"entity-type":"item","numeric-id":3648734,"id":"Q3648734"},"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":"Q4994684$B8E83430-F103-48E7-A9B2-63513593565E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab8cc3ba85a7bfbc723b79ca15f082559c7e3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1005937,"id":"Q1005937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33b06929769b0d43c57f3229c3efbc3110fbc54b","datavalue":{"value":{"amount":"+0.7836286425590515","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":"Q4994684$BCECABFA-0F5C-4543-A4EE-77F6AC5D9463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"689e5d64299b3be33f287bd23200fa6fdc7563dd","datavalue":{"value":{"entity-type":"item","numeric-id":1015480,"id":"Q1015480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"601150d72a15ec937c2e3f8fc5c52e515ec89152","datavalue":{"value":{"amount":"+0.7643662691116333","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":"Q4994684$29855741-BFC0-45B8-ACF2-99912A0372AF","rank":"normal"},{"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":"c56fe978383b395efbcc15678199a8f90cb9aaad","datavalue":{"value":{"amount":"+0.7629979848861694","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":"Q4994684$68398C2A-4691-459F-A3B5-2C2FDD3BAF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450621f25c171c1754c03920db56a88880908bbc","datavalue":{"value":{"entity-type":"item","numeric-id":4943549,"id":"Q4943549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f171509d14944c15a16efbf63c9388f6bc162bb","datavalue":{"value":{"amount":"+0.7588924765586853","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":"Q4994684$B0DF9B63-883D-4282-B86A-E1DD932CEF15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof system with names for modal \\(\\mu\\)-calculus","badges":[]}}}}}