{"entities":{"Q3133181":{"pageid":3143897,"ns":120,"title":"Item:Q3133181","lastrevid":53018231,"modified":"2026-01-24T01:20:38Z","type":"item","id":"Q3133181","labels":{"en":{"language":"en","value":"Downward L\u00f6wenheim-Skolem theorem and interpolation in logics with constructors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6837752"}},"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":"Q3133181$5D288EC9-5457-4D24-87FB-A339AFBF64EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"808886c30465bed1e20b7251427ef39003d1b021","datavalue":{"value":{"text":"Combinatorics of $\\lambda$-terms: a natural approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3133181$1995650D-38E1-4817-95A1-282DA5130ADA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1a8baac30d87a4a620c56036d7cf6611d28f812","datavalue":{"value":"1444.03187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133181$2770784E-0AEB-4AB7-904A-7D312CAEB772","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2d638021660716db5787978cf34b6aa4aef754d","datavalue":{"value":{"entity-type":"item","numeric-id":878155,"id":"Q878155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133181$A6D36BE9-8B32-4140-A30F-B0192EEDD0B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee53210b31b3a9f4fe71da2550e4c06c4d383198","datavalue":{"value":{"time":"+2018-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3133181$5FB3CD6A-94E6-42A3-90A3-713D0B844ED1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133181$E1E1D61A-0F4C-4823-8914-D5350236FE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133181$B6977B2A-BE29-4E2D-A26F-A420024BCB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133181$98EC8C11-D152-40E1-BEB2-8DEA7589FA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133181$372318A2-F69A-4EB3-A1A9-099FEEEFD3F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18126869518276b29c8895731da6655c8a7ea647","datavalue":{"value":"6837752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133181$6D83F1FF-BD73-4130-A2BD-78D5A0B5C262","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":"Q3133181$8EDB1DD8-4F3D-4832-945C-72D40B191C34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cbde61fd642c146f895d8f89cf00cb213c1b5ea","datavalue":{"value":"https://doi.org/10.1093/logcom/exx018","type":"string"},"datatype":"url"},"type":"statement","id":"Q3133181$097FF2C9-ED12-4D97-AA14-483EC22455EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9f392ba73a5d6d6ea2e62bbea1aae22b313498b","datavalue":{"value":"W2963578516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133181$A1047807-7FE3-4544-9D42-BD611151397F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee18f0a6f18acf254f05a71449da1bff16ea274c","datavalue":{"value":"10.1093/LOGCOM/EXX018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133181$87C769FB-C6BF-4264-BDB5-B078871806D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133181$798B4D14-67CD-47E4-87B3-474DEADC9BC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88e9f5696d2f663ff4270a486a526bcb9766079","datavalue":{"value":{"entity-type":"item","numeric-id":1944775,"id":"Q1944775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b35511a99dabdde367515f6f05a1ac995b1b4fba","datavalue":{"value":{"amount":"+0.7975772619247437","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":"Q3133181$6697F051-80C2-4759-A810-B0B12EE9710D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0195d6caa0f3038c9d74d47ceaa29f0c4229adfb","datavalue":{"value":{"entity-type":"item","numeric-id":2254574,"id":"Q2254574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e5fc5b0b0c0f67ef807c9128c37f34e74b00d2","datavalue":{"value":{"amount":"+0.754145622253418","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":"Q3133181$73E4F216-8FD3-4409-9C24-15FB12BE181D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8634e46f82ea73503a275cfaa8bc5a48102d5491","datavalue":{"value":{"entity-type":"item","numeric-id":4644543,"id":"Q4644543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fd4ade84c3485447ec3bb9bbb1e88103dc7f7df","datavalue":{"value":{"amount":"+0.7353734374046326","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":"Q3133181$637D956B-002C-4706-82C2-D969D32C947F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeffe33afd603fd4a5aa07a1c54164b1df0563cc","datavalue":{"value":{"entity-type":"item","numeric-id":2893323,"id":"Q2893323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5d6b2926c03a101bcb122a94f748d22aa9c6731","datavalue":{"value":{"amount":"+0.7293084263801575","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":"Q3133181$686216AB-EEF6-4F6C-8D01-E1BA24568390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"660b225cd944f498669ce74a3881521b2f2a3caf","datavalue":{"value":{"entity-type":"item","numeric-id":1876090,"id":"Q1876090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e61ec79d87cdf5ebc886b89af0d1432a5e49605","datavalue":{"value":{"amount":"+0.7250449657440186","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":"Q3133181$A0F7AD8C-AB03-4327-A971-9A22BD71016C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3133181","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3133181"}}}}}