{"entities":{"Q671986":{"pageid":673835,"ns":120,"title":"Item:Q671986","lastrevid":47423815,"modified":"2026-01-01T17:15:23Z","type":"item","id":"Q671986","labels":{"en":{"language":"en","value":"Duality and the completeness of the modal \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984710"}},"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":"Q671986$985E790D-1402-4C7B-BEF3-9F470155311C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3bf5e9da7432f6f08025b4404e1e23a320497d5","datavalue":{"value":{"text":"Duality and the completeness of the modal \\(\\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q671986$B0200168-B1AD-42A9-ABA2-EB6C19C5BCA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9775d740e0c66d6827278fa905e818336a90e216","datavalue":{"value":"0872.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671986$7D35F1D8-ECCA-492B-93C3-AB382ABD300A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ce1c9f06be88ebdaaf7b488a6e915e35844f26c","datavalue":{"value":"10.1016/0304-3975(95)00045-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671986$DD22958C-6967-46B3-A277-44C1988B1296","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09dd3c96e1e6b9d594d4b38ca2de4ecc7417fe21","datavalue":{"value":{"entity-type":"item","numeric-id":671984,"id":"Q671984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671986$38608707-B683-4DC3-BC5A-1011BFEBAB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671986$2B3E34E5-2A29-40EF-A293-73F3F55A2E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87aefe9636a9f539e77924d54f3208d1097eef55","datavalue":{"value":{"entity-type":"item","numeric-id":671985,"id":"Q671985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671986$CECA1693-C1A3-4619-8CA8-4B456391A012","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671986$068B770E-CE0F-46EE-A61B-144B994A09ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-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":"Q671986$001434F2-1CC0-4B05-9C9A-C761601037DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671986$36E31AE4-E472-403C-951D-0A485505F7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671986$D355416F-3F4E-4E84-83C6-CAE8161DC556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671986$57471B90-E35C-442C-8D70-A30A8D765AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671986$75499AC6-7FB5-496C-AF37-820DD71C7DD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af7e0a6489f5022c3152171ceebd86ca2b526199","datavalue":{"value":"984710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671986$39B25C40-64DA-4F23-8073-B1993DFE456B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q671986$31E6F1F2-9EBD-44A4-AAA0-9ADB6C69621A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3df20eda18e358c3e0547bb3bfcbf9086a56464","datavalue":{"value":"finitary modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q671986$F2E82EF3-4641-4F71-B20B-3E10A2A10E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q671986$45D5C659-3260-4097-B9E4-BC1C421CB126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d04e3a846b6c818c11d5a5d10d65cd81ab16f4b","datavalue":{"value":"monotone operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q671986$DC742E08-CC32-49A6-AE74-71DA414129AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5e9b135ec88e4e5334ca27568b56c846a1c1ab2","datavalue":{"value":"category of modal algebras with homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q671986$807F18EF-E53F-433A-890A-BE064646FE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59e110fed3319e74f7f39c479a5269122f6156b6","datavalue":{"value":"category of descriptive modal frames with contractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q671986$1AC59B07-3770-4317-BF70-36E470FF55AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q671986$50BC1269-99BB-4CD4-90AC-6381A68D0AA9","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":"Q671986$D1831374-033F-4AB9-8EDD-8C2037E709CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671986$A2C8E4EA-C312-499B-9DC6-807064424393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46dfa758d5b68d1e523f5ecc730c6d2e93fa79cc","datavalue":{"value":{"entity-type":"item","numeric-id":671991,"id":"Q671991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671986$C6B90877-90F7-449D-8D97-5C7EF12076CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a8a5b2b7a4c59f90e7b48dd811b8f4de9cc5390","datavalue":{"value":{"entity-type":"item","numeric-id":4773679,"id":"Q4773679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671986$EB0B351B-4AFD-40FA-A58C-A9124CED6606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"015cd53333891e4bd79b629bebe5f35ba7a7263e","datavalue":{"value":{"entity-type":"item","numeric-id":3738540,"id":"Q3738540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671986$D9013028-C6E0-4F7A-A8C7-C709F5819F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671986$7CA7B145-9175-413C-B16A-7735364C0039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d991cd5602b157aecd21faf84810ebd69c2d96","datavalue":{"value":{"entity-type":"item","numeric-id":4128789,"id":"Q4128789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671986$C441F1D9-5DFD-458A-8109-D4879E3564B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06da0733433b72cc38e384260530070cb37219d","datavalue":{"value":{"entity-type":"item","numeric-id":3282928,"id":"Q3282928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671986$6AAA5D90-5F99-4516-B1BA-BCA96412D5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671986$3596E8EA-0E31-4DFC-BDF1-31840CDE05DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671986$F7784D14-0E8C-4B46-BAEA-8F405074A22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d69fa1db138cbdf5ce996203cc7917ef58acdd29","datavalue":{"value":{"entity-type":"item","numeric-id":3939782,"id":"Q3939782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671986$5A1D8553-EE4A-4186-8535-EEBF3FC93541","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":"Q671986$AC3F98C3-0F57-4CC0-AEB5-ECF07D1B2628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f1ad840706c682b0fedd77190bd24d7fda2981","datavalue":{"value":{"entity-type":"item","numeric-id":1117213,"id":"Q1117213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671986$C135EFCD-2655-419B-9D98-B60FF4BB368C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd44e81af77baad910c4a8b87e7a0a1bfcec8eaa","datavalue":{"value":{"entity-type":"item","numeric-id":912592,"id":"Q912592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671986$47C51175-EBA4-419D-9FCF-5803F665258B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6be6cff01d2235451e68957f7f50c6f48767737","datavalue":{"value":{"entity-type":"item","numeric-id":1166268,"id":"Q1166268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671986$E751B96E-8096-4D26-BC0E-0EB51A5CB949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46986697e9a2591d83bd32b37bbe4daa491a8b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3730012,"id":"Q3730012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671986$29ADA651-B7D8-4321-8FB8-BAA3FD1FF3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be2d7a498e1fa1a8eec9f77d2e3dbc81e945234","datavalue":{"value":{"entity-type":"item","numeric-id":3906397,"id":"Q3906397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671986$50E7E89C-2EFC-42C3-947E-51DE9358A9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"951ab841fc2d6409fd3ef21cbd438d82955c369c","datavalue":{"value":{"entity-type":"item","numeric-id":1101436,"id":"Q1101436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671986$0624ED6F-423A-4951-986D-F8F58C9E8389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f8da7733f5df652657471b8fc372ee15cfbac5","datavalue":{"value":{"entity-type":"item","numeric-id":5585437,"id":"Q5585437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671986$A41B2E8B-F706-45C5-ACBC-724365856330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b9668e64fb5e559efd1831f417d632f1180e5","datavalue":{"value":{"entity-type":"item","numeric-id":3316563,"id":"Q3316563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671986$B307FDB1-D997-4B3F-967B-46FD0C3D749E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e510c2576a7fa7c6774930adc1ac0cd05e0cbd","datavalue":{"value":{"entity-type":"item","numeric-id":4773680,"id":"Q4773680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671986$C14F800D-243D-45B7-966B-355885D87B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ad55d423b35bc4c2f7b1fcbb8fc8ceb12dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3994458,"id":"Q3994458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671986$2521C621-FC62-4A7A-9F8D-9C1CDB9832DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef3f0e64df596b394d02c89dcdc4aa5b13212655","datavalue":{"value":"https://doi.org/10.1016/0304-3975(95)00045-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q671986$29C660A5-C247-48C6-B949-012C6A2F1745","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0e07641d72526c892aec7b28ad0cd4a6ff5300c","datavalue":{"value":"W2080427861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671986$AB908DF7-0868-463C-9609-01AD2B7B48F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a6ab81381331466c7a9adb90401a58afcd050f4","datavalue":{"value":{"entity-type":"item","numeric-id":4525272,"id":"Q4525272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76172065bbe7871f914ecb59f1c2553b033f7eb7","datavalue":{"value":{"amount":"+0.9743622541427612","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":"Q671986$3C84A838-3608-4025-B48F-186666937B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1463d28f9c4d2fe983d16b7c9ff27f67a97c0626","datavalue":{"value":{"entity-type":"item","numeric-id":1128984,"id":"Q1128984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"775cee57a99b62df7df21ac2b7f4c26150514886","datavalue":{"value":{"amount":"+0.8960381150245667","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":"Q671986$511757FA-E5FC-446F-BDE3-E05103C981F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e6bebaf77674477110e407efa15aadf6929a94","datavalue":{"value":{"entity-type":"item","numeric-id":1731842,"id":"Q1731842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bbe5899aa2d51548af2a661bf6201ed609ec2ed","datavalue":{"value":{"amount":"+0.8940156102180481","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":"Q671986$69083B27-6EA7-4DC4-B1B5-DDEF5A5B724E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64bd3d6c57e769fdcd7543d4075e1e785873ac68","datavalue":{"value":{"entity-type":"item","numeric-id":1749477,"id":"Q1749477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"225d9e51a3777ed0e4259add5aa1944c047b87b8","datavalue":{"value":{"amount":"+0.841299831867218","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":"Q671986$1C6F5658-5F32-455D-AF6F-52C9A3C933F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0095654446119627593dfe20de7d001e2b3bc950","datavalue":{"value":{"entity-type":"item","numeric-id":5144634,"id":"Q5144634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ded07b1cb0f6ad121a2819a85dccc0fa05ac55ce","datavalue":{"value":{"amount":"+0.8400455117225647","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":"Q671986$03669B88-6330-46C5-BDFE-B2950310B38F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:671986","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:671986"}}}}}