{"entities":{"Q5015361":{"pageid":7044938,"ns":120,"title":"Item:Q5015361","lastrevid":98470139,"modified":"2026-06-05T17:38:16Z","type":"item","id":"Q5015361","labels":{"en":{"language":"en","value":"On the Herbrand content of LK"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7440184"}},"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":"Q5015361$61147412-E913-4D82-9F29-D03111FAD18D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3d8b742ade1e63e952b999de3624a2cd50eb7ed","datavalue":{"value":"1482.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015361$728453A1-7431-420F-84FB-7015644B8946","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f5b97643c937daca3f616369c991f46ae54674","datavalue":{"value":{"entity-type":"item","numeric-id":1032625,"id":"Q1032625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015361$9454583D-154C-4338-8131-E62B88CB270B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac16dcce5f3df8b1bf1087e5a90fdae80fa7a2e5","datavalue":{"value":{"entity-type":"item","numeric-id":402112,"id":"Q402112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015361$A0CF0066-07E8-42F8-AEE9-13268EBA181B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a600e00a0067a948cd8d1c1dc848b116163ff5b1","datavalue":{"value":{"entity-type":"item","numeric-id":1987217,"id":"Q1987217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015361$F99F73F8-9E28-4AC7-951F-E7EC5B2B7A8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86e5bd0c18298fa85258b8271e23e3cb02a76cb7","datavalue":{"value":{"time":"+2021-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5015361$8FA382AF-D2F2-4BF9-9493-673B1CEBDDC5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae70bee86025d10313577ce71140fc0af537ea16","datavalue":{"value":"https://arxiv.org/abs/1606.06384","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015361$C41BDA07-08BE-4A98-8CF8-29E26A51DA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"73b2c97a84c0aa81094773c459b50e87c653d386","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?CLaC16.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015361$FB5D389A-52B7-4385-B63C-BD643F6D330E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015361$39354D18-AE64-461E-9456-CE7C01AC050C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015361$E54A4C30-510C-4E48-BAF3-0D15A4D925D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dafe86de6d8d1ea8cddf45754aac82f020529c1","datavalue":{"value":"7440184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015361$CC9CC396-C383-4482-B620-565F08A4BAB8","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":"Q5015361$6EE1F4C7-D92D-44E7-A4D4-7CCD9FA1261E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"20a619054176bb024343449373f66fed907b2038","datavalue":{"value":{"entity-type":"item","numeric-id":5277826,"id":"Q5277826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015361$535E7D14-1C82-462A-B97E-9563E891FB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62e2ff241fe611f2209be2bf150404f9b5177933","datavalue":{"value":{"entity-type":"item","numeric-id":5221602,"id":"Q5221602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015361$6915F10F-FA8A-4518-9B7E-519B083357FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cfbf766e74a7e9d852e4279402d50e93b1dddeb","datavalue":{"value":{"entity-type":"item","numeric-id":6064282,"id":"Q6064282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015361$99B68E00-F139-4A84-854E-A7BE393FF357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3becdcbcee5f86d346abce865a1c9bffb1cb163c","datavalue":{"value":{"entity-type":"item","numeric-id":1706152,"id":"Q1706152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015361$8CEB837E-CE06-4FE7-9673-6B457D7EB7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445dbe83cba7b17254a3510b2d105793d591c9a5","datavalue":{"value":{"entity-type":"item","numeric-id":5500684,"id":"Q5500684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015361$FCB3A787-9D68-46EA-9A9C-E0CC694A944B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebd3b24c79d7d8e3697dec63d4d2a7f944f9b330","datavalue":{"value":{"entity-type":"item","numeric-id":2344621,"id":"Q2344621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015361$B206C3DE-F2D5-49CD-809E-F8713EBF556E","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":"Q5015361$82851491-DA1A-4D6E-9141-8CEB1185F1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5292c81996c3eb9c9cb0511bf1659b1e176124b","datavalue":{"value":{"entity-type":"item","numeric-id":636369,"id":"Q636369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015361$02B88937-11D5-42CC-9796-42B75FEAC4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf243fe51a5105a571b8345fa16c56b8d53f4a4","datavalue":{"value":{"entity-type":"item","numeric-id":2890201,"id":"Q2890201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015361$FE28FAFD-136C-4E95-9350-405ABFA201DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363f13df5cb8c288351ffbc9325a719efa2227a0","datavalue":{"value":{"entity-type":"item","numeric-id":3192194,"id":"Q3192194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015361$431D9230-E57F-4F86-B4F1-1D84C62B2D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd59f3b5cc711e02e1b8b90021028e3c7e8cbb4","datavalue":{"value":{"entity-type":"item","numeric-id":402115,"id":"Q402115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015361$8229D165-2D7A-43F7-AF8D-6A73BC7CAAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a288c1fc3762803ff6256e61dcebf3f413e8b0","datavalue":{"value":{"entity-type":"item","numeric-id":2891453,"id":"Q2891453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015361$2AA65E4E-71F6-4A6F-96FA-444F9633C5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7efe3073ff4a0f00b0a8bcc533e47be023ca11c4","datavalue":{"value":{"entity-type":"item","numeric-id":5236547,"id":"Q5236547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015361$5EE9CB6F-7642-4CA6-86F9-2A3F57FDBFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14e6969de02cf5a19417906c0c5f01258599367","datavalue":{"value":{"entity-type":"item","numeric-id":5772177,"id":"Q5772177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015361$8BF93957-BD86-4592-B543-17C3C6018A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc032892d4a94b13a994202edfb25cb5d8b8a0d6","datavalue":{"value":{"entity-type":"item","numeric-id":2946689,"id":"Q2946689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015361$F911AC1C-E1B0-4346-939D-F908274C74A9","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":"Q5015361$1DE83D0F-9C7B-4D1C-9919-99BD071EDCF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58b05536634670edc78df63bebe6ff4b7ab25e8","datavalue":{"value":{"entity-type":"item","numeric-id":863524,"id":"Q863524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d07dc298f1bfc03499953d8db8bb9b43084c27","datavalue":{"value":{"amount":"+0.7621131","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":"Q5015361$DC0A0FA4-6932-4AAB-B74E-8654441C0806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c343f7941d960f3d834dd8f9562be6956f5d78f","datavalue":{"value":{"entity-type":"item","numeric-id":6064282,"id":"Q6064282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61f0887b02df7f218ea9d13b009070cfbeb8e085","datavalue":{"value":{"amount":"+0.72301525","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":"Q5015361$159AA2BD-A23D-4D9C-ADDE-FD9CCE6B5B64","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":"a38c764b71a25f5fe43a59733dee6c6c50e0f6d0","datavalue":{"value":{"amount":"+0.72294337","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":"Q5015361$A85C7C2D-CC13-4D5B-9884-BB9459E04212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ece41d23044d9d059123d87c43ff2845c92d98","datavalue":{"value":{"entity-type":"item","numeric-id":1313926,"id":"Q1313926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d771a080294dab346076abbd8b224c86e464eae6","datavalue":{"value":{"amount":"+0.71927047","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":"Q5015361$CAE37255-43E5-4214-9790-50A8E52F4072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9909650e4aaf15805207fc3d96aa920c2c31b43e","datavalue":{"value":{"entity-type":"item","numeric-id":1077674,"id":"Q1077674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6751d64785ffef019fba1ee1f639cde7ec106e90","datavalue":{"value":{"amount":"+0.7070134","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":"Q5015361$E1A4B0D2-F22B-46A6-8F86-0AB0FB7999AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c4ff35aebf400c4a4addc969bf6d936314894f","datavalue":{"value":{"entity-type":"item","numeric-id":4224002,"id":"Q4224002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44fcf8cc125c32bf234a51c8327139bbc73efb86","datavalue":{"value":{"amount":"+0.69927883","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":"Q5015361$5DB368D2-AEA8-4513-A71C-EB5E75444913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae01896721c76f64ee8c8e9dcc980e78dcd920a8","datavalue":{"value":{"entity-type":"item","numeric-id":3679340,"id":"Q3679340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"071f80106853f91a5ed9f932c1d6b4a1c5f93254","datavalue":{"value":{"amount":"+0.6988094","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":"Q5015361$EE15C67B-9F8D-4C1F-B9D4-31EE53E72A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"230e0bd2483d398c55c190d7460af0f35ee1aa9a","datavalue":{"value":{"entity-type":"item","numeric-id":5891131,"id":"Q5891131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146281e9091a4aa9e3fa611ed08362f8b3d85f3f","datavalue":{"value":{"amount":"+0.69765025","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":"Q5015361$AD83A052-F677-47F2-BA58-0821D124CD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da1694bdfad1db46066914983b3fc25293083d20","datavalue":{"value":{"entity-type":"item","numeric-id":3972780,"id":"Q3972780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a244529a21bd5548dd3ce033fe734993e60ebd93","datavalue":{"value":{"amount":"+0.6965136","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":"Q5015361$5DC4F6D7-EE00-4F9A-92AD-2C3B8F582A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9de2557703f3547de0a7da8175339f33140e43","datavalue":{"value":{"entity-type":"item","numeric-id":4373727,"id":"Q4373727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"436479fc82412201d99bf46421e8f9ddcd2e51e5","datavalue":{"value":{"amount":"+0.693057","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":"Q5015361$F90D88F9-EF90-4858-A19C-FFFCB81DDF70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Herbrand content of LK","badges":[]}}}}}