{"entities":{"Q2180528":{"pageid":2191271,"ns":120,"title":"Item:Q2180528","lastrevid":72778911,"modified":"2026-04-14T07:46:13Z","type":"item","id":"Q2180528","labels":{"en":{"language":"en","value":"Herbrand constructivization for automated intuitionistic theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7200677"}},"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":"Q2180528$D6921530-D594-4A4A-8E25-5FE2889C20F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a8088e788fd77d2050c24eebdab3b407f455770","datavalue":{"value":{"text":"Herbrand constructivization for automated intuitionistic theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2180528$1598A3C7-75B9-4FFD-9338-D09DF2C408AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"992d4cd1a49cbeadbda728e8c38694aa7cc4558e","datavalue":{"value":"1435.68364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180528$6313D266-41FC-4A52-B51A-F55E1D119AE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dea9e31a36c6e1891d6f3b0fc445b389064957ba","datavalue":{"value":"10.1007/978-3-030-29026-9_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180528$0CC17835-309A-4B20-863E-8AA5696AA751","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aefce4072ff7b8c016ef35d01c9736e705e82ce2","datavalue":{"value":{"entity-type":"item","numeric-id":1622973,"id":"Q1622973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180528$68799680-76D9-4DCF-831E-00249B33BEB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7de1f12a4b81f8e35c9663469c9c0ea0df019fb","datavalue":{"value":{"time":"+2020-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2180528$DE7A0528-7D87-4EDB-8F90-47D56E34B993","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180528$846362C7-6C35-41DE-BD32-1EA2555D85E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180528$D9E7F2BD-82CC-495E-BC2E-A4E06D990B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180528$4E67C2EA-8A87-4BF5-94CD-F52B6118012A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ce9e451e7f11c3554d88180f470efe36c10e907","datavalue":{"value":"7200677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180528$2FAA7075-0F43-42E2-8050-B4D0C0063CF7","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":"Q2180528$486D2DCA-E704-4FE2-83CD-AC13B85A0DA0","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":"Q2180528$FB28327F-8ACD-427A-A3A7-C498B04BC73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180528$41BEC4A9-70DE-42D4-A500-B2A56B9F9B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180528$798738B3-6751-43CE-95DD-2B327080627C","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":"Q2180528$80DB8474-9FBD-4F65-9309-99EBBD060108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"da80af7decb56df8eee70e5ca6b91ba167f98ccd","datavalue":{"value":{"entity-type":"item","numeric-id":45302,"id":"Q45302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180528$4E5429C9-8F33-4B7A-8FEB-68273273C1DC","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":"Q2180528$83578C0D-7F42-4F1F-8429-D7F644283DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180528$49715A16-6018-4624-AD46-65EB0B021524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e931e3e9b122c67605faf5edb5155d9592d9fbbd","datavalue":{"value":{"entity-type":"item","numeric-id":13195,"id":"Q13195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180528$A8F67A9E-308B-4F70-94E0-B1A45D7090C6","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":"Q2180528$CF584CEC-B8FF-4901-8BF3-D56D9B90D06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180528$A7D2A381-C1E6-4F57-AE39-FE884750122F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ae510ff9d7026cdfae7484e5c88af62cffb92c77","datavalue":{"value":{"entity-type":"item","numeric-id":21735,"id":"Q21735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180528$0445AF5D-BC75-4C42-BC1F-0FB4AAF5CEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90c7c18880caa813a6bdace0f373d3dec3147690","datavalue":{"value":{"entity-type":"item","numeric-id":40350,"id":"Q40350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180528$7ACE6502-4972-49F4-BDC7-7D66C4E717A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d1d25ae8c00cfad058b188db36fd61dac09925","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180528$BE9BBF5A-D83E-4183-87A6-76776FBA9CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180528$AE46019A-66DA-4898-BBBD-1BF7C2ACAA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0377fc08ea7f390117b8d130fb06b17b33670035","datavalue":{"value":{"entity-type":"item","numeric-id":33995,"id":"Q33995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180528$5CDB646D-F7EF-4A9B-80C9-E89EDEAF7198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f13c5c9c25f7184beaf0290667b61e0c4dbe5579","datavalue":{"value":{"entity-type":"item","numeric-id":33996,"id":"Q33996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180528$DB707199-F0CC-4576-AF1C-C2AA41C65363","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":"Q2180528$51A6D8DC-B3C5-4519-B511-A692E0D6F71F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4c37fd807f8561951345166e2b7b0d90e29da9a","datavalue":{"value":"https://doi.org/10.1007/978-3-030-29026-9_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2180528$0F3467FD-1179-4E87-BAE6-F15AF09214E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98daaac2ef744b8ffd0cbd136f1b992b6983f197","datavalue":{"value":"W2969536091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180528$1852AEC8-F8E2-42B0-8B2D-04928F6CE0BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7711afdf877725af8e431071b470ffbd337d1f93","datavalue":{"value":{"entity-type":"item","numeric-id":3533140,"id":"Q3533140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5dcdcb34cae1a6f59dbe25de8deb788e7c733b0","datavalue":{"value":{"amount":"+0.7961817979812622","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":"Q2180528$5839E42A-056A-408A-AD47-EC086DFD28F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc88718a305d147397faaf7899d51ccdc2bb5ca","datavalue":{"value":{"entity-type":"item","numeric-id":4647496,"id":"Q4647496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0010add325eb98c624657d3a65bfb5eda828c171","datavalue":{"value":{"amount":"+0.7839115858078003","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":"Q2180528$E7E676BD-BBDB-445C-AFBC-588418F60388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6706f674745437a28e826927d52883b093061b9e","datavalue":{"value":{"entity-type":"item","numeric-id":2988387,"id":"Q2988387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27b6c738d37a2c3a5845fe65bc8bd9438f24f45d","datavalue":{"value":{"amount":"+0.7796630263328552","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":"Q2180528$A398229B-B704-47F2-8457-675195330748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de7f191b3d0e2d385eb0a240cd7bc93e739246a","datavalue":{"value":{"entity-type":"item","numeric-id":4264720,"id":"Q4264720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca45b20f2201fb84fd2b31fb06d5855c911790d2","datavalue":{"value":{"amount":"+0.7728478908538818","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":"Q2180528$F29EAF47-A876-4340-8A09-DCF07A680E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e62faae414725696cb5c719e82e12f59950ef418","datavalue":{"value":{"entity-type":"item","numeric-id":2180511,"id":"Q2180511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab2fc2db79c0146d7fe9ebc58d85dc521380554e","datavalue":{"value":{"amount":"+0.7631412148475647","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":"Q2180528$C0718F69-77A3-4BF1-B46A-61F106F84759","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Herbrand constructivization for automated intuitionistic theorem proving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Herbrand_constructivization_for_automated_intuitionistic_theorem_proving"}}}}}