{"entities":{"Q1015480":{"pageid":1017328,"ns":120,"title":"Item:Q1015480","lastrevid":65957634,"modified":"2026-04-12T06:34:55Z","type":"item","id":"Q1015480","labels":{"en":{"language":"en","value":"On modal \\(\\mu \\)-calculus and G\u00f6del-L\u00f6b logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5552247"}},"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":"Q1015480$5FA280B6-BDF6-40FF-ACC9-71BAF4913E6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d6de392360304cafa90828999476f6ea95bd229","datavalue":{"value":{"text":"On modal \\(\\mu \\)-calculus and G\u00f6del-L\u00f6b logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1015480$4C45D96A-470D-4580-9AEA-EE67252A45D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"365e4e64eb46e3eff73205310e69244d9de9d4ab","datavalue":{"value":"1201.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015480$DCE259C2-72E8-461F-836F-0B2658BE039C","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":"Q1015480$81BE06A0-D508-4B7D-87CA-A3EE30430DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3df27bf3abfd8b673a0afd763bb7c85c5dc3b47d","datavalue":{"value":{"entity-type":"item","numeric-id":1015479,"id":"Q1015479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015480$FBA4C102-7BC7-4EFD-B0E1-45D2F45CCC3B","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":"Q1015480$2E1B8EE3-F523-4997-9BA7-EEFF3A7189D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0cec347d54f050ae0dec1dd3bc541b9e6406b282","datavalue":{"value":{"time":"+2009-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1015480$8B849842-9002-41E5-AB03-F16820633D66","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"352b6c56aaf87e52f49ca4d5121e41f42a6d46e5","datavalue":{"value":"https://boris.unibe.ch/36790/1/11225_2009_Article_9170.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1015480$EFA9DE9F-30FC-477A-A47F-40773D4A3B02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015480$9618592A-721E-4618-ABB6-7EF3EF4BEDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015480$92BCB709-54C9-41A9-B4C2-F5E4D203C228","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e5645a4bf943c9266d0c7f4977f51f31425a5bd","datavalue":{"value":"5552247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015480$32EFD1EF-2295-479E-A103-ACADB1E487A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1199a36d8dd30e90713192bb02fdd1473fb89b19","datavalue":{"value":"fixpoint","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015480$2FD4EAAD-3D73-46E9-8B87-F7D3EF536032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70385047063e32e899a03bc21d34ece5ee0e5655","datavalue":{"value":"modal \\(\\mu \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015480$EF2DD643-2B12-40B3-8868-71C75CB44746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c379824c49b260a7ccab0ce4bf33b0a471961cd","datavalue":{"value":"G\u00f6del-L\u00f6b logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015480$BE0CDCE5-383A-4AD4-95A6-0A9CC227434F","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":"Q1015480$AB40809F-8EF1-45F9-8D81-BED9FF2242B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a313cabd1e023a55648e8add5ec81fd3e9b44e3","datavalue":{"value":"W2294372906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015480$CC8536F6-C365-4202-BA9F-ED9BE38A7D65","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"71300c9d6626c040c8b83b0552be673eacfb707b","datavalue":{"value":{"entity-type":"item","numeric-id":3655261,"id":"Q3655261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015480$14E4ADD3-9A95-4CD5-8D85-8DEC34CD7B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec39c4ba48368fe55c340c99f72435d76d7465e0","datavalue":{"value":{"entity-type":"item","numeric-id":2433098,"id":"Q2433098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015480$434227DF-B2BD-4450-8E9A-1ABCCEBBF593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82101a0d47d940e7a610e83e81b3b494dea51ad1","datavalue":{"value":{"entity-type":"item","numeric-id":1233018,"id":"Q1233018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015480$EABBE3A0-EAC2-45A8-A535-332FC14F0F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015480$06B50BE7-1CDF-4A9E-8278-97218DFD4C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015480$C8EEE54C-6A2E-48B6-BE98-7A1AFE882BFD","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":"Q1015480$1957CB05-037E-474E-9AE7-047B219BE16B","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":"Q1015480$7B75E33E-676A-41C9-BBF0-375EDBE7F14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d76488e08224206900795f7917be989a75ab2305","datavalue":{"value":{"entity-type":"item","numeric-id":2769443,"id":"Q2769443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015480$4CEBEAC7-C7C0-4411-BEFF-7A4051BB7B55","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":"Q1015480$D63AF381-D4BC-4D78-AC04-CDC9BBE6A261","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":"Q1015480$7D0DAE76-7292-4782-BB62-FA49727DBE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d440b3258ffd50bc499de0889cd7970441ef819c","datavalue":{"value":{"entity-type":"item","numeric-id":5898148,"id":"Q5898148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015480$DFBB2640-1E9A-4202-88BC-22276686ED8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a659b2cbd537713eeed2150669304c9e3e0f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1854336,"id":"Q1854336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015480$9DEFB4D8-C771-49D3-994D-F536F7ED0046","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":"Q1015480$BF708B80-2624-4FB5-B56A-DE9A0048F575","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"304e8c31f6923c6f24fd0aa8a26ac26f03d8f857","datavalue":{"value":"10.1007/S11225-009-9170-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015480$47AEACDF-E09A-49B3-AF93-0ED0395EC00C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c51be3a207027606eb41a08c272f687aad5adfe","datavalue":{"value":{"entity-type":"item","numeric-id":5898148,"id":"Q5898148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab884de071aa5782da6016ecf50d402d8c7a2a86","datavalue":{"value":{"amount":"+0.7980860471725464","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":"Q1015480$E4655C9D-4E88-4A05-8925-A43107B515A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e707c12fcbb87f94769167fa7baf7550858bd7b9","datavalue":{"value":{"entity-type":"item","numeric-id":1346924,"id":"Q1346924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e1aa61610b6fe8b838fd53346d29d99598b4d10","datavalue":{"value":{"amount":"+0.7938820123672485","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":"Q1015480$E60FE7BF-E26F-4FF9-878B-F141BAC03516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0eeff4fcb3147d0d0c1af2751fa430db8bf734","datavalue":{"value":{"entity-type":"item","numeric-id":1942334,"id":"Q1942334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac771b0dd1e4d57e6742525114c8cb1ccfb43908","datavalue":{"value":{"amount":"+0.7755268812179565","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":"Q1015480$E2B1E1D9-2869-4FDA-9693-BD11CEEA9275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a1f46073c3621d2ba073c3d70cbb7d015be3d55","datavalue":{"value":{"entity-type":"item","numeric-id":714717,"id":"Q714717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"979dbd7ebd912aef59ab694d41b6396a6c54ed98","datavalue":{"value":{"amount":"+0.7719209790229797","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":"Q1015480$1AF307AE-34B3-4ECB-98D6-1CB18415A0DE","rank":"normal"},{"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":"7825c16d59d533549093614415c48020f34d90ff","datavalue":{"value":{"amount":"+0.7714887261390686","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":"Q1015480$19C25057-E744-4DDD-9B2D-ED9787C418AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On modal \\(\\mu \\)-calculus and G\u00f6del-L\u00f6b logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_modal_%5C(%5Cmu_%5C)-calculus_and_G%C3%B6del-L%C3%B6b_logic"}}}}}