{"entities":{"Q5275358":{"pageid":7304933,"ns":120,"title":"Item:Q5275358","lastrevid":40761537,"modified":"2025-04-04T14:49:40Z","type":"item","id":"Q5275358","labels":{"en":{"language":"en","value":"Revisiting the Institutional Approach to Herbrand\u2019s Theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6741755"}},"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":"Q5275358$7A49629B-48D9-48EC-A9EA-E708D4A949E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"288f051c1826f8861b6e1e57fd00835e078c3a3e","datavalue":{"value":"1433.03166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5275358$4B5C6D87-6AF1-4518-B08C-1F351D13A22A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d4ed989a6c46179e6e7f8db67beec0a18bd0fec","datavalue":{"value":{"entity-type":"item","numeric-id":387995,"id":"Q387995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5275358$A82A8A8E-E181-4C17-9464-7CBF057E7DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"754d0fa1bb49600f4f02ba3ce85d71701d3732c0","datavalue":{"value":{"entity-type":"item","numeric-id":407505,"id":"Q407505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5275358$040F74B1-1565-4CCB-999B-B8E2760551D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36126af85f516d980d0b869c922f8c59e73fcf3a","datavalue":{"value":{"time":"+2017-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5275358$E736BA40-B862-4FF1-B472-F3E929D4C17D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5275358$832D733F-2936-4C7E-9AE8-11979258872C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5275358$E5C78C7D-4FD8-4D76-B2DB-3CCF7D0649B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5275358$59A73124-902A-406E-AFCE-DCA08DCB9CA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56a31cb9c9aa9fcfc7a96e51c8efed1d09bc445f","datavalue":{"value":"6741755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5275358$775D8C89-D24C-412A-B91E-28C9D6766149","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84cf1541877d6ec6702bb201c5539dab7766eb1c","datavalue":{"value":"institution theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5275358$6D1EA2D4-005E-4C1A-9015-30075A33E05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65df4299b7c085983df1af8ef271e1bd93fb70c0","datavalue":{"value":"substitution systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5275358$0E1CD3D3-1CDC-4EC8-9802-54F9501D7598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5275358$3262224C-B502-4D15-927D-FAD4FB02C4D4","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":"Q5275358$8A7A4D47-1EEA-49CE-AD7A-4787B84CAF5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f1f38cdaebe322c1f866dbdb6d523fb078156bb","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.CALCO.2015.304","type":"string"},"datatype":"url"},"type":"statement","id":"Q5275358$51A81A91-DD18-400E-951C-6F1CD4D2EA83","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31f5ea6d6f90f1e53db384db5892a4c0333faaab","datavalue":{"value":"W2310350861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5275358$74BB023D-2644-4D3B-9DE3-D331DA8E3163","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b170e7dbfbd54ab0348865c722cbcbc1dd5ca21b","datavalue":{"value":{"text":"Revisiting the Institutional Approach to Herbrand\u2019s Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5275358$BCB0A09F-95FE-4889-95D3-F36EB9C67708","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe943723618f42631bff5f6860752c2aab12f8dc","datavalue":{"value":"10.4230/LIPICS.CALCO.2015.304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5275358$6B3CF3F7-12E3-490B-9B4D-A511D8BFE699","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2387096eb2e1a7b4922172811cdcd5105a472ce","datavalue":{"value":{"entity-type":"item","numeric-id":2390213,"id":"Q2390213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8db5483fdb99af602a628d700c9f80ef3eada8d9","datavalue":{"value":{"amount":"+0.89093596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5275358$63D9CA6D-69F4-464C-83AF-13DD76B94309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e72111a82c6b3a401ac1ec331ef1cd6670d5371","datavalue":{"value":{"entity-type":"item","numeric-id":5411451,"id":"Q5411451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"497357469d53ba45fe6d368949caddf3c484de16","datavalue":{"value":{"amount":"+0.83455634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5275358$E8A8F31F-FDE2-4821-8FA8-3FBA0549CFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e92ad49e1a23d1cf30f1b789ee49af71ae1cde12","datavalue":{"value":{"entity-type":"item","numeric-id":5140318,"id":"Q5140318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a38dae2ac754f74a0a5113ef8d2ba16ef34a5eca","datavalue":{"value":{"amount":"+0.8331463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5275358$035F46C2-8694-4732-ACB2-398DA20EC1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d43fc3e090f6d0bba22bfc371710f0ee7a075b91","datavalue":{"value":{"entity-type":"item","numeric-id":1022385,"id":"Q1022385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b291cecbe99735d290b5683ad8d5af5eeadc0bc","datavalue":{"value":{"amount":"+0.7989583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5275358$10DCF4E4-AD9A-4AF0-B28D-19E6666A41AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08600b09e75a37bda3743e38c6a1d0cd62bf4f58","datavalue":{"value":{"entity-type":"item","numeric-id":4434121,"id":"Q4434121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26373ac744dd81dbceb08347cc8a59e085cfe5c5","datavalue":{"value":{"amount":"+0.79302317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5275358$6E8B9910-6D1D-40B6-AFF7-F5829FECC00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3d3639af234b7717644de567ee7951f2e4cc328","datavalue":{"value":{"entity-type":"item","numeric-id":5416165,"id":"Q5416165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0db68e612cda7e2b5cf6fd6b3ec30de7aad2d306","datavalue":{"value":{"amount":"+0.7812288","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5275358$ACAE369E-5642-4AB7-8A25-4AF0C07E2691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac660b8adafc8fb817d08e8edf367e9ebeb432e8","datavalue":{"value":{"entity-type":"item","numeric-id":1001374,"id":"Q1001374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccaac43a49293340b15e8450b805be282557fd5a","datavalue":{"value":{"amount":"+0.77935326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5275358$88BE159F-C699-4940-8BF6-730D4886C062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"812a9ad03c896efc885f088b9c8d06a36d29b3bd","datavalue":{"value":{"entity-type":"item","numeric-id":2143897,"id":"Q2143897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b2d399e0d07c532938962b7a92c9b7f35a30d0","datavalue":{"value":{"amount":"+0.77687776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5275358$6353F20B-B08B-479C-8FCE-71642235D5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0951f06dafa16a6cf116bfd212d16c52fb5a90ec","datavalue":{"value":{"entity-type":"item","numeric-id":3776610,"id":"Q3776610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef2f1b651388821a62dc623149afede5ab919468","datavalue":{"value":{"amount":"+0.7690777","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5275358$96354514-8095-4A5A-93DC-3B5F8EE44C08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5275358","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5275358"}}}}}