{"entities":{"Q4376080":{"pageid":6405679,"ns":120,"title":"Item:Q4376080","lastrevid":46997871,"modified":"2025-12-26T00:41:30Z","type":"item","id":"Q4376080","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1114358"}},"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":"Q4376080$B453DFD0-72FC-4D66-88C3-36241BB824F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6087f958101843f514cde45cdde697169a902ccf","datavalue":{"value":"0888.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376080$BDC6ED27-C6FB-48FB-AC73-C038A0B80CAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd0e02c3257e2fcb0f0af6b8552c19095b35db9d","datavalue":{"value":{"entity-type":"item","numeric-id":234739,"id":"Q234739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4376080$154D61C3-E643-409C-A8A7-676E0B9D173A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b347c1d8ecdf364bbce1657b40174d833d0dfdc1","datavalue":{"value":{"time":"+1998-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4376080$B786C08C-7E2F-4502-B45C-C0B38F5C49EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376080$A76E2E0A-09B2-4DE7-9828-2E2413274416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376080$5625486E-4599-4441-99BE-5DEC1FF0C467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376080$54183C7F-492E-4026-8823-6B3B5B700F53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9887f30b2e41ff41f085b42f3c6470fb19073241","datavalue":{"value":"1114358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376080$8E9EC9EA-38DD-4F03-9E34-AFE05E48F390","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376080$02EF3DED-908D-44DA-A666-FA5414BBEF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eecaf608f8364efad07406e615bb4f5ba45d6c3","datavalue":{"value":"Skolem arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376080$CB19AA4D-3F0E-4EDE-AD20-28F2B9631698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376080$E5B9C3D3-C28C-4339-AD28-62C65E8B2A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"472b96cde9a27617ce674d7d341eca193840863b","datavalue":{"value":"arithmetically correct theory in the language of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376080$68CDEB37-BB17-4A07-A263-22B5D7CB2A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5071f79c4f573f0c89e0afcf4186d20b5722c796","datavalue":{"value":"theory of fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376080$CA213657-B2E2-4084-9782-86E951932A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12b22a5e61d75d17287dece1f74b3bae8fbac991","datavalue":{"value":"theory of rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376080$22720A9A-BD20-4D9C-8A1A-E64E450C4AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d8a1fa7d41e0468c34aa6e0c70ce6e769ed03b","datavalue":{"value":"theory of groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376080$42EB6F1F-D70C-42BE-834D-58B10B21DC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7227247e26a7a4e3cf718a9747f1fd0491872cd1","datavalue":{"value":"predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376080$229CCDD1-4D53-4EA3-ADB2-6B2A2B25EED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376080$3779D570-F38D-450B-85C3-7528BCA72CCC","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":"Q4376080$A586EC02-A56B-4E10-86D8-125FCAA9DF26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7efb51e75b6f33854c5e989b70a521a281c616f0","datavalue":{"value":{"entity-type":"item","numeric-id":4664260,"id":"Q4664260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db6cbd90373273b83bac84d4083c6daefcaa0daf","datavalue":{"value":{"amount":"+0.8132784366607666","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":"Q4376080$D0DFB09E-D38C-4F68-A482-CAA3976929A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8732e26f8d15ae4cae8412877dd84cfa77075d38","datavalue":{"value":{"entity-type":"item","numeric-id":1406364,"id":"Q1406364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dad08b1f086dea164b55711e613db3d8d8075ce","datavalue":{"value":{"amount":"+0.8091821670532227","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":"Q4376080$662A230F-9389-4C3C-852C-983BD2C22775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c717fc0df747cd9dc4cfbf0858923847fa416fd","datavalue":{"value":{"entity-type":"item","numeric-id":4394919,"id":"Q4394919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae13dd840a9857ec76a74e0c8a264f407a799ad6","datavalue":{"value":{"amount":"+0.7980630397796631","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":"Q4376080$E43FD2EA-CFEE-412B-A923-16F7027C67D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"023c55196d9a48213dd3bf779ff165b7c869b465","datavalue":{"value":{"entity-type":"item","numeric-id":4250064,"id":"Q4250064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a80d37afc13acb9cd148f1c51047714386ac276","datavalue":{"value":{"amount":"+0.7841764092445374","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":"Q4376080$487A689E-D521-485B-B0B0-6A9CB62EC737","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4376080","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4376080"}}}}}