{"entities":{"Q5884935":{"pageid":7914487,"ns":120,"title":"Item:Q5884935","lastrevid":101997161,"modified":"2026-06-06T03:16:53Z","type":"item","id":"Q5884935","labels":{"en":{"language":"en","value":"Saturation-based uniform interpolation for multi-modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7668090"}},"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":"Q5884935$0EBF41D8-B6B7-44DA-9BA9-A66B16289CCE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a7e621443694e864c5d2b02a66d2cb525380f9c","datavalue":{"value":{"entity-type":"item","numeric-id":5884934,"id":"Q5884934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884935$2220E57F-1FC7-4F8A-AE27-AE29282157A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fdb93d7789c716ce138d996005ad957d544064c","datavalue":{"value":{"entity-type":"item","numeric-id":299184,"id":"Q299184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884935$51953E9E-FCA0-4B9B-B7EC-7F8D91CBCC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bd3e6ced3980f6471f189e71653f6804d1fa5ce","datavalue":{"value":{"entity-type":"item","numeric-id":1655484,"id":"Q1655484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884935$5602B694-CC22-456B-BE83-FD0C13E615E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e79fb0f81a13e01e2adb5a30058c546d3cd532","datavalue":{"value":{"time":"+2023-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5884935$50D2C4C2-C4A2-4E51-8E38-E5AF1A5EEBEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884935$10D2040D-304D-47D9-87B4-F31D04794398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884935$8DF5E963-A626-4DC0-918D-A5F60AA9DC3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbf53006b8735e34bba9b1649f6decfa92ecea76","datavalue":{"value":"7668090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884935$EBEA5E34-6A27-4B6C-A9FF-8383E19D52DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066345834ce35a3f9005e468be9585e6c3822e2c","datavalue":{"value":"uniform interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884935$963C1163-CD37-428D-8C2A-F019E6960E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884935$B8ECBBC8-03F0-4A23-A603-922637A7D1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de76b81f57ef1796b1e709d901661054b7875837","datavalue":{"value":"bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884935$3B099A40-BC61-472B-A601-04EEB492B3D7","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":"Q5884935$C224529B-A4BA-41B2-9C15-3A3BF6AAE008","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f0349214dd1deb6994816dde1146ad03b4c23b","datavalue":{"value":{"entity-type":"item","numeric-id":1712936,"id":"Q1712936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e95d3a67e25fe7a08a5690e1f899f4d2b1e1ebc8","datavalue":{"value":{"amount":"+0.7889145612716675","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":"Q5884935$796A28E1-4DD9-42BA-A5F2-F740C61720DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32687f724bc5415458db288bb9a3420ec88dbd7d","datavalue":{"value":{"entity-type":"item","numeric-id":2326416,"id":"Q2326416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38a660e26fe364634424e3b0ab44ff932cb37258","datavalue":{"value":{"amount":"+0.7711461186408997","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":"Q5884935$8D09D2BC-8F60-475D-A998-41481B3FBEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31a66723d39af21b716aa0696f74d721ec8b3a83","datavalue":{"value":{"entity-type":"item","numeric-id":878154,"id":"Q878154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2305f445766e3f6e97b7f037b4f0c7e220cf6c94","datavalue":{"value":{"amount":"+0.7551475167274475","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":"Q5884935$72CBD15C-A2A5-41F6-8BD5-2B75615E326B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5ccf9167a3b69b4b9c7bc56a8345a9d325cfad","datavalue":{"value":{"entity-type":"item","numeric-id":4580217,"id":"Q4580217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0216d910b51a8050731513d1e576ee298a698f60","datavalue":{"value":{"amount":"+0.7350200414657593","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":"Q5884935$5FF0AD0B-34F7-4211-B883-BA70D1908204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b24b60f54b10f182406b27fb5cc87cd8650145","datavalue":{"value":{"entity-type":"item","numeric-id":2148805,"id":"Q2148805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac5cbe0649fbd79615c1e4f494e00b9174513e0","datavalue":{"value":{"amount":"+0.7316933274269104","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":"Q5884935$DCF9841C-7E23-48FD-9373-C012B0FD1DA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Saturation-based uniform interpolation for multi-modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Saturation-based_uniform_interpolation_for_multi-modal_logics"}}}}}