{"entities":{"Q5753944":{"pageid":7783495,"ns":120,"title":"Item:Q5753944","lastrevid":39636131,"modified":"2024-12-30T16:27:32Z","type":"item","id":"Q5753944","labels":{"en":{"language":"en","value":"Finitely axiomatizable theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4189712"}},"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":"Q5753944$FE874E7A-51DA-4658-9B91-FF4623494C3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ab6d1112cca941f2a8f83fec083e81d789ed3d1","datavalue":{"value":{"text":"Finitely axiomatizable theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5753944$740FE977-6438-4C62-B7CE-7A4FF0F21D76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8faad0dc540366ae1db33bbf109b2dbb284dbfb9","datavalue":{"value":"0722.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753944$C7A400B0-69BC-47CD-939C-6218FF4B9B44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6079223d5d096ab04becae926f86e9c28afcff0f","datavalue":{"value":{"entity-type":"item","numeric-id":3209599,"id":"Q3209599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5753944$558C6A73-C42F-49FC-8B38-135E178BEE98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q5753944$6F878431-48A6-46A2-90D7-8C72647BE820","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753944$1D60BE3F-3EF9-49C0-A097-75FF4C9C5992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753944$46635723-69E0-4233-AD07-02DC9F60C1B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"037ddc49c7cd99b8ddf2aa6752c88c447f3011a8","datavalue":{"value":"4189712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753944$E04923AD-2892-47FC-B309-1983396ECF6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6eb702dc0c3f86100368d4af1737176c9e1ff1f","datavalue":{"value":"constructible models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753944$F97AA00D-ECC1-4976-AEC8-96CDBE6FCBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dd9f90c96cf58753229ec6dc300a8dd03001419","datavalue":{"value":"finitely axiomatizable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753944$C70B2C4A-E1AB-471B-8197-98ADAD110DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e55bfdf464d928775defe7f3e9a35abfc3ead6b","datavalue":{"value":"prime models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753944$220219C5-90F9-4AF8-A7F3-458E05EB47A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1083bbb7d0965b31d194958bae432d6456c6681a","datavalue":{"value":"constructibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753944$1F8252FE-D2FC-4444-9FE3-30B8955A6F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf3bed896e5a5a8aeb251188bf9458fc3f73b97f","datavalue":{"value":"Lindenbaum algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753944$4BE55B8E-51C2-44DD-8BFC-E27B8F42A885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12e104b74c7adc572dce26818cc0ea7191b77b50","datavalue":{"value":"arithmetical complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753944$AE13252B-4C51-4474-B349-814DFFEF3B7C","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":"Q5753944$1717E509-4917-4F88-800F-2A7FF3BC6D95","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":"Q5753944$D98EABF0-C8D8-4AD1-960F-2CD203550426","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f616f956579a8e8ec54d41312dd6449790ac9645","datavalue":{"value":"https://doi.org/10.1090/trans2/147/02","type":"string"},"datatype":"url"},"type":"statement","id":"Q5753944$29F82C28-2272-46E8-B2F8-158F26418742","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4e3865ed056263927d12da38d1c82b227ce9e74","datavalue":{"value":"W4251004333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753944$25C245E3-FFB3-43CB-8726-02065822BE8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f15a9f1d17029068284a9923468c6a05fa0cfb84","datavalue":{"value":"10.1090/TRANS2/147/02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753944$ACD42D7E-14BA-4C26-8ADE-C16EF170E4CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5753944","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5753944"}}}}}