{"entities":{"Q2096452":{"pageid":2107195,"ns":120,"title":"Item:Q2096452","lastrevid":43513157,"modified":"2025-07-30T11:23:23Z","type":"item","id":"Q2096452","labels":{"en":{"language":"en","value":"A combinator-based superposition calculus for higher-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614518"}},"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":"Q2096452$AA576C6F-52D7-46A9-B57D-AC77EF2B1044","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fb3c8cf55f530fa65f87adc9a29ccf4fa396e80","datavalue":{"value":{"text":"A combinator-based superposition calculus for higher-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2096452$A2A35C6A-1A3E-4710-9EEE-F4D004FE33D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70966996f8702fad6b068c08634b437c25b0dc38","datavalue":{"value":"10.1007/978-3-030-51074-9_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096452$8B0F016A-E015-41C6-A885-BC9AE4040EE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2428536f9164b41f7137c52a90cdc9d6f859dfea","datavalue":{"value":{"entity-type":"item","numeric-id":2096450,"id":"Q2096450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$95064C0D-E674-4D78-9F18-EEEB6D8FA2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"395a9171f6bae9b8af4e7440aa83cc44ae6e3948","datavalue":{"value":{"entity-type":"item","numeric-id":2075783,"id":"Q2075783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$9F85D92D-86E0-4CE9-8D87-748A7EFF5242","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2096452$A33FC8EC-4532-4EA4-85A7-9FE036FACD9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096452$05A17A81-26ED-45EB-BFFA-A4DBC3AAF85F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e1bcfa6de29ee385546759a8347850397f8c60a","datavalue":{"value":"7614518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096452$341E44BA-7B08-46B1-8A5A-61218E733189","rank":"normal"}],"P1463":[{"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":"Q2096452$44AC8A58-FB15-42A0-BDD8-EFB67036A719","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":"Q2096452$7BE584D1-911F-480E-B88D-BE69ED6F647E","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":"Q2096452$67866940-9B19-48BE-995C-392C7A99E17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$1231006D-F83A-40EC-8D13-EC0F4DEF3023","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":"Q2096452$20D64D4D-6A9B-40B8-8390-A94787974882","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":"Q2096452$0D6F6667-1446-4231-A18C-D5F23283212C","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":"Q2096452$FDACAC5E-6C89-40C4-9993-48B553CFE9D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d4322ca8f10aa4bcfa27a6d756ac79f071ddb48","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51074-9_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2096452$BC908B95-B2F8-41F2-BE26-CB3889AB15AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c845213fe7184c3d60aa8b641db21410017e174d","datavalue":{"value":"W3040578348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096452$47E9293D-CFAA-4263-964B-816901DDCED2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84661190c70e049933b7bb825904abf4b4a875a","datavalue":{"value":{"entity-type":"item","numeric-id":908896,"id":"Q908896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$D17E5AFE-2DF0-4013-A160-3696560D470A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$636556E2-804D-4F93-91A2-209C495C4317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34d3ef919a581f437ca785956c24e2de15d403e7","datavalue":{"value":{"entity-type":"item","numeric-id":2305406,"id":"Q2305406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$D431FD60-416F-403B-A141-8F0321DBE7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d7e9017e9f92808788a0b971125d9368ce41250","datavalue":{"value":{"entity-type":"item","numeric-id":5919500,"id":"Q5919500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$E6DDDEE0-476F-4F20-B67E-075B104A9827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"200a38ad327b4bf6451febd1153cf5712eb36a56","datavalue":{"value":{"entity-type":"item","numeric-id":1799065,"id":"Q1799065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$DAFAABB5-A0B3-4BAF-9F9C-4C16AE3AF08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44f29a5847ba65ecb038e53a168893c35ebafbc","datavalue":{"value":{"entity-type":"item","numeric-id":287283,"id":"Q287283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$B27C610F-EFEA-428D-AD45-4E5A1D85866F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7a0bc91167b07d4a815fc8e545c25eb6c16c5d4","datavalue":{"value":{"entity-type":"item","numeric-id":2305407,"id":"Q2305407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$C856597F-02E8-4604-8635-ABEAD576C901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c0be2bc6236a4c24770f12e7c48575e7f2c2b22","datavalue":{"value":{"entity-type":"item","numeric-id":2096451,"id":"Q2096451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$BB43DA92-865A-45DA-A1AC-41611E101CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777fbab1eaa15a06783a0bbd465c24796c8f6e48","datavalue":{"value":{"entity-type":"item","numeric-id":3172884,"id":"Q3172884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$23D2810D-56B7-441D-8CDD-EF7DC111CFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73747d1be528c82497c6517bd1ecf143bfa790b1","datavalue":{"value":{"entity-type":"item","numeric-id":2908482,"id":"Q2908482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$B722483E-5D9F-4950-B2D9-5694792A39D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd3cb6b9019747c7bbfc2bed55b78e42a7665495","datavalue":{"value":{"entity-type":"item","numeric-id":1663240,"id":"Q1663240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$C6067BE2-DEFE-416A-A856-5C24928D9A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9b6c837d9448bc2b136325c331db8629ab4909","datavalue":{"value":{"entity-type":"item","numeric-id":3522248,"id":"Q3522248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$10A5BA73-7F9B-49D8-B9ED-41147BD37C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5323076a0b1469af97212bfdadff5e32e899bd3","datavalue":{"value":{"entity-type":"item","numeric-id":4012178,"id":"Q4012178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$623731B2-B8F4-4CBF-9032-891ED14E493E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7d82cbe89a1632874644e791b4fe4e971b8cc6","datavalue":{"value":{"entity-type":"item","numeric-id":3192181,"id":"Q3192181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$88D418E9-FA01-4FF5-A6DC-A4424FD63C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f38c339bbd571c9f13a1b3052c0abde7b640b4a","datavalue":{"value":{"entity-type":"item","numeric-id":2471742,"id":"Q2471742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$C6215359-8EBE-45CE-B15C-08F3B6CAADA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1675ec5894a8c57acbe2bcc56434f5813617d031","datavalue":{"value":{"entity-type":"item","numeric-id":1102282,"id":"Q1102282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$814C07EC-D09D-4AEE-84B6-81E535FEC141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f14878b4342799995051ac9bc54cd21c98efc98","datavalue":{"value":{"entity-type":"item","numeric-id":2751359,"id":"Q2751359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$99BA6795-C4D9-415B-B0F0-4450BF5354F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727bf6303f28578cce92a2bdc6c0d3c263a24381","datavalue":{"value":{"entity-type":"item","numeric-id":2324203,"id":"Q2324203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$FABF2F39-C984-4ABA-9792-663353397F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fc8985b7898988b7d52edb5c0cd61c1b917df6","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$9F807180-64B7-4417-9F70-0A5B1980CCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0434b2cff3a332437948c6a2ffe1dbdd5f46204","datavalue":{"value":{"entity-type":"item","numeric-id":4557854,"id":"Q4557854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$FA917A2D-00AF-4391-A8BD-F0A80CA0903F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1bdd6abc4d3cf5dea2b7602404acd1281c9b7d","datavalue":{"value":{"entity-type":"item","numeric-id":1799072,"id":"Q1799072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$0FEF4314-6BF9-4B58-974B-04577B441114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82f0f40ab66cf033c5a229880b34de6b2284f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1694574,"id":"Q1694574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$9810C240-AEA0-475B-834A-CB2200DFC8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd64358c68335b8f55c95884438c93973af5783f","datavalue":{"value":{"entity-type":"item","numeric-id":5028439,"id":"Q5028439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096452$5BB85358-FEB9-4807-9AF0-9DA9BADABF64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2096452","badges":[]}}}}}