{"entities":{"Q1771199":{"pageid":1781941,"ns":120,"title":"Item:Q1771199","lastrevid":73620129,"modified":"2026-04-14T16:41:13Z","type":"item","id":"Q1771199","labels":{"en":{"language":"en","value":"On modal \\(\\mu\\)-calculus and non-well-founded set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153928"}},"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":"Q1771199$1A69EC12-DFF6-4F69-AC68-A4D053DAA22D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66971bc9d9c3593443e406b99b3459c8a7263ce9","datavalue":{"value":{"text":"On modal \\(\\mu\\)-calculus and non-well-founded set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1771199$9D87D414-2504-4CE5-80F2-90CB05FF92AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"093e17511afc6688772606ac8dbe4118d769b77d","datavalue":{"value":"1068.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771199$3D7DB2A0-F821-48DE-8A75-C7B103847032","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d23481818bbb5d9bbf21152e7acc659926a4c42d","datavalue":{"value":"10.1023/B:LOGI.0000036771.59434.71","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771199$454A0B83-C010-44E3-BE65-8A0913A10D80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b03184d2d7bf4905e8e5f3558966f7300c2e521","datavalue":{"value":{"entity-type":"item","numeric-id":1015478,"id":"Q1015478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771199$BCA1DBBA-CA4A-4691-8860-2A374F07923A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d64fc632e96c35a43b1a3c9bcdcd726434b00f2","datavalue":{"value":{"entity-type":"item","numeric-id":1771198,"id":"Q1771198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771199$08A6655F-72DA-4CA8-8E40-6CD95BFC21E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771199$B6A54C8E-91A3-4BBA-A35B-EC5237A89A2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86471ba8a812fc2d049bb06f25b4db84c76027a9","datavalue":{"value":{"time":"+2005-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1771199$52FE1342-634B-423E-B272-12B6C218E878","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771199$966EF103-3F3D-4696-B222-60C6FF7D917C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771199$CC1A8CF6-2F6C-49D7-8A13-B494848BB5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771199$27976AA9-9BD2-4A6B-9B87-FA1650289317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771199$AE335B37-7BBC-410B-830A-802F4AF4F1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771199$F54F7DF2-5273-4325-A68F-51F3C81DBAE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25dc89dd1b87b71df4859a8565d1b0b87ea5c7e3","datavalue":{"value":"2153928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771199$EB031EF5-CB14-471F-A22C-1D36F58526A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50eb2948a3ad8ae2842382e57af23ca278f07101","datavalue":{"value":"alternating tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771199$C7B9C6D8-5C30-4F04-A7A9-FE3512373271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771199$D88B628B-D931-45E5-A5C8-1661E08E9EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771199$800FB921-6C88-41EF-96D3-55C18CDFD862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"465f085b95b13610f0e4840fa8369965d610e336","datavalue":{"value":"non-well-founded sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771199$9730BADC-65C7-4C2F-9B6B-FB7663FFE931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771199$54E45C88-F988-4282-A849-70826E843311","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":"Q1771199$AFFF1DAA-E6D2-45A6-A3CF-3F0D822140D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771199$A48BB7A0-BA14-4B51-A5C3-552F99980D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e2ed56b92ab146c7120d7146ca58937602301ee","datavalue":{"value":{"entity-type":"item","numeric-id":4412834,"id":"Q4412834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771199$40439583-8599-4E66-A04B-25232A049D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c27816a21e4b5f67ecf3d7d872257d029ecba99","datavalue":{"value":{"entity-type":"item","numeric-id":4700537,"id":"Q4700537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771199$2D065B8C-5C58-4D07-BDAF-C70655DF771D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d81ab1e61df3e5f6c83e896201bc1f3694cd56","datavalue":{"value":{"entity-type":"item","numeric-id":4717366,"id":"Q4717366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771199$7E954957-D999-4A23-833C-1EF878B7A37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1a9bbad17dbc0891191fb697b556f4cde1e76","datavalue":{"value":{"entity-type":"item","numeric-id":5825811,"id":"Q5825811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771199$44B1098A-0CC7-44F3-9548-E6C8767BDD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b89896d12727ad637f84067fae27b2c42f93ee","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771199$952D1E7F-AC01-499A-A026-A907CFB7A982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cc199417ab3e7b2dba8b9fd027cdc242002f306","datavalue":{"value":{"entity-type":"item","numeric-id":4850035,"id":"Q4850035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771199$49DFAA87-80DE-435A-B848-2D6750733685","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":"Q1771199$1D811462-D286-47D8-85BE-61932971772D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4bf537c518963fde2af2f1ac38ffa9e9a54861","datavalue":{"value":{"entity-type":"item","numeric-id":1389678,"id":"Q1389678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771199$63E37B0D-4C34-44C1-B185-EE467B0C5DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb1e48aa7d82b462397e04de8ae48c530c0de9","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771199$C5DF262A-5E9A-460F-9DDA-36FC3E91A077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771199$EA2F6A4D-CA2B-482D-8B41-A4B8894A4214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a185e0ab2dc8b50c7ab26d72b4ab8103d4555c0","datavalue":{"value":{"entity-type":"item","numeric-id":5952907,"id":"Q5952907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771199$FE36298A-6FEC-49AA-9E17-D2F887C54923","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec3032bb92a1d11421ddeabf39c22bc21acda439","datavalue":{"value":"https://doi.org/10.1023/b:logi.0000036771.59434.71","type":"string"},"datatype":"url"},"type":"statement","id":"Q1771199$C7077382-F38D-47BA-8DB1-6B12A6A4488E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2eab8d95228d45390df05d508d36f872f1c4ab3","datavalue":{"value":"W2028537264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771199$1A2C51E6-74E9-4397-AED8-80D702D515FE","rank":"normal"}],"P1643":[{"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":"88aea06f1083866863cf5e5ff4e91849b388d495","datavalue":{"value":{"amount":"+0.7589811086654663","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":"Q1771199$2A8C1775-C767-4C87-B619-928FA41A4267","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":"a245fe2f5543d1aeed3d9e6a016583dda5bf1d4a","datavalue":{"value":{"amount":"+0.7577218413352966","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":"Q1771199$4068FF95-1141-4753-95B5-3807BDD70069","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":"0731c0a5c6a93f220a1260c55c906e881d24c662","datavalue":{"value":{"amount":"+0.7560601234436035","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":"Q1771199$BD71BEB3-A0ED-4716-B144-0067C51DEB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8b4df43d67d170983aa375b97197a4291ff8fca","datavalue":{"value":{"entity-type":"item","numeric-id":5111198,"id":"Q5111198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0731c0a5c6a93f220a1260c55c906e881d24c662","datavalue":{"value":{"amount":"+0.7560601234436035","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":"Q1771199$B24771CA-C6AE-482B-8D2E-59DE185B0D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4a8c0b4de7ee56825982eafcdf16c0418b3cda","datavalue":{"value":{"entity-type":"item","numeric-id":4593954,"id":"Q4593954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82943230adc445ea49a25218a6da5caa70098243","datavalue":{"value":{"amount":"+0.7517217397689819","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":"Q1771199$ED85D440-8733-4388-8FC7-55A77CEBD0FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On modal \\(\\mu\\)-calculus and non-well-founded set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_modal_%5C(%5Cmu%5C)-calculus_and_non-well-founded_set_theory"}}}}}