{"entities":{"Q3546111":{"pageid":5576015,"ns":120,"title":"Item:Q3546111","lastrevid":49513273,"modified":"2026-01-07T10:41:28Z","type":"item","id":"Q3546111","labels":{"en":{"language":"en","value":"A weak form of interpolation in equational logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5383407"}},"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":"Q3546111$873B27F6-6DE7-454E-BD3D-FAEAE453890F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3746dd74daf6747c70512cfd319e1aa153bc71a","datavalue":{"value":{"text":"A weak form of interpolation in equational logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3546111$2CB4A127-F01A-45B5-A227-C0ECF75319C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa83ab3bf4c6dbbdfaa0471e2e559d592da9c399","datavalue":{"value":"1164.03319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546111$B935F0AB-ACF7-4AF9-9D3A-DE94F3772EA7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546111$2084CC15-85B3-4338-B3A8-C67975C6C4D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1663d3617535929b278b9313fbf9b2d4c917782e","datavalue":{"value":{"time":"+2008-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3546111$7D0D7F52-CB05-4713-B9D7-789CF0D6BD6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546111$F93205B1-EF02-4DBA-B700-B94C943C7258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546111$1CDE0E18-BFA8-49FE-8B31-B8A4565964CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b571f26c4ee76ff078fdbe2bdf3125dd27286ea","datavalue":{"value":"5383407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546111$78560DCE-5D8C-4F24-950A-23A25CB77EB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ad21c1b4dfc061efda4e99c5d6180d8c7571661","datavalue":{"value":"weak interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546111$389C140E-5E70-4183-8C28-38734D234056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b5a0106dbe03749eda8df68f8c26078275c52ea","datavalue":{"value":"weak amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546111$4C8A5C0E-A4A9-483F-978E-1EA1C751E89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f631da11b63918d34b083047f18c3fa496023d39","datavalue":{"value":"variety with congruence extension property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546111$80AD055B-070C-4520-8246-7EEC1DB5E097","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546111$E2981353-57FC-4595-8975-467DB2925913","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":"Q3546111$1ED11A58-9B87-409D-9302-9C545975ED27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"302ac588a167c336cba11903918eaaedb2da23c6","datavalue":{"value":"https://doi.org/10.1007/s10469-008-0006-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q3546111$AE32D565-B03D-4036-B7B4-423C902DEA4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e425954de4a9739758714a219d2bbdb50aa7263","datavalue":{"value":"W1986941784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546111$1963FD12-6C0D-4C99-8C4A-4ACFF2DB4B2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7a6664dfe6967b339a1788eb0ba60075f6a3d36","datavalue":{"value":"10.1007/S10469-008-0006-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546111$12699703-C544-47D0-8982-115BC89F4CCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1387c15572a7a386c5e4ce263a6c49052b9d3030","datavalue":{"value":{"entity-type":"item","numeric-id":3982061,"id":"Q3982061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fe95ec12bbade10721f7b5c72497b2533d6b53d","datavalue":{"value":{"amount":"+0.9277921","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546111$D38C3DC6-DBB6-44B9-8F80-0904ED8CE7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"604bdc052e7b20497b50a966ab1213d9bdfb9809","datavalue":{"value":{"entity-type":"item","numeric-id":5477625,"id":"Q5477625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5465932e6856650e4f25fa18e44b5246cf12f4ec","datavalue":{"value":{"amount":"+0.9249675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546111$C0AAE193-DD2B-4D66-B9EA-81984859EA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e10b07f6081dab72d46ad69d739f1c278f361f3","datavalue":{"value":{"entity-type":"item","numeric-id":3001102,"id":"Q3001102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93c37f8070fa9dbf8dbe92a1eee60d582d2f12aa","datavalue":{"value":{"amount":"+0.9224411","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546111$66400894-5ED5-41D6-A8C1-71A92B61777B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9a86590c342016ac81b66b24b35db16e51a13af","datavalue":{"value":{"entity-type":"item","numeric-id":694243,"id":"Q694243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca824290e4efa5741deddc3f95e006ec46ba350d","datavalue":{"value":{"amount":"+0.9182602","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546111$AE1B889D-2251-4650-96E0-BA21EA4123CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cd29ab08c41b3b55cf2da3860391223c62f2e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2186699,"id":"Q2186699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6857c74394c344f84782b9c363d8a9047ac51700","datavalue":{"value":{"amount":"+0.9056546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546111$8A6F1434-FDE4-45A7-B013-112110DACC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d63586cbec6a2dc4a917b3c0ae0b568d724bc7a","datavalue":{"value":{"entity-type":"item","numeric-id":3486539,"id":"Q3486539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46c12dc7479dfa77d99bb21bba1aa45babec99a9","datavalue":{"value":{"amount":"+0.8993598","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546111$BF9E0208-E3D0-47E3-896B-A2BB0827D7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8426845b132493d2bfbeaa0ac5ac3e5981c6b209","datavalue":{"value":{"entity-type":"item","numeric-id":4612438,"id":"Q4612438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aca7e500d9c3ba25e68dc7b6eb1261729b2db48","datavalue":{"value":{"amount":"+0.8989692","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546111$B7A3E28C-F567-44DB-8365-24EDAAC063A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc9397178310bd846682faa6c71be7192055c38f","datavalue":{"value":{"entity-type":"item","numeric-id":431659,"id":"Q431659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd0951893415b569f2aedb89e5976529f6448273","datavalue":{"value":{"amount":"+0.89563876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546111$30657DD7-5411-467F-AD1B-4C18B29161E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf44d1f82c6ce4667c0ac890c08bb4d0eec7d71","datavalue":{"value":{"entity-type":"item","numeric-id":5957915,"id":"Q5957915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"147a51fa90779308407ba121022e8496523d69ec","datavalue":{"value":{"amount":"+0.8937193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546111$2EC1C775-450F-4211-8800-8D0D5FBBC9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c3e74606c40341a9a3c0b7752f33f84cb80541","datavalue":{"value":{"entity-type":"item","numeric-id":4302342,"id":"Q4302342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d37661750de91b00bd17afc163086ac03e997d9","datavalue":{"value":{"amount":"+0.8934501","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546111$70B133E4-F4A6-4771-983B-543FC4A045DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3546111","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3546111"}}}}}