{"entities":{"Q818926":{"pageid":820774,"ns":120,"title":"Item:Q818926","lastrevid":64572192,"modified":"2026-04-11T20:47:45Z","type":"item","id":"Q818926","labels":{"en":{"language":"en","value":"A relative interpolation theorem for infinitary universal Horn logic and its applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5014159"}},"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":"Q818926$3C5B446A-B0CC-4BFD-BF48-D29B4202304E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f9877a93361ffc4e05f8b6483acaba7b8afed33","datavalue":{"value":{"text":"A relative interpolation theorem for infinitary universal Horn logic and its applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q818926$8F3FFD57-44D1-4CB8-B8EF-C05C47ACB4C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"680cc7328dac1ee14c58d0cb620b204d610e9321","datavalue":{"value":"1093.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818926$6A262D7C-AF7B-48AA-A5C1-32B72ACFB836","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf46b424f34bc75ff7efa1123c3981a48794242a","datavalue":{"value":{"entity-type":"item","numeric-id":189427,"id":"Q189427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818926$82E4ED03-B68F-4098-BBFE-EC72650B7D56","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818926$73549D6E-B4C8-4904-96AB-FC32DEC86865","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b0fcdb7772aa9430d25813b6d3153f89c3c8a89","datavalue":{"value":{"time":"+2006-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q818926$6C15A9DC-06D2-44FE-8DF6-FC5486C1B43D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818926$019EF9F7-03B1-4F69-8D13-08EE26980CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818926$427CE167-1588-447B-9888-BC1BAEB2C34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f3152f1d01b714bd5c5d482a16f31a33677a49d","datavalue":{"value":"03G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818926$34399216-F7E2-4842-8E70-209890834DFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"402690cd0ba549b1e53baad5b92e43b50d10c83f","datavalue":{"value":"5014159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818926$BB1F64A6-D260-4D6B-A934-DE0535692090","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f181609ff4f1e251c2a539bb83282881ad05be27","datavalue":{"value":"Universal Horn theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q818926$B41480B5-AC9A-4B24-9B24-363C88843326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76d0952eb78e6cd4cc4a2ba65d0dcceeee622c30","datavalue":{"value":"Interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q818926$128888F4-9EE4-466B-8292-11FC7AF6E955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41f71940a3b88b82f9e5eda19fdea5dff79f4d8f","datavalue":{"value":"Preservation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q818926$8976FB06-A0C8-4460-A348-166F8103856F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"072a5b203305470f1feb154cf467405b2c32e5af","datavalue":{"value":"Definability theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q818926$473DB675-479D-4343-B115-D6E80A3C24F5","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":"Q818926$E97186EB-2A6F-44A1-8F37-0CF30494DCF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f04318a9f83a9528395cbbc0c93746b4cac7cdad","datavalue":{"value":"https://doi.org/10.1007/s00153-005-0302-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q818926$7843A955-AF7F-4DAD-87A3-99584EA27877","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59efe16458c0ede6da80282b142529f6e28a9c61","datavalue":{"value":"W2122759166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818926$F5FC90EC-677E-4C09-BEB7-F028179F2699","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818926$847F5045-ACF4-4690-A391-C0957DB39F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"682ca3d938867ec3ffb5a919a90d11a6dff5bb75","datavalue":{"value":{"entity-type":"item","numeric-id":2555490,"id":"Q2555490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818926$6AEC2596-2E65-4293-9DB2-C7CA99DF8F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"717ee7ad9617e8fc6b7a3bae8a5f26048dd419aa","datavalue":{"value":{"entity-type":"item","numeric-id":5762080,"id":"Q5762080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818926$54C0DCBE-243D-4B58-9067-73BA69AA5119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c34f084b292be64219d879c7254d7f79a37dff10","datavalue":{"value":{"entity-type":"item","numeric-id":1219264,"id":"Q1219264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818926$8672C9F2-9382-43E5-AC4F-617B8C2F0D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eae2cdc95c7d5d8b2b225f158912dbbd3238d985","datavalue":{"value":{"entity-type":"item","numeric-id":1846895,"id":"Q1846895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818926$DB010DCB-4264-47C5-A179-6FF23C6602A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adce2a39656eea86a6cf0f992655d6cc8cd82a77","datavalue":{"value":{"entity-type":"item","numeric-id":4074877,"id":"Q4074877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818926$AED347A6-C931-463D-BAA2-D2CF8B1DF8F9","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":"Q818926$51A2A08C-2B7D-423E-95D1-8E7CEA5EE930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818926$B896F66A-E38A-4C2D-ADDB-0139F880A983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dba929e7f1274d423c18ecee594797b36ca5f8a","datavalue":{"value":{"entity-type":"item","numeric-id":4133710,"id":"Q4133710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818926$64C58908-A602-4A9C-9364-2D465804B44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d507995080a0c1e8e38122d7102dcfbd332c5a","datavalue":{"value":{"entity-type":"item","numeric-id":4165427,"id":"Q4165427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818926$F9E621A5-698A-4F8C-BFD6-9CA32C7108B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818926$6F3CFA57-E448-416A-B87E-B28A9D35D1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1181af74c3050f9d602e64480fd3f8e5cdfbbe99","datavalue":{"value":{"entity-type":"item","numeric-id":5643984,"id":"Q5643984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818926$9B23D801-38D5-4E8D-9309-DC4F2CF95A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ab398e7f317540e7009320334ae15058baa88e","datavalue":{"value":{"entity-type":"item","numeric-id":3235377,"id":"Q3235377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818926$C27C032E-13D4-49AA-A2E0-7CFA4FB133F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ec0208ef3c9ec149fabfa81c92ed2023179d18","datavalue":{"value":{"entity-type":"item","numeric-id":5682023,"id":"Q5682023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818926$A0CBEEF0-B99E-4436-8798-047CC9E9C9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a71f796b0fa0f21efef8d794381e3bce3ee300","datavalue":{"value":{"entity-type":"item","numeric-id":1255485,"id":"Q1255485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818926$8E9CD711-6349-4A40-8023-FAA177CB684A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab46a93f4222678ef5ce8539f986265b37e9fa1","datavalue":{"value":{"entity-type":"item","numeric-id":4868229,"id":"Q4868229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818926$D6048B25-C562-43B5-8B02-705D0B2F8C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf353a2523f11425ffb25e836f9f766a59af5a87","datavalue":{"value":{"entity-type":"item","numeric-id":1302288,"id":"Q1302288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818926$10A73720-A969-4C28-8B6E-D7481BB3597A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6efda59132d1438607238b8ebb5bc96ca059672","datavalue":{"value":{"entity-type":"item","numeric-id":4487294,"id":"Q4487294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818926$2792ACF0-8F5F-429F-958E-318BAF3F8651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"210a89e221973209a20ca40a5ceface4b0421bc5","datavalue":{"value":{"entity-type":"item","numeric-id":4443421,"id":"Q4443421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818926$57660C59-907E-424E-9B0C-1333F5DE8AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d8e74844769fa915c222ebc2b478cea54c881a","datavalue":{"value":{"entity-type":"item","numeric-id":4822149,"id":"Q4822149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818926$4DE08785-88CF-45C9-A0CD-C920412D209B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af496a09e64d6feec903f2344c5293f6f79092cc","datavalue":{"value":"10.1007/S00153-005-0302-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818926$D23DA5DD-192A-4357-AFA9-52855D9D518E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b24e294615fee7b1e6721a2169219c5b08263f67","datavalue":{"value":{"entity-type":"item","numeric-id":3128471,"id":"Q3128471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce24188ea51463a97db09bf37e5f990ffbc7a184","datavalue":{"value":{"amount":"+0.8190091252326965","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":"Q818926$DE8B2EBD-09FA-49CA-B1FE-07135E7900CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f01d908578ccebe815cacc8eb3d4b5cac8175a7","datavalue":{"value":{"entity-type":"item","numeric-id":4262591,"id":"Q4262591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce24188ea51463a97db09bf37e5f990ffbc7a184","datavalue":{"value":{"amount":"+0.8190091252326965","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":"Q818926$40F4B249-B50F-473F-8DB4-390A91B8E76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"205c22c90b13038ee49c8c8e433fe117500e4836","datavalue":{"value":{"entity-type":"item","numeric-id":4335229,"id":"Q4335229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6b23b29dc84be32ca5212d9b16b70481a8b67ad","datavalue":{"value":{"amount":"+0.7837481498718262","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":"Q818926$F603076F-8252-4ED7-9944-B554A55368E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4a07bf3738e8e8e6537ca86c18166c627bf7557","datavalue":{"value":{"entity-type":"item","numeric-id":2711348,"id":"Q2711348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6b23b29dc84be32ca5212d9b16b70481a8b67ad","datavalue":{"value":{"amount":"+0.7837481498718262","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":"Q818926$3D58C5FA-EF42-481E-989E-19AB38583B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce2fc318dcde575fcd75081565c3739be49e9140","datavalue":{"value":{"entity-type":"item","numeric-id":3795662,"id":"Q3795662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91ff3d11887277b806400bd3f897e8a9545bc228","datavalue":{"value":{"amount":"+0.7499386072158813","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":"Q818926$E431D5F3-F86C-4391-A224-1078767241EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A relative interpolation theorem for infinitary universal Horn logic and its applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_relative_interpolation_theorem_for_infinitary_universal_Horn_logic_and_its_applications"}}}}}