{"entities":{"Q3185015":{"pageid":3195723,"ns":120,"title":"Item:Q3185015","lastrevid":50793863,"modified":"2026-01-15T05:02:30Z","type":"item","id":"Q3185015","labels":{"en":{"language":"en","value":"Omitting types algebraically via cylindric algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5619869"}},"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":"Q3185015$5C5FCD3B-B178-476A-BA75-114B796193B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"677c45c9c0fa03e234a8290835b92abee978f815","datavalue":{"value":"1211.03096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185015$1BC98011-E7E7-400B-B023-56FFE4165303","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6651d4e4947d930a461f076a4ae17f7da77e1b31","datavalue":{"value":{"entity-type":"item","numeric-id":227768,"id":"Q227768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185015$D8F36C0F-6754-4E51-B13C-3C6C5A39DCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4961c2cadf61da6df1215c35512b906247afc7","datavalue":{"value":{"entity-type":"item","numeric-id":1731560,"id":"Q1731560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185015$3F669181-B611-461A-B902-215A8A75ED33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d1036c74b68c1dd1600021badf709b3b4af93e7","datavalue":{"value":{"time":"+2009-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3185015$0DC7F7B7-1B8D-4671-890A-18E67429F2CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56c717219211101998e435594e08330ac848880f","datavalue":{"value":"http://www.m-hikari.com/ija/ija-password-2009/ija-password5-8-2009/index.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3185015$11FCBADB-B979-4AB4-8399-14C4E284C087","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185015$75632818-065E-4A81-A268-63A4FE68FEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185015$CA81D392-F40A-4B62-9CEC-D8FE8F10BB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185015$8FFF4004-D75E-4F79-9DC4-7FE56B87EC28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e6c6647c83a864a7539e4381aef4c19c9fcc12e","datavalue":{"value":"5619869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185015$8D2AD7C7-01E2-4B61-8E64-004A6E5CE261","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3185015$A46B1F17-7D1B-49F7-AAAF-1EF6986A8CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e522e3d53ad5525dc0151bfa5b83dc55a0e70d90","datavalue":{"value":"cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3185015$F700F781-63A7-47FB-9218-26BFF8130522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a24df7a4b46ec1c22b9d20de6c792ddabeef0f6","datavalue":{"value":"omitting types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3185015$8EC804F3-33A9-467A-87E9-9CB531C6E629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"392759172323534656368efabeb028254bbefbda","datavalue":{"value":"weak models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3185015$89CA43B4-45F9-4343-BAE0-EA9B47214550","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":"Q3185015$D041E397-854B-4A9D-AA76-FE419F02419F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64df11251b31fa5b794454366aa0caf52a9f4f73","datavalue":{"value":{"entity-type":"item","numeric-id":3091417,"id":"Q3091417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4cc9d33767f4d8998953e4473ae1e0b9de52a26","datavalue":{"value":{"amount":"+0.8461068868637085","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":"Q3185015$736EB1E3-90AB-4D45-9ABB-B88DAB1D19BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea41b016ac8bd00dfbceb5f1401c975a79862ee","datavalue":{"value":{"entity-type":"item","numeric-id":3647239,"id":"Q3647239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab7b1d7a276d0edb8c260a4d5a75dc2d3b2a4495","datavalue":{"value":{"amount":"+0.8418532609939575","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":"Q3185015$C0D608DD-2228-464B-A719-63522DC159BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52da9cbc6a57c640d8baa7d4d6e1271ecac59830","datavalue":{"value":{"entity-type":"item","numeric-id":3435232,"id":"Q3435232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0132901a3982c6e38ef35fc46e91c32b55ac2fb6","datavalue":{"value":{"amount":"+0.8272861242294312","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":"Q3185015$A54BACF0-DEB9-423B-AD44-6C551EADCF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90e82f419ca7b004ea7b4df1062bfe262c27b40e","datavalue":{"value":{"entity-type":"item","numeric-id":5387302,"id":"Q5387302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b8ebd99f75edf2cfdf7255f0fa11954ff154c1","datavalue":{"value":{"amount":"+0.8185133934020996","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":"Q3185015$AB4843BB-C0AD-4330-9409-D8980BA25927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc49419ce7345a5ebad029e4a597a096be59487e","datavalue":{"value":{"entity-type":"item","numeric-id":3433178,"id":"Q3433178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"873665f5b6465fd1900a173a158143b960522428","datavalue":{"value":{"amount":"+0.8136899471282959","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":"Q3185015$D74B4E2D-0112-4780-B9EE-105AA5EAD6AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3185015","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3185015"}}}}}