{"entities":{"Q892013":{"pageid":893861,"ns":120,"title":"Item:Q892013","lastrevid":57189273,"modified":"2026-03-27T10:27:56Z","type":"item","id":"Q892013","labels":{"en":{"language":"en","value":"Algebras of distributions for semi-isolating formulas of a complete theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6510902"}},"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":"Q892013$40312FAE-2B6F-49A2-B895-A4DB82645340","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba03fdee63dc1330e29c42f64aee4ce78d8a3fb1","datavalue":{"value":{"text":"Algebras of distributions for semi-isolating formulas of a complete theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q892013$C129D1B8-C62C-4132-8171-726536135008","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd16f1b30fd47d9943ded5cd7a4abff963d990cc","datavalue":{"value":"1355.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892013$F9028AB1-3553-4C5D-B9B1-656DB87A73A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"482b7978385e0be0d8ea5afcf93e349a724cc633","datavalue":{"value":{"time":"+2015-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q892013$7E0DE97C-53C4-4971-9D48-B52CDFB52EE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4deb25939f970ca6a59f0e8bac7fa7afffb9aa71","datavalue":{"value":"https://arxiv.org/abs/1210.4049","type":"string"},"datatype":"url"},"type":"statement","id":"Q892013$D7285456-D6AF-47CC-B7BB-71BF50D8DCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"0378d95fc7f1d559f2388763aede846757f8bddc","datavalue":{"value":"http://semr.math.nsc.ru/v11/p408-433.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q892013$6618EF63-D7FB-4EE8-BCBF-054202BB4DC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892013$690284A6-C443-491E-B0DE-6EA1164FA72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd59591ac458d98e298f60df52c07d4629bab667","datavalue":{"value":"20N02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892013$E6AA555D-1104-462C-A6F7-E76B6E8FD0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892013$17E3B6FF-027A-4F0F-AF9A-3694CBED520B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"88f26c5e5c8e9b1a1b9fcd1e726cfac3efaf2593","datavalue":{"value":"08A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892013$95555847-CF93-4797-80E4-1662C8941A0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02cf3d56b3faa5a456d7de89ebda59676796867a","datavalue":{"value":"6510902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892013$E4A3FC41-26C2-4692-BE93-6DC7104498BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3a2d99dd366e12ee8fd608e27922f0828010815","datavalue":{"value":"type","type":"string"},"datatype":"string"},"type":"statement","id":"Q892013$3E8FF8C2-9286-48C7-9528-3E3CEBDA4185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q892013$98494984-E926-4676-8DD6-E13783486E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3328da6f311e6595897a2494c85cde78115cc79","datavalue":{"value":"algebra of binary semi-isolating formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q892013$E965A1EF-9930-4668-BAD3-5DA4B204D7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4d8c3f4256e9def549fce3c7da6547bbc7e5dbf","datavalue":{"value":"join of monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q892013$ACAB4B65-B101-46FD-AC65-027C69C8A5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"506660fe61137619dc975b28cd2f5df6fdaaaad1","datavalue":{"value":"deterministic structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q892013$FE1AF6DC-4E98-497B-8D99-9E2B1D5EDBC2","rank":"normal"}],"P16":[{"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":"Q892013$E4F9D709-C4FB-4DAF-89D2-7C7EB6864EBE","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":"Q892013$FC5D5609-4EE2-4969-8BE1-EF27084E1B86","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892013$FE69C885-0302-48E8-92C6-1A26C39C2F6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c79a2ea594b344c0b7ba1c82c87e59d1ea95eaa","datavalue":{"value":{"entity-type":"item","numeric-id":892012,"id":"Q892012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df7eae03623b38e43d8aca52fb799ec280f363f1","datavalue":{"value":{"amount":"+0.9807577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q892013$A26B606A-6716-4DC5-B706-364268ABE90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c08ad1480984c71374ac265f4c324487f62819a","datavalue":{"value":{"entity-type":"item","numeric-id":5420772,"id":"Q5420772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a357ae75256ac4ad02ebf5377919e5a4ef5a26","datavalue":{"value":{"amount":"+0.9513535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q892013$08845F3D-7B1D-473B-BB78-DC8BE7A319F3","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":"5b7cde5239b91ac7fb0bc9d7f2cc7a31cbbe71fc","datavalue":{"value":{"amount":"+0.92313474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q892013$E1E9D67D-7F42-41C6-ABF9-A553E38A9D86","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":"88c06707b14087734603035ef6bf5ff18e427b22","datavalue":{"value":{"amount":"+0.89830744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q892013$2EED4A1B-C66C-4396-A297-116EE2282A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d584d94248298caa293d46ba785790b5d1f27cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4857840,"id":"Q4857840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166e9e14fb3593ea4a0c937f97f9da4f2d8cb129","datavalue":{"value":{"amount":"+0.8943243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q892013$7EE59AE3-FA4A-42E5-96D7-8C1AABF61731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa44483a485352e811e051aee9a3d397f67eb0f","datavalue":{"value":{"entity-type":"item","numeric-id":1795337,"id":"Q1795337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99a9ea0ef13af55e19bbed85c01ef1ec7b2db9b3","datavalue":{"value":{"amount":"+0.89266324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q892013$8F573BC1-2EAD-4ED2-ADA8-84DB95F1F999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1c19ed4d721ea47838c40674e372b04fb0e3ed2","datavalue":{"value":{"entity-type":"item","numeric-id":6064143,"id":"Q6064143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60bd589a8bbe7ea68742343c7cdd5eede38b483d","datavalue":{"value":{"amount":"+0.8912706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q892013$AAC18F77-A4B5-46E5-94EA-780EC2F7EAB6","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":"9d36877e232c1d7ca257ac083638f2c5b7ddbaa3","datavalue":{"value":{"amount":"+0.8902183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q892013$A06E47C0-9C94-4B59-9B27-5B39445B1BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68227d0e0a9895fc7007b2159abbb1deae2181a3","datavalue":{"value":{"entity-type":"item","numeric-id":1205169,"id":"Q1205169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"614c51febea75aba8cb24065b40d13ccd99f7b97","datavalue":{"value":{"amount":"+0.880639","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q892013$8339A35D-8075-4926-B523-0EF06F6ED1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2b141c6c75711c760e2317506b34630934a2a9d","datavalue":{"value":{"entity-type":"item","numeric-id":5872447,"id":"Q5872447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8e0c79d59c7371fd35551fd0168a69db1e96378","datavalue":{"value":{"amount":"+0.8773172","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q892013$A7538A2F-A4A5-4A39-AD9E-1D9D9A7D3E49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:892013","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:892013"}}}}}