{"entities":{"Q3990954":{"pageid":6020805,"ns":120,"title":"Item:Q3990954","lastrevid":87944954,"modified":"2026-06-04T13:13:59Z","type":"item","id":"Q3990954","labels":{"en":{"language":"en","value":"Herbrand semantics, the potential infinite, and ontology-free logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 36085"}},"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":"Q3990954$52A29EB4-62D3-40C2-8DDD-3D99B62F72E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"931baf857fe58f5af0e80accfc9daeaf09297be3","datavalue":{"value":{"text":"Herbrand semantics, the potential infinite, and ontology-free logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3990954$A6211282-0AFB-4A31-8FE8-49925AA0D27B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d85f8f9f52f236760bf94a6a017752c02af0e65a","datavalue":{"value":"0755.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3990954$9854F29B-E08F-4826-AB67-8A8430ED5609","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b096b371aed8399c7f04e58f6c1411a8f5c49ac6","datavalue":{"value":"10.1080/01445349208837195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3990954$2BDA118F-978D-4C00-BFD9-EA799349EB9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32c578aaa21a51e8b63fa2c63ab3052bb29bbe92","datavalue":{"value":{"entity-type":"item","numeric-id":185566,"id":"Q185566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3990954$FB1187E5-08B4-464F-885C-2C440308FFAB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17af3acb8fbbf15cacab125c0d45264f400b5a22","datavalue":{"value":{"entity-type":"item","numeric-id":2757958,"id":"Q2757958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3990954$17A1DFED-60BE-4DA6-97B4-0449BBA6102F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3990954$61038AE3-62F2-460F-BA65-447BB79EF641","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3990954$C6ABCF69-05AD-4099-B3F1-90FD0A7BC0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3990954$987E7763-24AC-4A09-8199-9AE7D973E5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3990954$985A1972-D72F-4A21-ABA6-06CA23F6DD20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dc0f1e9031e741d97d4224459ae567f93ce876c","datavalue":{"value":"36085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3990954$4FA0F770-F9CD-4300-BAD3-3D627C46BDF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"937f8ff8443574de1556bb8ea5c3e4bfb46623cf","datavalue":{"value":"ontological commitment","type":"string"},"datatype":"string"},"type":"statement","id":"Q3990954$D7DD2EC1-464C-49DD-8465-D11EC6AE2041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"190e3ae2482d9af310e78c807d79c35d0acaa138","datavalue":{"value":"actual infinite","type":"string"},"datatype":"string"},"type":"statement","id":"Q3990954$8A0FFCD6-FF69-490F-84A1-8E5EC5A5403F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"843c984183102b0cf77151d2eec678ef4f3864b6","datavalue":{"value":"potential infinite","type":"string"},"datatype":"string"},"type":"statement","id":"Q3990954$A539595D-03A7-4FF6-94D1-AD234B7913E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3990954$CD616868-88C8-4BF2-9AF3-EF64E2F6F6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c713dadb169cc2c3ae07f9e11bf74145002aa785","datavalue":{"value":"L\u00f6wenheim-Skolem theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3990954$79E6E362-51D6-4CB3-9218-FBA49495FEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3990954$59F6760B-FD1E-4527-886F-7B7D4789989B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"05043cb39236121db849e4d3e54eba2acca69895","datavalue":{"value":"Q58517916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3990954$93F9C8D8-2061-44A7-899D-46673ED6ECE7","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":"Q3990954$2AA28F38-E45F-440A-9DCF-9626D7F47BCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54ecb3fef9eaf8c61f76d74fe7528df6b1327104","datavalue":{"value":"https://doi.org/10.1080/01445349208837195","type":"string"},"datatype":"url"},"type":"statement","id":"Q3990954$877F6C81-1FE7-4E4E-9AEB-B6D8A930B8B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e157571f199a87836acebd435d04b8f95f827876","datavalue":{"value":"W2037749584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3990954$8BE584D5-4083-46CD-B3DB-86FB090B33DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"00617228c98e978aad16045179577f435a50aabb","datavalue":{"value":{"entity-type":"item","numeric-id":5798014,"id":"Q5798014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3990954$BFCFE729-FF44-4EB4-8E2B-415D4293FD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4b45314b203297165f2ca1bb25b5454ed756159","datavalue":{"value":{"entity-type":"item","numeric-id":1258721,"id":"Q1258721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3990954$ED47678F-0B31-4F80-8981-45A8ACE803FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0bbb4293bdcc55af26de090b172ed7695899936","datavalue":{"value":{"entity-type":"item","numeric-id":1104912,"id":"Q1104912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3990954$423894AA-619F-4527-9CB3-5EF5258C71DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edfb6b8fd24cee5cf6de94731310e5fe4cea9f3a","datavalue":{"value":{"entity-type":"item","numeric-id":5788865,"id":"Q5788865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3990954$54984288-00E2-45A1-BCCC-8CA3986A52E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3990954$76B40F04-CE9F-42BC-843E-C7FAC3D8239B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610c4ce18d93717aed8fea0917044e5effb66f85","datavalue":{"value":{"entity-type":"item","numeric-id":3962956,"id":"Q3962956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3990954$8336AE84-1822-4E08-8078-1FDD04AC4762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5cf8fa535605290547950c58b065116b31c50c3","datavalue":{"value":{"entity-type":"item","numeric-id":1188502,"id":"Q1188502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3990954$F6B8A5CF-70CD-42D8-BA99-74ED44935AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f63602864ba0f92673863c4e08e8c412c43a5e","datavalue":{"value":{"entity-type":"item","numeric-id":5845381,"id":"Q5845381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3990954$6712E969-D525-4954-8916-CC1B1161CCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9af56d66960c6e2f4e5c16bf95349a2da7ec150","datavalue":{"value":{"entity-type":"item","numeric-id":5817389,"id":"Q5817389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3990954$AFD1C44F-A4B0-4F53-9626-1A3632F85B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3990954$91360D31-F9DF-4AA6-9641-BD8E6813F891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c89d163ec2cfe20cdcef09243a785a3cf35ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5573940,"id":"Q5573940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3990954$D9EB3285-E922-452B-9E96-53332AEEDDFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2747867139360bec1a3cc48643a9f543968afb78","datavalue":{"value":{"entity-type":"item","numeric-id":3590051,"id":"Q3590051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a767059cdd941d5933fbee01ae6baf8ce76793","datavalue":{"value":{"amount":"+0.9125937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3990954$F4F93FD1-DFA4-43DE-8B29-E8E5501B1B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91d93518ab69585b6d1a78fd3a2c03424ef5b685","datavalue":{"value":{"entity-type":"item","numeric-id":5935788,"id":"Q5935788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7e130e24f30aa532b38e1c90fde8219fb616a7a","datavalue":{"value":{"amount":"+0.90518016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3990954$4B9BF8EC-D508-4833-93A2-768432709923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea926e20c445eccd1820cc2c4580ee2f196b6272","datavalue":{"value":{"entity-type":"item","numeric-id":5878286,"id":"Q5878286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4af1938181883b2e6fb170551375fc30808e0919","datavalue":{"value":{"amount":"+0.86856127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3990954$0C149F66-9A64-4604-BA50-6510D7B5A9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72c5ce2786e9d1c8eb940350931d8933c47f11fb","datavalue":{"value":{"entity-type":"item","numeric-id":3343977,"id":"Q3343977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3d9c6c42166d96902e194bc3ebbc8a0c6e70b61","datavalue":{"value":{"amount":"+0.86753935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3990954$108EE5B5-931D-4AEA-BE02-BA879A5F4D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f2165ce857bc5b65fad7b4d24e48df2aadbf0c9","datavalue":{"value":{"entity-type":"item","numeric-id":4619876,"id":"Q4619876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"197dc3611b7582d0b1c518542946f34a5fbc0273","datavalue":{"value":{"amount":"+0.867157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3990954$F8C176F0-7C5B-44B1-9F1F-CB63C32B7BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c546402ab1214da4df5dd86fdaa1acfb2325b0cd","datavalue":{"value":{"entity-type":"item","numeric-id":3305558,"id":"Q3305558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b00b1a440a52c61b109df970f0fadcf7eb49477","datavalue":{"value":{"amount":"+0.86627066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3990954$4E205282-03D0-43BC-B61E-AF39092B4A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42b3637b3394825a345a7ea07062c314d25e2ce6","datavalue":{"value":{"entity-type":"item","numeric-id":3585999,"id":"Q3585999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2d3a838cd0bba3aefc09407a834029fe10950ad","datavalue":{"value":{"amount":"+0.86421657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3990954$A2D29B34-4A02-45E2-A3E8-38228F332FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f38ff17c40fe859a284e6a068a98b9ba3e420873","datavalue":{"value":{"entity-type":"item","numeric-id":4636048,"id":"Q4636048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f006320a4546e00aaf3c50ee4bc7667df1c951","datavalue":{"value":{"amount":"+0.8626631","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3990954$5DD5B00D-231A-4CDA-B626-164E71105A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72697c1fe088b2415e3ec23e28fae25fd6c9416f","datavalue":{"value":{"entity-type":"item","numeric-id":2106873,"id":"Q2106873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e7e3bd5c9e2d0440d2df74081a667d7d055fc64","datavalue":{"value":{"amount":"+0.86237586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3990954$DADEFEF1-3712-4956-BEDC-96FADC4C8E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e9ce7aa13fa27287a51efd5c0e196edf150cfa","datavalue":{"value":{"entity-type":"item","numeric-id":3639040,"id":"Q3639040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e54571f1c83f6a18c59fc020b0d6d89e4ace4ce8","datavalue":{"value":{"amount":"+0.86136717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3990954$DF16DF12-71CF-485F-9D8D-A93EAEC0EFCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Herbrand semantics, the potential infinite, and ontology-free logic","badges":[]}}}}}