{"entities":{"Q2700052":{"pageid":2710796,"ns":120,"title":"Item:Q2700052","lastrevid":55445248,"modified":"2026-02-17T16:31:19Z","type":"item","id":"Q2700052","labels":{"en":{"language":"en","value":"Algebras of binary formulas for weakly circularly minimal theories with non-trivial definable closure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7676592"}},"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":"Q2700052$CC27E7BB-9534-4DF6-BFDB-7060253E75D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ba91672e71c91fdf67e953c4fb1047ef935d2ee","datavalue":{"value":{"text":"Algebras of binary formulas for weakly circularly minimal theories with non-trivial definable closure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2700052$5AA42B7F-C212-4DF8-9929-53350C7803A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc7edd359655f7c465ca146a6e934c3d354b444a","datavalue":{"value":"10.1134/S199508022215015X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700052$E965BB62-C72F-4745-B21D-3E37F87EECFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"991c44e16a29e005173c606dbff473c0476984c8","datavalue":{"value":{"entity-type":"item","numeric-id":331051,"id":"Q331051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700052$1A1536B3-4EC8-47E5-85AA-3ACDBD57E4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9556ab5bfd7d0868cca2c69e169fe167e53c60","datavalue":{"value":{"entity-type":"item","numeric-id":1717396,"id":"Q1717396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700052$59D88507-DC35-4801-BD1E-228A682A1565","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fdd8bc36a3bd1e23ed77b21c053f051997e685b8","datavalue":{"value":{"entity-type":"item","numeric-id":69786,"id":"Q69786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700052$6AE9F4A5-5ACB-427F-BD73-B15AD6C0FF88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"58f6a43946330a9b1c758022a21e1f99d75b5028","datavalue":{"value":{"time":"+2023-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2700052$F5F76B7C-DEC7-4E44-A5E7-AEA2CE17B336","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f97231c38032b2cb868c18061aedc088fc6d95c4","datavalue":{"value":"03Cxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700052$F27F37DA-1547-4B21-B27F-F355D2B8EF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd80a6626c536129be40c9d0de785c34a0b19a0","datavalue":{"value":"20Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700052$346C773A-C91E-4479-BE86-04789A3CBEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9e7ed65eaa37ef307946ffe104383f51694c61b","datavalue":{"value":"20-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700052$C3A894B5-79AE-4C70-94A9-C327EDEB375A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cc33ce8b568c495343460004b1f6c2f047bce72","datavalue":{"value":"7676592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700052$AAA3720B-A489-4811-BD90-D3C2DFC494CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbd09ff29947b36363318b632c150fe281324331","datavalue":{"value":"algebra of binary formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700052$63E80335-89D7-45B8-AB2D-18A4F695AE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b686bcb417a0c636aaede7d7e672c8c4a6616742","datavalue":{"value":"countably categorical theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700052$0E5C7014-39D0-4E8B-8A20-EFDA9C4FE600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c75186f0aa1aee49ae9544b6d124d2f795a7970e","datavalue":{"value":"weak circular minimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700052$3ADC10D8-8803-43FC-BD5F-BA5A16E26048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0fcd978876e3e9f559d2e5299a036ab0fea63da","datavalue":{"value":"circularly ordered structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700052$7A014315-B558-4B24-A759-F61433A4B3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7004ea3c45e788d894ca43ad9fb77d664ad32ef0","datavalue":{"value":"automorphism group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700052$2DFB4882-26A4-4CD4-BA7B-74C910D663BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdc894c7377128dc1b365909248b80d92973ae33","datavalue":{"value":"convexity rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700052$95F0D183-EFC1-4B30-8BFD-5263905474C8","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":"Q2700052$EE3FFEBD-22C6-425C-9F78-0891E14A7EA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"324602964f48704d08b9bede03a794806b5b48cb","datavalue":{"value":"https://doi.org/10.1134/s199508022215015x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2700052$A2309838-BD2B-4FCC-B680-9295BAC70FD1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5863476c57d90823a28b596cf7ffcd3a377bad89","datavalue":{"value":"W4327798536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700052$443C4938-8AC4-45F6-9DFB-A467D1E21CE4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1fbbfad1701c032479b0fe659f86d9337dac19f","datavalue":{"value":{"entity-type":"item","numeric-id":1735125,"id":"Q1735125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700052$CE893D0F-599B-4EA0-AEF4-D41C00655229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb7aa89239c3f116971eea270e9dcd77de73a2c","datavalue":{"value":{"entity-type":"item","numeric-id":892012,"id":"Q892012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700052$C4462262-F2EC-4325-BBBC-AB09BB561865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a983ec8edeeeadd083166e64888542a8b226689b","datavalue":{"value":{"entity-type":"item","numeric-id":2627174,"id":"Q2627174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700052$E68C6F17-09C6-4EBF-A622-2B9E54E880BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82100c45823345f798a52dbf3bcaa31e8227cc37","datavalue":{"value":{"entity-type":"item","numeric-id":2401543,"id":"Q2401543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700052$94062BE6-62FE-486D-A333-0DD845076620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac79785d7dbfae93f214e7b7aeb31a0545c93c24","datavalue":{"value":{"entity-type":"item","numeric-id":1795337,"id":"Q1795337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700052$C1AB594E-5C0F-4015-A944-9FA59C85D4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdbbf075e866a5c5d7996be7057a9eedec1a4fe4","datavalue":{"value":{"entity-type":"item","numeric-id":2011340,"id":"Q2011340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700052$FD699BF8-3523-442A-AFDC-49A7793A778D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85660856e03d1eabc24c5b67d2c5d765b16c3e68","datavalue":{"value":{"entity-type":"item","numeric-id":2213940,"id":"Q2213940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700052$3F530806-B8F4-430A-803F-8AC8A4EDD18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddcb1ce6049cd08e551e01819772174f2381d445","datavalue":{"value":{"entity-type":"item","numeric-id":2066090,"id":"Q2066090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700052$FFB505C1-A7FF-485B-90C1-421FFED50897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a53510a7f9b8812218f474f2f67e0e8dfed329b","datavalue":{"value":{"entity-type":"item","numeric-id":5967020,"id":"Q5967020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700052$A64E2DCE-3C02-4C85-BE44-091AB0D8D299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c30e82a8e67faa2cda9ee75602f2ba79b93d9c5","datavalue":{"value":{"entity-type":"item","numeric-id":5462990,"id":"Q5462990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700052$3263452B-BC53-4FE7-8A05-692DAB223958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8847fe111a26c879a94b3a7ca9ff78295aba8ec","datavalue":{"value":{"entity-type":"item","numeric-id":1919545,"id":"Q1919545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700052$6C3A96F3-D33F-4330-BF04-485ECA3F8A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f6b034f47808b6028f966815cbb0dd8c75e312","datavalue":{"value":{"entity-type":"item","numeric-id":3418086,"id":"Q3418086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700052$F03A950D-5177-47B7-9896-423D551E04CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5808f920bdab22fa9a3c53ad518a366f2eb0218","datavalue":{"value":{"entity-type":"item","numeric-id":5391556,"id":"Q5391556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700052$11B08F6D-AEE1-4E05-8514-33E5965C2F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e344636a5ce56cd41a01ab7bb90deefd68a4e3","datavalue":{"value":{"entity-type":"item","numeric-id":5179276,"id":"Q5179276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700052$68AE0A8B-2A1D-4F4A-B1DF-28754CF30B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b2bd47d58d1d0048770307e3aeb548dec37165","datavalue":{"value":{"entity-type":"item","numeric-id":2364327,"id":"Q2364327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700052$9B73832B-0AED-4911-BECC-E82415D1673C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e065e7a6b240186848ddadee58abb9ba84ee45c9","datavalue":{"value":{"entity-type":"item","numeric-id":2063669,"id":"Q2063669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700052$29991E9B-6C7A-4A34-A954-7D06B8DE4E27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8de405800733101c8a756e7cefb1cb91bbff6589","datavalue":{"value":{"entity-type":"item","numeric-id":2401543,"id":"Q2401543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0302f9ea58b0b370df280e63caaeaa5d60fae65e","datavalue":{"value":{"amount":"+0.8457297682762146","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":"Q2700052$F1BBDB5B-50E3-4C13-91FC-5AAB6ABB5AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f248ca97fd7a8c7296a0bd166293eca6f816cb4","datavalue":{"value":{"entity-type":"item","numeric-id":2066090,"id":"Q2066090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5fca09f4f3a8174d1197345cb000f645aa5d7b9","datavalue":{"value":{"amount":"+0.8305160999298096","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":"Q2700052$89993DBF-750F-43A5-8B9E-BD07A99A88D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56364069eb699664bd2a1ab2837dcd081cdcfbaa","datavalue":{"value":{"entity-type":"item","numeric-id":2364327,"id":"Q2364327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0458e5376c0784a786d230fb90dff80993cb421","datavalue":{"value":{"amount":"+0.8220680356025696","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":"Q2700052$89D98298-5FF2-4A76-A902-6688550B0085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e05e9bc51c74f2a8c1f44c98a0298f5999250b","datavalue":{"value":{"entity-type":"item","numeric-id":2011340,"id":"Q2011340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b2f2d6581c38f1f3be6cc7a27f4f1414fc089db","datavalue":{"value":{"amount":"+0.7921947836875916","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":"Q2700052$FC130749-61A1-4D82-826B-A414B3D5B60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04f6169a5053746604100072a6b28f1d8262b20e","datavalue":{"value":{"entity-type":"item","numeric-id":2213940,"id":"Q2213940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e7086dab88d221f1cbe6512ebd96209add80674","datavalue":{"value":{"amount":"+0.7849406599998474","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":"Q2700052$5DE0D252-CD55-4C4B-9DA7-513B64E07F0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2700052","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2700052"}}}}}