{"entities":{"Q4337957":{"pageid":6367557,"ns":120,"title":"Item:Q4337957","lastrevid":46547406,"modified":"2025-12-25T00:26:50Z","type":"item","id":"Q4337957","labels":{"en":{"language":"en","value":"Tarski\u2019s finite basis problem via \ud835\udc00(\ud835\udcaf)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1014096"}},"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":"Q4337957$06303C5C-E45D-4C71-9FFD-2742522D93D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85ff15fb61fa202dc359e3d2b8c4365165741e40","datavalue":{"value":{"text":"Tarski\u2019s finite basis problem via \ud835\udc00(\ud835\udcaf)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4337957$19EC7F14-C55C-4483-8D8C-FA99AA353DB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa3ce8400284207191189c56422dddb58f7cfbc9","datavalue":{"value":"0870.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4337957$9DFF6E22-C033-4A23-A870-022A6F7DFDB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"baad7a21f2086eaea90f027ee1eafcd2ac26b49e","datavalue":{"value":"10.1090/S0002-9947-97-01807-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4337957$DBE95B30-0FA5-42F1-9739-34E5D4047E00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d7e67537f755154c42c7ee8535a18fd2cf81f9","datavalue":{"value":{"entity-type":"item","numeric-id":178374,"id":"Q178374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4337957$DAA55074-8C1A-452B-9309-A6A18BAB8C70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4337957$1FF07557-A83C-4AD3-B277-CAF9BB668270","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d678c04debcdfee5c940733d907b42bccdfc6cf2","datavalue":{"value":{"time":"+1997-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4337957$BCF4DD6F-DE89-4D5F-86D1-324563A04F43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4337957$A824FAF0-5DB0-412D-BD0A-23B38ED2E94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4337957$0D2F5EA4-92C9-478C-861A-B7AE0C255839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4337957$E5B7232D-A506-471D-BBC1-434C7D9F2AC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99410cf748e32b4b44051a979dc4b8f643366eea","datavalue":{"value":"1014096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4337957$ADA1B19C-FA04-4990-9845-25576987A1F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a688c369468f577af7c7d403e8a5e55d9b715d1d","datavalue":{"value":"finite algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4337957$62309AE0-9A9E-4521-ADDB-ECD70800C53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4337957$27D07255-D82E-4F7C-A727-131D5E8DC08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da4e3175fff9f957483c703e4e2827eeb53221d2","datavalue":{"value":"finitely axiomatizable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4337957$1B684A9F-0600-4FB4-90DC-5240D170C534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4337957$766F1C82-CF2A-40B7-9F78-329AEE1F2B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6fbf857eb8b7252d0ae2d4cd45fb41e60c91c39","datavalue":{"value":"finite basis problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4337957$AB370EAC-3E6D-4884-9C75-2A435DBEB77B","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":"Q4337957$E23DEAE7-3513-47AE-A7E1-062AC607CCCB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6549bce11883e783f0fb536b18e9585b448489e5","datavalue":{"value":{"entity-type":"item","numeric-id":1237798,"id":"Q1237798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4337957$CA7E6EF9-6ACF-4DDC-B400-DC303A1BA89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e01bd225cc1eaadd4b3b359e2717f21721c442","datavalue":{"value":{"entity-type":"item","numeric-id":4040245,"id":"Q4040245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4337957$E49B8EB6-5551-4724-B996-8C023E870964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e39631dcc8f7789ffdd96f06a56ebfb90059618","datavalue":{"value":{"entity-type":"item","numeric-id":1193496,"id":"Q1193496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4337957$7903993A-77AC-4268-989F-6A0371F387E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e9a46ed9bf5c6ec583f9a4ecd685ba249a2a4a","datavalue":{"value":{"entity-type":"item","numeric-id":1248637,"id":"Q1248637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4337957$F189A941-0794-419E-843F-2026C487E5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda6ca295a7952e23408a32e3a37d165e1fac94d","datavalue":{"value":{"entity-type":"item","numeric-id":2539862,"id":"Q2539862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4337957$41694998-28B2-4B11-91C7-FE64E698191C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c2691d858e4397db5d79d5923363d0a30db8142","datavalue":{"value":{"entity-type":"item","numeric-id":3853703,"id":"Q3853703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4337957$316978AF-0642-470C-9FFD-68BE25800711","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a26e3f23e79684bc6e93860b8c2c71a7394b9bde","datavalue":{"value":"https://doi.org/10.1090/s0002-9947-97-01807-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4337957$088DE6B4-DBC2-480F-84E3-793096E0154C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42b10c0605dc4a32c8b509f3a1602b82d98da77c","datavalue":{"value":"W1509821411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4337957$BB4700B7-888B-45DF-BD60-088DDD4A839F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae526afa8d7c905732d0212824f5b941d0eb84e3","datavalue":{"value":{"entity-type":"item","numeric-id":4882918,"id":"Q4882918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d5d140d123a7951665c05be6bf3cef338eb49c7","datavalue":{"value":{"amount":"+0.9196975827217102","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":"Q4337957$95434FB9-06B8-4D18-BAAF-69A142E4CAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d49c16ecee6d588dcb45467131a1d0ce8759ed7","datavalue":{"value":{"entity-type":"item","numeric-id":4882917,"id":"Q4882917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f74507113f2c236c164e692687ab0a08c46992ab","datavalue":{"value":{"amount":"+0.7896214723587036","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":"Q4337957$407C9FA6-7D3F-4957-B1D8-B47297387469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4bd19502da871eac48fd6a3045b80574449d6af","datavalue":{"value":{"entity-type":"item","numeric-id":5501763,"id":"Q5501763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41b0050bd1091327d23707a7de71e6bc3adbee79","datavalue":{"value":{"amount":"+0.7774704694747925","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":"Q4337957$EFEC9F65-1F7F-4706-B425-80D98742E654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcc8de9d3c6658ab4a4873588d710e45f10ac58b","datavalue":{"value":{"entity-type":"item","numeric-id":4657024,"id":"Q4657024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e008f81e7e8b8396ad2019f9b0a7ae3ba8874a53","datavalue":{"value":{"amount":"+0.7640866041183472","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":"Q4337957$18A8873F-29CE-49E6-A600-0DC658689D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8e956a74e8a4f64aa328659f3bee91e84b0415","datavalue":{"value":{"entity-type":"item","numeric-id":5692241,"id":"Q5692241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c00934f266e84ea2fc59053c60e7bed44b3e22d1","datavalue":{"value":{"amount":"+0.7619767189025879","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":"Q4337957$314924BA-6A2F-43EF-A319-C8C15944BD65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4337957","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4337957"}}}}}