{"entities":{"Q5891131":{"pageid":7926926,"ns":120,"title":"Item:Q5891131","lastrevid":101997758,"modified":"2026-06-06T03:16:56Z","type":"item","id":"Q5891131","labels":{"en":{"language":"en","value":"The Herbrand topos"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6203766"}},"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":"Q5891131$5BBBC984-B0A5-445A-BC9F-1986A6FE4465","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3c5ca6524299f48d21de86e532b51e73cb12218","datavalue":{"value":{"text":"The Herbrand topos","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5891131$D99D8054-03D3-4E3A-ADA9-7CC44ACCB9C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1407dff3c57378728eae52c3d84e8c4010216a90","datavalue":{"value":"1296.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891131$C517B136-8729-4668-8A26-B8AF49FEC776","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f164747f43e87f39fda4a9dbd318402a7694f51a","datavalue":{"value":"10.1017/S0305004113000303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891131$B2ECE517-42BD-4CE6-856D-EEBBB492143A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d5b6d9c706120e3546cda282e0bf75898c459f","datavalue":{"value":{"entity-type":"item","numeric-id":448332,"id":"Q448332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891131$ADEAE6E9-5937-4BC3-A249-624A5AFB8B39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a0ba849355c4f570fe24e534585b3220dce858d","datavalue":{"value":{"entity-type":"item","numeric-id":100593,"id":"Q100593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891131$32AF7769-EE50-462E-812C-6CD2B453EAD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd3b85d7159f5ef57559e9e342ed79a406d1d621","datavalue":{"value":{"time":"+2013-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5891131$919B8831-340B-49E1-9F8F-A301601EACE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59d4483b9aa6fb8ee16a490945891acfb51076bd","datavalue":{"value":"https://arxiv.org/abs/1112.3837","type":"string"},"datatype":"url"},"type":"statement","id":"Q5891131$44E967F9-6652-4348-AE03-5314ABB5C531","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891131$2173481B-7480-4386-BD55-4EB5E1CD95BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891131$0A453062-814C-45E3-8C06-7B30C0B7A29E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ab9157308f8fb14ceb5107aab382b64e3a531e3","datavalue":{"value":"6203766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891131$CB00C38C-0A18-4F92-9EB6-53458BA50347","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59ace18a29163022564aa666cc08bd206b2be8c6","datavalue":{"value":"Herbrand topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891131$A92B1025-7ABE-482C-BC47-409F23C6ED7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13d7204972f4dda76d26e2bd4ca45b85dda2797c","datavalue":{"value":"Herbrand assemblies","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891131$192110A6-A236-48C8-BDFA-48A94702B4AE","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":"Q5891131$08EE6851-8491-49F5-91AA-99009B168D6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26e7e48781a52e6dc033fbfd496250fb6f1e60e","datavalue":{"value":{"entity-type":"item","numeric-id":5477639,"id":"Q5477639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891131$35117072-E969-4BA3-83B6-5C959A29B12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891131$424F0AA2-03B6-4502-BAFA-FF50A28A6DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891131$02291653-24BD-4917-9EBA-FDFF1C57E0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba82a794e7b50f883ca25aef5af8219c4085648","datavalue":{"value":{"entity-type":"item","numeric-id":714729,"id":"Q714729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891131$2411567C-AB5A-4105-B9DD-282D1CC32293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df9f17f6e274de37f6b4f47157fffc1375f6057a","datavalue":{"value":{"entity-type":"item","numeric-id":678851,"id":"Q678851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891131$8CD6D0B5-847C-4A24-886B-5EFBB71B8163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292c2298d006f85cb054296d5af75e445e05771a","datavalue":{"value":{"entity-type":"item","numeric-id":1102263,"id":"Q1102263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891131$58441D1E-FEC1-46BF-B169-35BDBFA5B285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c474289dd9e25ee23fc3092151775a30e7a4f9c3","datavalue":{"value":{"entity-type":"item","numeric-id":1903677,"id":"Q1903677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891131$E27FD90F-589E-48F5-B1EA-2A5407F96DD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c32e250c43469b5e7accb1270164924476d59a8","datavalue":{"value":"W1991951582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891131$ED3372B2-BE1E-4D2C-82D9-3E77C4446D67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cabf00cd57dadaeda4adae1c8cbe9d1766ce61fa","datavalue":{"value":{"entity-type":"item","numeric-id":5413231,"id":"Q5413231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9353b065b7df66a570441c42227cca9cff02599","datavalue":{"value":{"amount":"+0.8264865875244141","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":"Q5891131$0D26662D-9DCC-4AFE-80D3-750609B2891C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1630fdbad4d07a5c069220aa32a913b6eb15d13e","datavalue":{"value":{"entity-type":"item","numeric-id":678851,"id":"Q678851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e035c0dd57f8b281f1a740cd69932d2df8422e0","datavalue":{"value":{"amount":"+0.7751035094261169","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":"Q5891131$E2D95115-E8D8-4694-AFCB-C64D2FCBCDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06c500e46ae37c57df52a0c433156a84ee6c5881","datavalue":{"value":{"entity-type":"item","numeric-id":4281473,"id":"Q4281473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"956faa6c16aba109f0f9a9b695d8155a1fdea03a","datavalue":{"value":{"amount":"+0.7720603346824646","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":"Q5891131$2AE4F641-893A-48B5-BD44-62F81731F7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7510187e227362d379ef28e8f04e715169204d7d","datavalue":{"value":{"entity-type":"item","numeric-id":1356980,"id":"Q1356980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07afd39c3db70a2a37bac63403b6f72e1ecc40c3","datavalue":{"value":{"amount":"+0.7457892298698425","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":"Q5891131$1A3E93CF-69CD-4EC2-9819-81B0F8D1C2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789c2943bf4c2de31e07ceb444c802b858b929b4","datavalue":{"value":{"entity-type":"item","numeric-id":1849865,"id":"Q1849865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f76d834b99242bb5d69914f0293fab54c65912c4","datavalue":{"value":{"amount":"+0.7411131262779236","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":"Q5891131$983443FA-261C-457E-A2E3-1CB44D35321E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Herbrand topos","badges":[]}}}}}