{"entities":{"Q454376":{"pageid":456143,"ns":120,"title":"Item:Q454376","lastrevid":62027976,"modified":"2026-04-11T03:17:55Z","type":"item","id":"Q454376","labels":{"en":{"language":"en","value":"\\(\\Delta\\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6088853"}},"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":"Q454376$D33887DD-0173-4144-8C52-938B29C8E7FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51c203ecf5200d08474841c247a22b827c0da862","datavalue":{"value":{"text":"\\(\\Delta\\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q454376$C01F4BC3-A4DC-466B-BC58-84FD670704D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2af369cee822ce19ab0d3e5a73771f816dd63cdb","datavalue":{"value":"1258.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454376$56D3B8F3-66EF-4C6A-AD9C-207ECD59D136","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b479ab481d7ee1dcf779ab78c0b800106fa990","datavalue":{"value":{"entity-type":"item","numeric-id":167897,"id":"Q167897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454376$836EAA29-DDD7-4443-AF93-3C4C05B415BA","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":"Q454376$180027DB-BCB1-4099-8C9F-E028673E2E90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ce482458de9f4ace900fbb372ae38b12a79d36f","datavalue":{"value":{"time":"+2012-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q454376$2C37C8CC-B8FD-404D-A31D-95ADF43571F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454376$B6348349-48CC-45CD-9CD1-B57601EC9F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454376$3A10B754-2169-46D7-B7A9-A5CD7FB08A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454376$8C983E30-761B-4B62-88B8-6CB3AA7FD1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454376$2CB1C0EF-23A3-4592-84DB-A6458CF56EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454376$22963716-806A-4E99-9329-2EC090BF522B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454376$52C76765-382A-44C5-B0F9-F5E8C5EC9037","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c86e6e87efb074431a611539b7393fcd98ae219","datavalue":{"value":"6088853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454376$3189077E-6B9F-491B-AE38-40F0D2A7221F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e900609d8f55643a49a3698f16fb274cff5a6b4","datavalue":{"value":"\\(\\Delta\\)-core fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q454376$0770E346-E5FE-4946-B72C-EA98A162AC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4ed2dae5cdbfd044826468cdd383e362798c2d4","datavalue":{"value":"propositional fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q454376$8802FF41-F86F-4634-982C-098800D8C0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fe5fd4ad4b27a13cd8f0190c4e682a5deba6409","datavalue":{"value":"propositional quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q454376$189DF570-FFEB-419F-9483-A5913D292A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q454376$CBCE2B3A-56BF-4412-A3D0-1337D5662BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"901d4de4144f37cbc4624c7f4eaae8986da45dc4","datavalue":{"value":"uniform Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q454376$13061EA5-882C-46AF-BAC9-83034558C904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"888dc88b9cfe659a584f5f98d91d3f140e2bff77","datavalue":{"value":"amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q454376$39B986EE-62E7-4E54-9D0D-91A017CBE0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q454376$1252DAA1-A978-4F20-827D-C95D8DE0C0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q454376$DC3B319F-9B42-4076-80C7-11793EED80BF","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":"Q454376$8D5F6F04-857D-48A4-B3F5-582B2F019A9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59ab80c13b2b239ce368ab8056b00093494ecec3","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9379-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q454376$85946D85-9774-419D-AC34-D6A0624C068F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c8814c77676b20825668dd8fda96fc9f7d8460d","datavalue":{"value":"W2016307644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454376$3414D060-A381-45F5-97EA-303188F34BA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"81700654b480ea16a29b7b331463fd1f3978ae7b","datavalue":{"value":{"entity-type":"item","numeric-id":1812017,"id":"Q1812017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454376$D4B82EC2-2790-40AC-83FE-1023857F8EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fafd70556b595d77a31de57c7ab1eaf6f9533c5","datavalue":{"value":{"entity-type":"item","numeric-id":2462673,"id":"Q2462673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454376$A2F5372D-E800-4FA8-8A2A-4B22C14B7BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"528baa92353ce721244f2a8a9b25d1fc1f3251e8","datavalue":{"value":{"entity-type":"item","numeric-id":4263811,"id":"Q4263811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454376$153B736F-1556-4FC1-969B-22666617335F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93a2774b4cbe7788f6094a50a42299262cb8a67","datavalue":{"value":{"entity-type":"item","numeric-id":1818593,"id":"Q1818593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454376$8C3E04EE-40CA-4B97-9FE7-2C0EC868A4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c32b7d1e3a73ad0952ab0bdcf0e54c5cd8aa5d5","datavalue":{"value":{"entity-type":"item","numeric-id":3520241,"id":"Q3520241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454376$595D03A9-3A47-4F47-8B9B-36730E28673F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d95f596d87616b4c45a125752dde08f3ba0a74cd","datavalue":{"value":{"entity-type":"item","numeric-id":1866813,"id":"Q1866813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454376$A8684017-D13F-4741-91B9-4216B9255A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454376$704C9CE9-EC7E-48C4-8D3C-F70EF4FF9DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454376$53AA235F-8BA1-49EE-85D2-2A69AC7234A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a8dc4ce3086ba1a080f6d98da8da13ac17731ba","datavalue":{"value":{"entity-type":"item","numeric-id":2505501,"id":"Q2505501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454376$3889DAC6-75C7-4F13-84D5-044BCECBD756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb17c3ec23f7db1652717b13437eb3142a54285","datavalue":{"value":{"entity-type":"item","numeric-id":1024552,"id":"Q1024552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454376$1A72437D-3C71-4702-A215-445BA394BE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062e3530d1cbc2a93188ae5efb7b2dded97702a2","datavalue":{"value":{"entity-type":"item","numeric-id":654010,"id":"Q654010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454376$4975FE63-A8E3-4BBB-9120-1C09C1BA1238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454376$8147CD35-D180-48F3-AFBC-E957562266D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b21a46b53e0bc48233db6f19f8a64be4194c859","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454376$D3D7D9A1-D32F-44E6-837A-2388F6668F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454376$109C017D-D0BA-484D-91B1-15457FBF8DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454376$60963A6A-1EAE-47BC-8A22-C3B2F21BAFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2148f50f0a03a5c567ae2ae43602409775e953e8","datavalue":{"value":{"entity-type":"item","numeric-id":2498905,"id":"Q2498905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454376$538517F9-F48F-4FC1-882E-FF924C406988","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8540da8d592c59308d66b7073a337f035bbbda7","datavalue":{"value":"10.1007/S11225-012-9379-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454376$C6BD3CAF-3DFA-4287-9000-03B721FC326C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454376$EE585696-1E33-4204-8B4F-B7148C884EEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2548285edd20f468d66bdba0b3f50a49ee96ff7","datavalue":{"value":{"entity-type":"item","numeric-id":4263811,"id":"Q4263811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"761dd4ae3af3b9f3ea9055b2b7ce9e5adaf16b01","datavalue":{"value":{"amount":"+0.7877283096313477","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":"Q454376$C76A5D4C-DC11-4535-A7CA-C513EA1700CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0edce4ed7e90500306ae38efe5549e19b8a77ff","datavalue":{"value":{"entity-type":"item","numeric-id":2498905,"id":"Q2498905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"761dd4ae3af3b9f3ea9055b2b7ce9e5adaf16b01","datavalue":{"value":{"amount":"+0.7877283096313477","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":"Q454376$926B606D-95E1-4B21-A7E3-AFA4C799CA21","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":"7fc1848877434b1c0897bb533eef44555330fed1","datavalue":{"value":{"amount":"+0.7393600344657898","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":"Q454376$53234910-02B2-49D8-AA9D-179A93BFC987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e7c1b75bf90c1a95dd12e4eebe73bea0dae7730","datavalue":{"value":{"entity-type":"item","numeric-id":3097871,"id":"Q3097871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"545674f91e1314c6217f00a6dbe4f86f8c0daa27","datavalue":{"value":{"amount":"+0.7351698279380798","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":"Q454376$55ACBFE3-4AA4-45D7-8DD6-194A5BCF165F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"193f9229012e4ad6df4b8f0f5493a8328009d972","datavalue":{"value":{"entity-type":"item","numeric-id":1818593,"id":"Q1818593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96be5ed069b957a084629a842df7478fa17e514d","datavalue":{"value":{"amount":"+0.7307240962982178","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":"Q454376$9D3FA6B0-6699-4E49-BE99-9721ED88CF9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\Delta\\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(%5CDelta%5C)-core_fuzzy_logics_with_propositional_quantifiers,_quantifier_elimination_and_uniform_Craig_interpolation"}}}}}