{"entities":{"Q1117213":{"pageid":1127962,"ns":120,"title":"Item:Q1117213","lastrevid":66163938,"modified":"2026-04-12T07:58:34Z","type":"item","id":"Q1117213","labels":{"en":{"language":"en","value":"A finite model theorem for the propositional \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4091474"}},"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":"Q1117213$A52035FE-1956-4737-9603-5201F2065971","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e17556de5298d3941fccf50e9dd3f449f9e4f5c6","datavalue":{"value":{"text":"A finite model theorem for the propositional \\(\\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1117213$CF3835E8-37F5-428B-9207-55D272AD0AFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4de30edfc405b4408294e2e315c9958a5bb9d9e1","datavalue":{"value":"0667.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117213$2C32FEBE-FC57-476F-BA19-CE72379F09C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a959d673083b4c70f770afd90d6307ded18dc76","datavalue":{"value":"10.1007/BF00370554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117213$86AE518B-21E5-4E24-9B56-933CEF8D1672","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117213$61026A34-3D61-4FA8-8A94-D51813156209","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117213$41298FB5-D267-4946-B3A1-CE853BE7CE64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1117213$96437CA6-4AA1-4650-8D50-750339C7DDA4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7b998f58be4b4eaf785ca93ef775713951340d11","datavalue":{"value":"The propositional \\(\\mu\\)-calculus \\(L_{\\mu}\\) was introduced by this author [Lect. Notes Comput. Sci. 140, 348-359 (1982; Zbl 0507.03005)] and a nonelementary decision procedure for it was given by the author and \\textit{R. Parikh} [Lect. Notes Comput. Sci. 164, 313-325 (1984; Zbl 0564.03012)]. The present paper establishes a finite model property for \\(L_{\\mu}\\) by showing that the size of a minimal model for a given satisfiable \\(L_{\\mu}\\) formula is related to the size of a maximal set of pairwise incomparable elements in a particular ordered structure which involves sets of ordinals.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117213$14797913-E8FA-453C-95B0-2EAC0BE525F6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117213$40DB3A56-A3D6-4DD4-A693-ACC415606B53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117213$753514DF-8586-4794-B753-3B04FCF6E685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117213$FCCBC568-3BAF-4F69-88AF-B87A735CC544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117213$1FE691C2-96F1-474F-A39E-1FF1F1A00A13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00192e81eb7768c2a16b729ae1a2ab73fabb7eed","datavalue":{"value":"4091474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117213$1281069A-7AEE-4EA6-A2C7-DF4C6E9F569C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a057deffdc732dd5e6e72c2451b0393c916709bd","datavalue":{"value":"filtration method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117213$3504C9E7-17A4-4A84-9B17-668D6E03D2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1677c1cec4841ccd0c49aff71b92a5c9612be2d3","datavalue":{"value":"propositional \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117213$6418128A-A239-405E-B44E-167E17E457E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117213$A193D546-233C-431C-AFB2-994D79DD18A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75cd8f33187a112545b10752b14195d8c4c0169","datavalue":{"value":"minimal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117213$32111675-1568-4B06-B71B-C1503184749E","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":"Q1117213$18D76BA7-260F-450C-AED7-EC0DACE4DA41","rank":"normal"}],"P223":[{"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":"Q1117213$1B5F7AE5-5885-41DF-9F5C-BE4DE8FBAD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab84b3650d07b4444c6c48a568654eadf0988cd6","datavalue":{"value":{"entity-type":"item","numeric-id":4190679,"id":"Q4190679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117213$3A0BD5D1-D67E-4B81-AE9B-8AC277501D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b82814ab5f06cad36771ed34c10c45fd26928fd","datavalue":{"value":{"entity-type":"item","numeric-id":3890740,"id":"Q3890740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117213$F88D1F2A-B1BE-46EE-A811-8E7DDD1BA9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41125a252fb0a70c6c55f7ee4dce642415efbf07","datavalue":{"value":{"entity-type":"item","numeric-id":5520569,"id":"Q5520569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117213$59639A94-1D35-4CDD-9527-2F6BAB5D8329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0364f4776d4113b99ecb52ec67904d1217683c9","datavalue":{"value":{"entity-type":"item","numeric-id":5537629,"id":"Q5537629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117213$D0478A46-C009-4AC1-AFD1-B473F25E1DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267ae0212004177089322e010233b5ddee60b435","datavalue":{"value":{"entity-type":"item","numeric-id":3219755,"id":"Q3219755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117213$C43E1630-280B-4CCD-B798-B8C674DB8ECD","rank":"normal"}],"P1643":[{"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":"46f1ddfe7848966b401b81e970a70eb5ab6889ef","datavalue":{"value":{"amount":"+0.8689650893211365","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":"Q1117213$D2040C97-3AB8-4E30-8A94-0900DBB7768C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd23a117cd7276bd65491167399681b38f1d11d9","datavalue":{"value":{"entity-type":"item","numeric-id":3677736,"id":"Q3677736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"867c44caa28f032e7003917525bc70b1fcc8b2a1","datavalue":{"value":{"amount":"+0.8532863855361938","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":"Q1117213$F913CAA0-35A4-4729-863B-6574ED1846E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2bb287b83df0b14610557bc15aaf86cee4b0d7a","datavalue":{"value":{"entity-type":"item","numeric-id":3219755,"id":"Q3219755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a30c4311ed1607da924c1433d6ab7007945539a2","datavalue":{"value":{"amount":"+0.8304901719093323","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":"Q1117213$820CF331-0C86-4659-BCB2-5F8A28F7B6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a315eaeafdd361283d1d05820b5bbeba9530370c","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82cd11f445abee991ba80741a20290bbe2fdad00","datavalue":{"value":{"amount":"+0.8252542018890381","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":"Q1117213$7DBF648B-76CE-432C-A0B3-0598F26A0E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec36172d005e4eb4f539d380bc30ca077d8ca169","datavalue":{"value":{"entity-type":"item","numeric-id":4603451,"id":"Q4603451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28bbed2da7c71b071410f77e0e046c3d05eead5e","datavalue":{"value":{"amount":"+0.8120530247688293","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":"Q1117213$01EA60E7-C923-43E7-BC29-E482CD7422C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A finite model theorem for the propositional \\(\\mu\\)-calculus","badges":[]}}}}}