{"entities":{"Q1799065":{"pageid":1809807,"ns":120,"title":"Item:Q1799065","lastrevid":53239715,"modified":"2026-01-24T12:59:47Z","type":"item","id":"Q1799065","labels":{"en":{"language":"en","value":"Superposition for \\(\\lambda\\)-free higher-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958090"}},"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":"Q1799065$250135EF-B320-4BD1-AD2F-77519A2E232C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9eb73d5cb40ae25720c986d1a266a70364f12f6c","datavalue":{"value":{"text":"Superposition for \\(\\lambda\\)-free higher-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799065$9BB67676-784E-445C-AD0A-DC5243FD01DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"190c766ccd17eb2035c44a93e41618083f26d015","datavalue":{"value":"10.1007/978-3-319-94205-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799065$D6D31186-6A45-4986-A6E0-9BD784CBA2C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15de60d15cad4f16d9ed61faf6018fbe1d338db4","datavalue":{"value":{"entity-type":"item","numeric-id":1687713,"id":"Q1687713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799065$4F517AA3-3F06-4E0F-8413-26FEAAB5CFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42c29c686dffd678d9f155b05a4a1aa93e85953c","datavalue":{"value":{"entity-type":"item","numeric-id":287335,"id":"Q287335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799065$51B1F47A-64B6-4D2B-A75D-F0883D65D053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"037c47bd3a9f6d2076fba3c04fc25dcf481756bc","datavalue":{"value":{"entity-type":"item","numeric-id":1687552,"id":"Q1687552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799065$E4338E91-FD89-4AF8-989D-2524D0010488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecde3ddf4f96a8da457aeb906b2979614b354694","datavalue":{"value":{"entity-type":"item","numeric-id":293310,"id":"Q293310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799065$FA484643-06F8-4DD0-A71B-356D85B5ABFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-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":"Q1799065$AF377191-0B5E-4A99-827B-3D097EE0F68E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799065$4E418557-EB60-4D30-9401-9747C2EBAB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799065$76ADB4B9-3639-45E0-AC15-F07262436485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799065$7EFC9312-EBDE-40AC-90E4-F2A00EAD7C3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47168ec7c4bc6e2746533337365705ad319f0155","datavalue":{"value":"6958090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799065$B889F4C6-F3B3-427C-A582-76811E366339","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799065$3AD4D70C-3183-4103-9273-2A26DC729F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45fa147ad24d78ff9111165d21eddec7203c8bfd","datavalue":{"value":{"entity-type":"item","numeric-id":20838,"id":"Q20838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799065$580DEFCA-F1E9-439D-A802-3E7DFC7EB10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799065$E3052529-FEE8-4D96-9567-6F02BCE394B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4bc79cfb4b56d32776e1fa1258932352b9c2825a","datavalue":{"value":{"entity-type":"item","numeric-id":43962,"id":"Q43962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799065$41530B62-C074-414B-913B-23BA87551E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8617a61c90a632f23d3851deb94e1069d2479a78","datavalue":{"value":{"entity-type":"item","numeric-id":13268,"id":"Q13268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799065$DB98B903-80D2-4D11-B680-35A10F121835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799065$B5939770-5AC7-4AB4-A9A1-48871A3DAC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799065$E316EB36-AC1F-4C12-B41A-572594D14BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799065$2E93A7C0-C768-4E85-A632-0571F7DCF973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"491e4169c914222bc349264f15b36cbf2c3ef446","datavalue":{"value":{"entity-type":"item","numeric-id":18920,"id":"Q18920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799065$0A4CD2EE-55DA-4FDF-9093-0C9E805D5858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d5babe97f2f56351f377ba7c3d7378d6a3c2e47","datavalue":{"value":{"entity-type":"item","numeric-id":30355,"id":"Q30355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799065$83CCEA97-91B4-435C-8A13-A8A8A65C7F59","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":"Q1799065$065F9656-CA69-48AB-8F02-21A7736262E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1722d282295e8dc7b8c93e7ab13d9bc85930021e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94205-6_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799065$C1E3D365-1867-4DDC-8670-23AB661FEC39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"949e1ad74768c5991ba1590d7ea1e425f59b05da","datavalue":{"value":"W2810826868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799065$544E19EB-6C34-4847-AF92-C6E51F6326C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"338faab03a6852bef0c51d702c61cd9ee8ecf151","datavalue":{"value":{"entity-type":"item","numeric-id":2055874,"id":"Q2055874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f884f195a3dc6d352b5ecd274250fbf30262b9","datavalue":{"value":{"amount":"+0.9133839011192322","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":"Q1799065$9CCF1020-01E1-482E-A3AA-C3732897303E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b0c61e6fd01e935344860ee668c18458e006fba","datavalue":{"value":{"entity-type":"item","numeric-id":2988386,"id":"Q2988386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc01bbe47f4cafb246c15c3bcf457293b3be318c","datavalue":{"value":{"amount":"+0.8968844413757324","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":"Q1799065$844E74B5-F3D8-4691-87B7-5AAE9D253D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b2d442c7f5df274dda11adf2373418edeedfd4f","datavalue":{"value":{"entity-type":"item","numeric-id":5918403,"id":"Q5918403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7ff18aac88bcda1065ce619618face766362a5b","datavalue":{"value":{"amount":"+0.8691741824150085","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":"Q1799065$DADBE9AC-1A9A-4D83-9896-7E9BF0BFB316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3af0cef260fd5715d276a6fa5c33ddfa938220ef","datavalue":{"value":{"entity-type":"item","numeric-id":5918575,"id":"Q5918575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccb906dba74590ab7123118a44293ec877db3ea4","datavalue":{"value":{"amount":"+0.867862343788147","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":"Q1799065$282B27D4-4F0E-4A36-A6A4-CAAE2574F80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3152317d7a03936a16bdd3c6afc147e2cefcabb8","datavalue":{"value":{"entity-type":"item","numeric-id":5919500,"id":"Q5919500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f1c842cfec79a47138fc4de95097ea700295b2","datavalue":{"value":{"amount":"+0.8598496913909912","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":"Q1799065$82C2C1E7-A38B-4B83-BE69-39556C1B4EF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1799065","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1799065"}}}}}