{"entities":{"Q3813801":{"pageid":5843707,"ns":120,"title":"Item:Q3813801","lastrevid":53787767,"modified":"2026-01-25T17:34:35Z","type":"item","id":"Q3813801","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4083594"}},"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":"Q3813801$BF6F4C07-0D89-4A5C-9ED7-121D8312B7DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fbc71cdebcf1de064ab74dec950e671e6269b86","datavalue":{"value":"0663.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813801$02EB146F-2F21-44D8-AFA3-981A486784B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3813801$925B8789-B4AA-40BC-B40A-141A64BD23A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813801$9DBBCA63-9241-48AF-A8BC-7F248F4A69B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813801$5F591707-C055-491A-AF3D-AAA5151D375E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff1f2dbc41a6ba0a3f3c26a6cb1417fa044caa86","datavalue":{"value":"4083594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813801$0AFEB547-DF79-466D-BB4F-64F8E87EEA07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6eb702dc0c3f86100368d4af1737176c9e1ff1f","datavalue":{"value":"constructible models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813801$5302BA4D-5916-40CC-9A08-91D54E43E172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dd9f90c96cf58753229ec6dc300a8dd03001419","datavalue":{"value":"finitely axiomatizable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813801$41BE5F67-B3DB-40A6-8AA0-78574E0AAE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e55bfdf464d928775defe7f3e9a35abfc3ead6b","datavalue":{"value":"prime models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813801$11C8911A-8503-4C47-A659-BA193471077E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1083bbb7d0965b31d194958bae432d6456c6681a","datavalue":{"value":"constructibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813801$A9968C50-DC44-4225-9886-6FA49C2C7B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf3bed896e5a5a8aeb251188bf9458fc3f73b97f","datavalue":{"value":"Lindenbaum algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813801$A167EE9B-6A9D-480A-BB50-2AC6874ED424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12e104b74c7adc572dce26818cc0ea7191b77b50","datavalue":{"value":"arithmetical complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813801$C6055848-3EBE-436B-A6C3-AC1F3FDED177","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20ecee9536e4120b13720769ac9d5f6e509bebc2","datavalue":{"value":{"entity-type":"item","numeric-id":779151,"id":"Q779151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3813801$E85635F3-6227-4A9C-A9F9-47BF1766BBD5","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":"Q3813801$A04CC50C-9599-4DB7-955A-89CB1817F9C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0391c54b2ee1b915268e6a0bff8c1cd271771695","datavalue":{"value":{"entity-type":"item","numeric-id":4362314,"id":"Q4362314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d37872591d9435ea1f0e1ed7b0a3653bc8795d","datavalue":{"value":{"amount":"+0.8421598076820374","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":"Q3813801$ACA30033-4EB7-434A-9845-4A5F229481CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7820a59de7f01158603b39a625d6163963314548","datavalue":{"value":{"entity-type":"item","numeric-id":1920094,"id":"Q1920094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d37872591d9435ea1f0e1ed7b0a3653bc8795d","datavalue":{"value":{"amount":"+0.8421598076820374","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":"Q3813801$8D68C428-506D-4A27-BFBE-74D74D0D40D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da60a7106276de253fbd5e55e622a34523fea598","datavalue":{"value":{"entity-type":"item","numeric-id":4700614,"id":"Q4700614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41566912464ef24bae1fc69adaf720b719aab6a6","datavalue":{"value":{"amount":"+0.7904305458068848","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":"Q3813801$BD426243-15CD-407F-BDEC-B0DDCB0A1A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f779e49a35b5f7ad107d3d5b4f560fdc3b5a3a1","datavalue":{"value":{"entity-type":"item","numeric-id":4249364,"id":"Q4249364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65631dbe16a975d3493f9f94eb347c9cb44e7c89","datavalue":{"value":{"amount":"+0.7883731722831726","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":"Q3813801$9AE6BB71-C351-4490-BC91-EDD9C2DBCA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f81b8e6a801b8d13ba05952a86130fccf83afd","datavalue":{"value":{"entity-type":"item","numeric-id":1920077,"id":"Q1920077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2077cfb678bf1cf5dbd353af4e3d106bbb4d355","datavalue":{"value":{"amount":"+0.7880347371101379","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":"Q3813801$309DEAA8-84CF-47A8-B640-EAEC05885E0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3813801","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3813801"}}}}}