{"entities":{"Q6487228":{"pageid":14065997,"ns":120,"title":"Item:Q6487228","lastrevid":103366331,"modified":"2026-06-06T07:14:31Z","type":"item","id":"Q6487228","labels":{"en":{"language":"en","value":"Lyndon Interpolation for\u00a0Modal $$\\mu $$-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7570780"}},"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":"Q6487228$AD510E71-8929-4ED1-AA44-70F6BEA09413","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2f02d01cc63ab1c65ae258e5fe0bf2985141eb7","datavalue":{"value":{"text":"Lyndon Interpolation for\u00a0Modal $$\\mu $$-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487228$6EC1FE7B-95B1-4547-BAB7-BA9F9EAE7641","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b48026c7beea17de5b16bc20aab2de16681d0aca","datavalue":{"value":"1530.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487228$453BE187-7454-43F0-AB72-892F730F5C6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4f408b3836b3f73af1e0775f1b165890a7a7cdc","datavalue":{"value":"10.1007/978-3-030-98479-3_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487228$80D7435B-28C6-4F4D-B0B9-443594C70F85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f5b97643c937daca3f616369c991f46ae54674","datavalue":{"value":{"entity-type":"item","numeric-id":1032625,"id":"Q1032625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487228$676C7097-801C-4971-B327-5431718D17C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a600e00a0067a948cd8d1c1dc848b116163ff5b1","datavalue":{"value":{"entity-type":"item","numeric-id":1987217,"id":"Q1987217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487228$C25C7824-F92E-430D-9B66-1D5178F30DBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fd1acb8904e12f62d9f3ab24cc05cd2904bb26f","datavalue":{"value":{"time":"+2022-08-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487228$440C3FCE-03FC-478D-A092-09D2BD329287","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487228$4A551EF9-FA40-47FC-AAD3-148825C37A88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d59a54d70332cddee245e6219d049e61a848f70c","datavalue":{"value":"7570780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487228$F28192DC-82B5-457D-BD35-52FC06C2E02C","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":"Q6487228$E8AEB8F7-AD6C-46BC-8A41-70A7CD7E207C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5408abb7ea427203ed438e8c0f4c155f1b865110","datavalue":{"value":{"entity-type":"item","numeric-id":5144634,"id":"Q5144634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487228$0C57ABCA-6CD6-42FC-9BEC-C23EEEE2D46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487228$9B264986-051D-4E57-A243-467748603E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b3f60964ed57d86f2847571e03e4efcce710916","datavalue":{"value":{"entity-type":"item","numeric-id":3176384,"id":"Q3176384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487228$3454E91A-248C-4200-B01C-08F07EB580E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397419662126ccd88ae51119636bcd58ebe8f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":1024121,"id":"Q1024121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487228$BDFA6CC8-5608-496F-8724-15ACFD1EE63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711e282bbd2865ebea7c8b287f5496055a3f9a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4953222,"id":"Q4953222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487228$E7C8E5C1-122E-438C-A1A1-72DE5A61E084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbaa8bc4d369f25596c5cb0778003ecc5e80043","datavalue":{"value":{"entity-type":"item","numeric-id":3022776,"id":"Q3022776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487228$F2C4A5D8-291B-4DAB-8917-347EB697BA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73c23f143e374a6b10f9e74124e08c026bf67303","datavalue":{"value":{"entity-type":"item","numeric-id":2326416,"id":"Q2326416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487228$6D7AACBD-9958-44D6-B4D6-E2CE3856D887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487228$330926E8-D783-476D-9DCB-95553B0EB84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7668f3f051470e944eec849a456581c40bdf3f","datavalue":{"value":{"entity-type":"item","numeric-id":3648734,"id":"Q3648734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487228$7F847F80-B1F0-4F57-91A9-F711D7FD43FF","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":"Q6487228$E9FDDDFC-585C-4C2A-89F1-88B4C0215937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6571429adf4eeaa76cf774ef46f34e7d1d3a1c3f","datavalue":{"value":{"entity-type":"item","numeric-id":2835880,"id":"Q2835880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487228$1B68B817-FCE9-4730-87D1-0F03F94D4A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d0435b64722e7005b0f9d3c3c42f86d6e6a296","datavalue":{"value":{"entity-type":"item","numeric-id":772218,"id":"Q772218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487228$E8E90726-6D35-4823-9F5B-7254BE7F8370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6365fede23c4492f6d5ad9821046aea104cd3d","datavalue":{"value":{"entity-type":"item","numeric-id":671352,"id":"Q671352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487228$63D5CD83-1B43-4CFD-AD84-C3542E91BA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf5e0864e6808c186dd0092e7f961ddd594b13","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487228$B3E43B48-5BEA-4B12-8D4A-E50D6985AD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d4122b64f2a48133554d036ec47e473d3341746","datavalue":{"value":{"entity-type":"item","numeric-id":2343897,"id":"Q2343897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487228$BD375B7A-51DF-4A19-B6E3-25B88C13A26E","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":"Q6487228$10B38AB9-7FCC-4853-AB35-D0DE25678DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8736b1fc1427ab61e6b1863558749e5897b25ee0","datavalue":{"value":{"entity-type":"item","numeric-id":4789450,"id":"Q4789450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487228$446AAB40-CD5A-42CA-904F-72500C437583","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91240a69adf266f22612679fce0b8310fc5de142","datavalue":{"value":{"entity-type":"item","numeric-id":4215595,"id":"Q4215595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8161281c2ac9726d86817ef6add041cdf07233a9","datavalue":{"value":{"amount":"+0.8584614396095276","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":"Q6487228$A99FEC20-346B-4524-BB6C-B6302E22252A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a39e1e4c60ff761487772ae5a70fb25e48b12734","datavalue":{"value":{"entity-type":"item","numeric-id":4953222,"id":"Q4953222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"739af17f164f8bf4a5c8e4a20dae89361651cde3","datavalue":{"value":{"amount":"+0.8540079593658447","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":"Q6487228$AF601576-B720-4E6E-8D79-F65695A26ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12cc7025f751df15f9ad5bdf9f063cb1a1245751","datavalue":{"value":{"entity-type":"item","numeric-id":781510,"id":"Q781510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"618b85729659295b2c73292db6bbd13a8ddcd01b","datavalue":{"value":{"amount":"+0.7978568077087402","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":"Q6487228$50C06747-5D5D-423F-A159-6B4760360837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8360e23067f6d47764214a5f12daf6448a5281f8","datavalue":{"value":{"entity-type":"item","numeric-id":2506827,"id":"Q2506827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d6c8f2ed4e4004b1f840114b79337d8b03039de","datavalue":{"value":{"amount":"+0.7955860495567322","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":"Q6487228$5C9C9295-E66C-47FA-B3B7-7E5D08EAC3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a06318973ba3d2069bac8a6a7b886f822790f1","datavalue":{"value":{"entity-type":"item","numeric-id":2148800,"id":"Q2148800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9931e98f54b8c15c0df39c4d189b63ff5284a35","datavalue":{"value":{"amount":"+0.7880399823188782","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":"Q6487228$5C2053ED-59AE-4C88-87B6-B6CE7C981D90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lyndon Interpolation for Modal $$\\mu $$-Calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lyndon_Interpolation_for_Modal_$$%5Cmu_$$-Calculus"}}}}}