{"entities":{"Q2157604":{"pageid":2168347,"ns":120,"title":"Item:Q2157604","lastrevid":54369464,"modified":"2026-01-26T17:22:36Z","type":"item","id":"Q2157604","labels":{"en":{"language":"en","value":"On extracting variable Herbrand disjunctions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7562026"}},"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":"Q2157604$7F6BF60E-CF06-46BC-823C-C8D5D8BCBE79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a577c534b36f40ff000e016703a18f99e2b5e5e","datavalue":{"value":{"text":"On extracting variable Herbrand disjunctions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2157604$650492F3-5C12-4B06-B3C4-44EF6D5E86BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e5e0a0bf4c521c32485aba72971c4b0e7b313ca","datavalue":{"value":{"entity-type":"item","numeric-id":331049,"id":"Q331049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157604$5B64B629-41CB-4F07-B8D7-3D2303440884","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157604$FC3BB924-A1EC-49A4-AFF0-B625D7D7E3EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d46ecef1ec827ad3e2f040d1d1db4685eddc02e8","datavalue":{"value":{"time":"+2022-07-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":"Q2157604$F9A2F736-E0BE-432E-9F97-ECAD7D1823E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"711f77e461fecf82152486d8f848ac5e09c19ae3","datavalue":{"value":"https://arxiv.org/abs/2111.12133","type":"string"},"datatype":"url"},"type":"statement","id":"Q2157604$A9206ACC-B1A7-4A6D-A8B2-5379CFFF047A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2157604$29701703-B577-472F-9A17-F7E1FB23D0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2157604$5AF08DC6-8E72-408B-A6CB-00B26D214C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2157604$D3C007DF-90EE-4BF5-A553-1F7D0F69EA9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51258fc1f72c43fb1aeb033f1c325f867ca3ef65","datavalue":{"value":"7562026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2157604$0779BE45-DFFF-4917-B2C0-80EC1880709F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2157604$1961B1C3-9B5D-4F0B-B69D-37190C70A7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492942e689dba58f90096ed1c12c52b0f868caa6","datavalue":{"value":"functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2157604$155F4911-A241-4CD2-8E76-E7BD96D684DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e85a61e7939ee6f14f83214f0f77882dcad4fc","datavalue":{"value":"first-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2157604$8FA9429D-759B-4744-B89E-DC903B7FEA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c23305d5a301c23057fddc53953635a4398a76","datavalue":{"value":"proof mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q2157604$F948DEE6-C4FE-4677-BB34-BEF68FB00241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cedb220a47f6cafc2f2b5fa711d1ddf0f6ecc6c","datavalue":{"value":"metastability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2157604$AD509308-3FB4-450B-96CE-E6546099B518","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":"Q2157604$EF1E983E-63B6-4421-AE2C-68BA4620E518","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2cab0bf721ca38a1dccc8cd0d85ea9d6f9603566","datavalue":{"value":"W4226046667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2157604$C94428AA-A7EF-4043-8EFC-FEB35C18FC99","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0c1b1a7295f1674278c3a18943ab587f70e0b21a","datavalue":{"value":"Q114827198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2157604$5F89D345-2531-4936-BE7B-91BB3CD0D008","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"637eba88da2d88f86ceac920b311ab22b3bb4ab4","datavalue":{"value":{"entity-type":"item","numeric-id":1987218,"id":"Q1987218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157604$0A956697-CD5E-4688-8DE3-10B1F880A256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b2e99af7020dec449ffea2d0934884ccc24fb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2195636,"id":"Q2195636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157604$3AFB971C-843B-4423-AA69-81A566FDAE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d67189c63269cad7e7ff47006ef0f8dbaf3a7f57","datavalue":{"value":{"entity-type":"item","numeric-id":2043309,"id":"Q2043309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157604$7F1A1EFA-36C3-49D6-87FD-8EDB0A96AE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"837bc1385595a868f157ad00f8e53f97083cfd9b","datavalue":{"value":{"entity-type":"item","numeric-id":2402958,"id":"Q2402958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157604$20F75358-3657-4981-8644-BC3A4150D1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98492c4789301c3cc74d78c8a616826720096e7d","datavalue":{"value":{"entity-type":"item","numeric-id":2486989,"id":"Q2486989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157604$F4D7A94B-2726-40AB-8EBC-19BDAF80041E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157604$2CB2253A-E900-4359-BBA8-386479003EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdcf635c64c989f772b97ff807942b26cc8a8b9","datavalue":{"value":{"entity-type":"item","numeric-id":3635861,"id":"Q3635861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157604$48CACEE1-4C0F-4562-BEFB-340B71A115BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157604$72433F46-7073-4F3A-9C13-C388898D67AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7b2ea62a61340c30ced0693795d31f5e2d749a","datavalue":{"value":{"entity-type":"item","numeric-id":5122020,"id":"Q5122020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157604$8F0B6485-937D-4591-9B66-A5067835C885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b566590ddf05ce17c03a1503b19410bf73ab0562","datavalue":{"value":{"entity-type":"item","numeric-id":845286,"id":"Q845286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157604$D0F62B3A-A53D-4C67-8FE1-8597F8AD7EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d966d8fb41a3564f4060a1b833eb768ac2e0597d","datavalue":{"value":{"entity-type":"item","numeric-id":5806808,"id":"Q5806808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157604$52334213-1038-4CEC-BDA8-D0687BCEDB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a0f5ab3a82f792e215192b74a3f7485b0840ad","datavalue":{"value":{"entity-type":"item","numeric-id":5809142,"id":"Q5809142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157604$F90BCC5A-FD5D-422F-A381-64797D0CA42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cc241747ec6fa1130277e3fe9cbb65e8f8d05e","datavalue":{"value":{"entity-type":"item","numeric-id":5680103,"id":"Q5680103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157604$7C12E0E0-9DEF-46DC-B5A1-30E97E8BDF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157604$8D6B0A19-CF5C-4805-87D4-CF9AD26B0E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1bec9637dba5e8307ef3ad4b6a5c2e0405240f9","datavalue":{"value":{"entity-type":"item","numeric-id":3437042,"id":"Q3437042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157604$7263D5CD-D386-48B6-A6AB-AB63D44CDCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8522203069c662f42e96bc0d7df3b0c3af526a7a","datavalue":{"value":{"entity-type":"item","numeric-id":5533180,"id":"Q5533180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157604$6EA8491B-0182-4178-9764-71F4FB0D36CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14498f16b9ae97f035b0d401c10929eb4bf810d1","datavalue":{"value":{"entity-type":"item","numeric-id":5387252,"id":"Q5387252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157604$CF1E4BB3-472E-4AC7-8C4D-28B1A8BFF494","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19d507b362faf257f8a43a47b0ed22a13e5ab51e","datavalue":{"value":"10.1007/S11225-022-09990-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2157604$F116C8E0-EC99-4540-A76E-9D9FE0D889D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1590ce945709859e583973741e1267839f8cd55b","datavalue":{"value":{"entity-type":"item","numeric-id":2486989,"id":"Q2486989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aef6fa60b186388b60e8002442989134d48b1f7b","datavalue":{"value":{"amount":"+0.814796507358551","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":"Q2157604$EAC2A232-622F-430F-BEEB-33572E7E6CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6fa88b9a58052f95dd2389b84358c6b5186ea9c","datavalue":{"value":{"entity-type":"item","numeric-id":3635861,"id":"Q3635861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"870ddde89dd274d388d5c2f27ce26c19faca37b8","datavalue":{"value":{"amount":"+0.8005837202072144","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":"Q2157604$7356E84D-D26C-4D65-9BC7-E9B4BBCE9F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"927de2036c04d73625e0d30f14439bf2d3b81a74","datavalue":{"value":{"entity-type":"item","numeric-id":4783326,"id":"Q4783326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edea357f7c3076f0cee18e00403e49dc0b3d421c","datavalue":{"value":{"amount":"+0.7417364120483398","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":"Q2157604$FEC1DC93-D8DF-4E93-B688-734E90ECE5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb77c33509eb13469d047cff62be4feedf5192b","datavalue":{"value":{"entity-type":"item","numeric-id":2641297,"id":"Q2641297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc3d5bf5362c1ca8680bc436e7d149318317cfb","datavalue":{"value":{"amount":"+0.7373547554016113","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":"Q2157604$E16A1AD8-1B9B-45BD-ACA7-2622F3F6EA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b221097adb8151741c109487a261e170d2831a0","datavalue":{"value":{"entity-type":"item","numeric-id":2491080,"id":"Q2491080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c1cbbab4c47e39e2341bcf691875119564d9fb1","datavalue":{"value":{"amount":"+0.7289926409721375","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":"Q2157604$73D442B3-81B6-4860-A891-87CDC8ED9467","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2157604","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2157604"}}}}}