{"entities":{"Q2213940":{"pageid":2224683,"ns":120,"title":"Item:Q2213940","lastrevid":53883530,"modified":"2026-01-25T21:19:48Z","type":"item","id":"Q2213940","labels":{"en":{"language":"en","value":"Algebras of binary formulas for compositions of theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7281979"}},"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":"Q2213940$66940D2D-F700-4BA5-BDA4-EA7DD8966439","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb8f8231e41ba290b2658d3e3c5539703d457080","datavalue":{"value":{"text":"Algebras of binary formulas for compositions of theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2213940$D088E11D-FB55-4473-8613-3C9B14E4C963","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18895200bfdda95348f65093f74b38ca8d1388c3","datavalue":{"value":"1484.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2213940$1DE295BD-D49F-461D-A20E-385AF628785C","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":"Q2213940$851EED63-BA3E-4591-8F4D-D8B21BCCE8B9","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":"Q2213940$6C11D149-661B-4C56-BEB0-842E460D00E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1627dd4fa83f0d5fb2571f3cac531b48ac478674","datavalue":{"value":{"entity-type":"item","numeric-id":823960,"id":"Q823960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213940$2C2764F5-840B-412C-966E-67936FE283D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213940$29755577-F902-4E8F-9FD0-39821E5EF321","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b0ea7045df1bf0a375012135ef4596b9d721729","datavalue":{"value":{"time":"+2020-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2213940$3D70E1FD-182E-4531-89B0-268A9DD7E72C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2213940$4A73DAAA-0A61-4450-943A-E425E4EBD9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2213940$DA8789CE-4639-4272-916B-06277568ADEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2213940$23146D51-AB6A-47E6-ABEB-86D74C25F3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2213940$384588CE-969D-46AA-9EA5-AAF8FE08F535","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5de9f692e509a8929cfbc3abf0a7711e8b769df1","datavalue":{"value":"7281979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2213940$668B81A4-BD8C-498B-ADAE-CCD7A7AE9F60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbd09ff29947b36363318b632c150fe281324331","datavalue":{"value":"algebra of binary formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2213940$AFF990CE-D702-4D5D-9030-35A12B484C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71619d3d6494d1e86bb7decd37002385b0efcb8c","datavalue":{"value":"composition of theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2213940$E03FEAAE-5AE2-4FDA-B0F5-94E9967BF0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dbd5605eb9a4658fc75517d0acf8cd4d2180638","datavalue":{"value":"e-definable composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2213940$67087175-5809-41D5-AF60-D993E7CDA0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4434f12871452c74a980a75e8216abf0e6b1c90","datavalue":{"value":"\\( \\aleph_0\\)-categorical theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2213940$0BC34A25-FF4D-4D9C-A2E2-43E1FD4350D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47957f0664e598699132a96ae9209b3e243af98e","datavalue":{"value":"strongly minimal theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2213940$C9363E4E-D1DC-4893-A689-6487EAD9BD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f15af81ecb43d9f65e18aabb35906b8775c5181d","datavalue":{"value":"stable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2213940$8457F5C5-2339-48D8-9F27-1D0DDBC10248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5355a132b43b8f7bf06e9713633158129f4a3a78","datavalue":{"value":"linear preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q2213940$B73E01E6-FC7D-49D0-9E1B-48C3FB03FDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"040ec57018dfbb24691e5e63f2d8579c235f421c","datavalue":{"value":"cyclic preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q2213940$213CA199-F699-4F64-A8E1-E598351D36A0","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":"Q2213940$AB77A7EA-AFEB-4BF9-90FC-E131D5E1C8AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"948b7d95948916de6191869d2f8ef7c580fab743","datavalue":{"value":"https://doi.org/10.1007/s10469-020-09602-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2213940$513B278F-A56F-4669-AD32-45CC6DB05BB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a8b3191cf5daba647c31a58e5f166294d8925ff","datavalue":{"value":"W3110354893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2213940$E7A579BF-2403-46BB-BCB1-4C634E2DCE6E","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":"Q2213940$9C89881E-5950-4704-8E48-C2C953E9E045","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":"Q2213940$0B76EEEB-F424-41E0-BA66-6CABB4271E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e262659a56181832ff5143ea5595b255cdf62032","datavalue":{"value":{"entity-type":"item","numeric-id":892013,"id":"Q892013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213940$D504180E-E232-4D8D-B8E3-6C4836F4826A","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":"Q2213940$C14C3D7A-99C3-4038-8CEE-22FEB638AF17","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":"Q2213940$E0B6F627-E13B-4EC5-A769-C33DA70B7296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1fae0f544c31648a70cf9e1f520de1e99c575b","datavalue":{"value":{"entity-type":"item","numeric-id":2405326,"id":"Q2405326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213940$57FF52A4-6509-4A11-98BF-8EE5B3C86E77","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":"Q2213940$BE2E6356-930C-4BA4-AF02-2708546E2A49","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":"Q2213940$1B580116-31E5-4298-89AA-0869E435C67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c594e9705e780a6a4b2b01479e5d5553e79570","datavalue":{"value":{"entity-type":"item","numeric-id":5572939,"id":"Q5572939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213940$FB600F95-145A-465A-8900-35918D050DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ba470171b028dd3e871c449776c9b8d610a7e81","datavalue":{"value":{"entity-type":"item","numeric-id":3996855,"id":"Q3996855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213940$D9D70F41-4782-4FCE-A6FE-52E827347C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99471211a013b24f646040fb4e2d94d0ec788770","datavalue":{"value":{"entity-type":"item","numeric-id":3281106,"id":"Q3281106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213940$F2023F6A-BE44-4273-990A-BC7D50D7B71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57e1840d32cfd921d901bb003539214d0135882b","datavalue":{"value":{"entity-type":"item","numeric-id":1595482,"id":"Q1595482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213940$C9DE5EF0-1059-40EA-82AF-9A22B674EE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"478023d21bd8b3438324b33e5a87b2d73e311233","datavalue":{"value":{"entity-type":"item","numeric-id":1717397,"id":"Q1717397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213940$237F4CB4-5D7F-423F-9B1F-BBE2D84C4070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79cc00f72a99027c015c88edb698009b57b74016","datavalue":{"value":{"entity-type":"item","numeric-id":1078558,"id":"Q1078558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213940$BAA7B317-26CD-4B14-996C-323E04CB622E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4812dabd655e9236c66a2524aa7f690d1e1a03b5","datavalue":{"value":{"entity-type":"item","numeric-id":4071228,"id":"Q4071228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213940$27777630-2739-4BC6-B404-14361A7643C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db76faf1b9cb27a7e3311f76ef3ad8104510de55","datavalue":{"value":{"entity-type":"item","numeric-id":5621361,"id":"Q5621361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213940$D1A8C58C-9A97-4C9F-8589-8B04D3E8A284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0376df3f9b072633ed90667970c04b9642439a8c","datavalue":{"value":{"entity-type":"item","numeric-id":1188601,"id":"Q1188601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213940$88D7CA40-E15C-48B1-9F40-3246E82F7288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3de4c9f12afce50a16fd191f9f6fd7402e2f3e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1074574,"id":"Q1074574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213940$DCCD142F-2D39-403A-A661-F9B9F673F47A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73e90cefa5e24b86733424b0c5cefc63e08e4433","datavalue":{"value":"10.1007/S10469-020-09602-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2213940$365A4275-0D4A-47FA-B369-5E30FE5B1367","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":"d4a9d66ddfa13691ec604d25cb584c9a890d7232","datavalue":{"value":{"amount":"+0.7530845999717712","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":"Q2213940$0EEBFCD7-A6EF-4BF1-84FC-9378BD8028D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b766e1fa5d9b8b4433d2c20f3fc8a384269cddbe","datavalue":{"value":{"entity-type":"item","numeric-id":823961,"id":"Q823961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ba82d51c2c54647ee85715567086ce9b6bea3aa","datavalue":{"value":{"amount":"+0.7479904294013977","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":"Q2213940$CA219008-9B41-4E5F-B9DC-A94AD9CFFA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de673bb60fc887326d004a30f0d762bffbd938cc","datavalue":{"value":{"entity-type":"item","numeric-id":2627174,"id":"Q2627174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3015c8c02f283981664817538bccf27674513a82","datavalue":{"value":{"amount":"+0.7467928528785706","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":"Q2213940$3E6EB7A3-96A2-4537-BE82-DBBD9D0E76A8","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":"6e51a99fc493d1636573fd74ed9761b1ede6a483","datavalue":{"value":{"amount":"+0.7373976707458496","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":"Q2213940$C5BBFE44-976B-404D-845C-D939A89D1827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21157a1fe41bb69a5c3d5ab08b6fcc7f8fa52af0","datavalue":{"value":{"entity-type":"item","numeric-id":2405326,"id":"Q2405326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44f090fd4728d9e858d028f3626e94f2754c2d4e","datavalue":{"value":{"amount":"+0.7246678471565247","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":"Q2213940$884FB02F-2BD0-4D09-85D5-AA006ED403DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2213940","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2213940"}}}}}