{"entities":{"Q2390213":{"pageid":2400956,"ns":120,"title":"Item:Q2390213","lastrevid":50713031,"modified":"2026-01-14T21:54:59Z","type":"item","id":"Q2390213","labels":{"en":{"language":"en","value":"Herbrand theorems in arbitrary institutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5581102"}},"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":"Q2390213$A44A117D-AB30-4743-98BB-4EBD0ADAD076","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7cd50d71532175fc8c78929e78805daff0a16240","datavalue":{"value":{"text":"Herbrand theorems in arbitrary institutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2390213$673B8E8F-AABA-4576-A677-354911B65C8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29daadb5fe3d5599b2f8611163222240ef3a7319","datavalue":{"value":"1178.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390213$4B581CC5-5781-4493-A23D-5FB675F289EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2289c57fe71d0e69841efc981491fa17b2cd3710","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$5E63B501-1BF1-48C3-A4BA-4D6DF11A51A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$2489B393-0497-4F2E-AB62-993DB302BCD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b138bef8424bac6e0cca36c0782a12730b2d0eea","datavalue":{"value":{"time":"+2009-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2390213$81538C74-D320-4B2A-A1CD-CF538E456220","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390213$6E9F557D-57B2-4627-ABEA-A672DADA2274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390213$D59C59AB-E424-419D-AA47-6DDCBD0D50CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcc516ed399ce6e65d440d9d362ac8a3e14db977","datavalue":{"value":"5581102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390213$27891F8D-6B0D-4CA7-B127-443E6BD1299B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba2ee370a3eeeb3272ea31f29c1bbc5b685de61b","datavalue":{"value":"authorinstitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390213$4267BE1C-E691-43EA-B715-5A8589670AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390213$051C6845-9A31-4992-8CE1-1224783CF235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32e04bd0033c6ecde92cfadc53c4ea62b2e4db6d","datavalue":{"value":"herbrand theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390213$8ED5F26F-A0B0-41DB-9EB3-67FC3CF3619C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100336e59ffe810f6eb92fc3a35315a7e797f99a","datavalue":{"value":"specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390213$CC5BB795-B97F-4C4F-8F91-D7BD33683CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390213$6390F496-9D67-4CDD-9D3F-B261703ADEBC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$2AF9BCD1-E3D4-4EC6-B665-0AFB21F452FB","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":"Q2390213$877004CF-806F-4978-B057-DD2D2366EF9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e438168d3db16807f05788459725cb43f7f0a0a","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2004.01.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2390213$41BCC114-12F7-4FDC-8D1D-BCB6BCCFF1DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d99d7105fabfa6b8e8c10d998346ec530336170f","datavalue":{"value":"W2020621772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390213$D5C7B990-F45C-4D54-8941-39E3DF58FFB9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$B1562CBE-6364-4A96-954B-5B911C1DDA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39b5f9dcd79584b6fdafec6c298e260be4aeaae","datavalue":{"value":{"entity-type":"item","numeric-id":1108775,"id":"Q1108775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$DC884848-CB44-4CE9-A594-AEB8693340F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a021c8dc1fc066d43ef01b9466bb43f6b862c72","datavalue":{"value":{"entity-type":"item","numeric-id":1853453,"id":"Q1853453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$60DEA12E-3443-4463-838C-458A3D972760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"151111f90b57cf604183cb1efbc63c64841eebe7","datavalue":{"value":{"entity-type":"item","numeric-id":1608919,"id":"Q1608919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$2EAFFEFC-C5C1-4183-93E7-A3B7C2B58306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e46aebc04c4ba0e79011f44184decc8d5c2923","datavalue":{"value":{"entity-type":"item","numeric-id":4520814,"id":"Q4520814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$58011207-CC47-4BD9-8DDD-AE1EABDEEF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c193344f5be24b97098d8119c6f33c5fc705f37","datavalue":{"value":{"entity-type":"item","numeric-id":4493908,"id":"Q4493908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$A223E41D-8D5B-4B0E-B9AA-8EA214B09E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$4C5871D9-D892-49BF-8615-DF052DA0A044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$B75BD056-F0DD-40EE-8135-D2FAF8B372F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2202ea6b7a5f8b2bf37b129e53958a44d2d21d02","datavalue":{"value":{"entity-type":"item","numeric-id":1133323,"id":"Q1133323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$6F65BC87-65E9-48C3-9E1F-262BCB16C952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6249290c793fa3d4c305541f1a11cd397a401609","datavalue":{"value":{"entity-type":"item","numeric-id":5902880,"id":"Q5902880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$6CE4D32F-3661-44AB-B87E-9FE9B486CBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099e539a4445b58fda91ce61c7c5885fee9a27f8","datavalue":{"value":{"entity-type":"item","numeric-id":3030249,"id":"Q3030249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$DF982B7C-AA9C-4C0B-A161-AE8EF5768B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24d7417caec86aeaeb37893313fae6d6e2ae1171","datavalue":{"value":{"entity-type":"item","numeric-id":1858427,"id":"Q1858427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$5CBAFD0D-3DB5-402A-8E3E-5610C3C675B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2e5ee6c74446bb1d563024cf0c4d96e7f826eb","datavalue":{"value":{"entity-type":"item","numeric-id":4432964,"id":"Q4432964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$24B10AC5-3801-4110-9D50-084CA44984CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb9492d8448392108284d922e5f606f58acbfb3a","datavalue":{"value":{"entity-type":"item","numeric-id":1391732,"id":"Q1391732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$FBEF4787-DE36-4B7A-9E9F-E3057A70B30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$A29F4F84-EFC0-4DEF-8AC0-3EDBC9A80787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4d6e0242e97964801b94c30538e3d083f39156","datavalue":{"value":{"entity-type":"item","numeric-id":3950541,"id":"Q3950541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$EF47A94F-8F24-4155-840C-0B82C58B47DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9333699cc6f4fb9c72e8fb4341e54b02f5c3c2","datavalue":{"value":{"entity-type":"item","numeric-id":1091132,"id":"Q1091132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$0CB58FBF-21B2-49DD-9C45-47C579F54CB4","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":"Q2390213$FA2E6090-E2A6-4199-8F39-EAA6D8A3E7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$F50B85C1-916D-4107-868D-719282CA0705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e33d995719930daceae5b9ecd9a739ea7b34d8","datavalue":{"value":{"entity-type":"item","numeric-id":1085969,"id":"Q1085969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$84E5BE18-6246-4422-A99A-51E05C6857A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d129f5cd6290c96dab69ba93a3ffcb8a3e51a1c","datavalue":{"value":{"entity-type":"item","numeric-id":4500173,"id":"Q4500173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$7A4ED6D3-C658-450B-94BC-61BC1BB6AB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1ad239d9558ddf4069defdc51954d5f3259dfe3","datavalue":{"value":{"entity-type":"item","numeric-id":4847310,"id":"Q4847310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$98D62497-1E3F-4CE2-B134-9A1204DFA4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$5AAFC955-D3D8-4FCC-9C7B-FC61E1A62D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b293ae9b2f27e3d3eb442629a606172136571336","datavalue":{"value":{"entity-type":"item","numeric-id":699929,"id":"Q699929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390213$860818B6-3876-4B0C-84FE-6551EF5B367E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"224aaae2a2c4ae17e400c7c6994303aaf081d6fb","datavalue":{"value":"10.1016/J.IPL.2004.01.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390213$C8BFCAE1-09C6-4B13-B859-C59055FB576A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db59bcb16e35e33978dfe6c2029f1a9d47f0e680","datavalue":{"value":{"entity-type":"item","numeric-id":2787338,"id":"Q2787338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a9facf0511584ac755716e0b4adc91c543cf6f","datavalue":{"value":{"amount":"+0.8292548656463623","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":"Q2390213$B7FD3BBD-6865-46C2-9A00-8CFC7CDC9F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbbdb6805642ac8614e6d8a5f48561abe61e1d18","datavalue":{"value":{"entity-type":"item","numeric-id":5275358,"id":"Q5275358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"879d18de543649d2b09a64d755f7a48c0861a390","datavalue":{"value":{"amount":"+0.822144091129303","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":"Q2390213$DE2408C7-EBDE-4A81-B910-F27514095A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a0267da6afa2bbae028c0a3a35a7b7f8a8d431f","datavalue":{"value":{"entity-type":"item","numeric-id":3133180,"id":"Q3133180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d49ee351595faecf5cd74efbefea62cdbf127e04","datavalue":{"value":{"amount":"+0.8156684041023254","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":"Q2390213$25E5811D-7D5F-48C2-B31A-0EA3C9EA6729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40d5da1fbdc9adb03d3b7782cf5e67ca1e745d81","datavalue":{"value":{"entity-type":"item","numeric-id":4289239,"id":"Q4289239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afb091b6c496afcc8e003a0c1504958bce17fc78","datavalue":{"value":{"amount":"+0.7667778134346008","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":"Q2390213$CE878B70-690A-44A9-95C5-57EF9C8EE76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b8d73fc71e3afadebd1e8e38add78b003a717a","datavalue":{"value":{"entity-type":"item","numeric-id":2358621,"id":"Q2358621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4135e46e3973f9b89a55fe4a5a57a58400ca149e","datavalue":{"value":{"amount":"+0.7627671360969543","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":"Q2390213$ED9AD0E1-2A00-4110-8BDF-B660CBEEA706","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2390213","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2390213"}}}}}