{"entities":{"Q647342":{"pageid":649191,"ns":120,"title":"Item:Q647342","lastrevid":51371774,"modified":"2026-01-17T23:33:59Z","type":"item","id":"Q647342","labels":{"en":{"language":"en","value":"Axiomatizability by \\({\\forall \\exists!}\\)-sentences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5977563"}},"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":"Q647342$DA097E7F-D8CE-4E54-BAC8-8D55CA2217D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"226e2b349b60463b50797a17b767130b337f311e","datavalue":{"value":{"text":"Axiomatizability by \\({\\forall \\exists!}\\)-sentences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q647342$10904ED8-ECD4-4990-9162-02129CF0A272","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9268754f0a75de794d522cf4551da2601e8e12e4","datavalue":{"value":"1237.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647342$62BE0919-4CCA-40C5-BD4E-7D31051F5F57","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647342$27E64A2E-624D-455B-B3F4-28A1E1C289D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e41089f084c402eced6627daeaaccc5646c70332","datavalue":{"value":{"time":"+2011-11-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":"Q647342$E854E6D0-D6CA-40E1-8EE3-FE02760FC920","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647342$DB434F38-5B60-4F18-BEC8-C587FA665CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647342$4916F804-0862-4619-BA71-E3C01594BD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647342$7BCF2E5F-C207-41AE-B155-FC26B07B197F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647342$9B77E686-9C63-4C35-B11E-4DE90F168B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647342$552CCFA5-9130-494F-9513-5879971D37D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cee1a6b5c9fe962c2cf4b7a15f1dbfd63865672d","datavalue":{"value":"5977563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647342$440374FF-714E-4B91-99AA-80E9770F61BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91ca7026072ce1302d26b250893217d87dbc257f","datavalue":{"value":"intersection property","type":"string"},"datatype":"string"},"type":"statement","id":"Q647342$5A3640D5-F10E-498A-B295-DF6D65E4C158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fc7b3c6ddc9c42dcfb2e6d665a56076cfaf3cc6","datavalue":{"value":"preservation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q647342$F1811C1D-5F63-4223-8D32-855CC49AB513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba71a21748d9b49163669cd4d0b455f4a4a1ae1c","datavalue":{"value":"elementary class","type":"string"},"datatype":"string"},"type":"statement","id":"Q647342$C1CDBE4F-42AE-4A8F-A520-09A21CF9A7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c6dd1981b07a4c4fb58bb4b18036831c634f9b9","datavalue":{"value":"discriminator variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q647342$20D6627C-85BA-48E7-BD8B-8498134E1549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q647342$390E9920-0C60-49E6-B664-722AB1B20FF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"843f08a1dffcac75f48a4e8f90ad97dbd6efacb6","datavalue":{"value":{"entity-type":"item","numeric-id":539982,"id":"Q539982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647342$BE4B61D7-F3AE-4208-B629-D12E5E5730A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8dcc6157d8b3264437b5f505ceab65ec9020de","datavalue":{"value":{"entity-type":"item","numeric-id":1193501,"id":"Q1193501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647342$D1C51B3B-9DCF-4608-B3D1-DF6DD7933266","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":"Q647342$9F1B560A-F6C6-4C50-A7FF-86786164187A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"135832de36a10d080cc7dbfc604665653deab98a","datavalue":{"value":"https://doi.org/10.1007/s00153-011-0244-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q647342$77A8637B-B122-4EE6-89C7-A50B7966FC53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e73bc90e8d79e468884fa894fd0267f17c3989f5","datavalue":{"value":"W2091366504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647342$9BC78A4C-7496-4C63-BAC7-7280906E9788","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647342$E81FBDD5-CF86-4CE9-A649-8E64EEAA3C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36f76ba65987bffc0996fb6eb7e69b9988872eaa","datavalue":{"value":{"entity-type":"item","numeric-id":4198732,"id":"Q4198732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647342$21CCF1A5-02F5-42B6-BBA8-8DCFAADBCE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320513a3ba82b73e91e0cbf8ebb10423f4bc4a58","datavalue":{"value":{"entity-type":"item","numeric-id":1770605,"id":"Q1770605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647342$388F789E-EC41-4052-BBCB-6E8C236E32D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1885f08fe8a35b7e1ce7c3bc8b7cc0afa1b31d","datavalue":{"value":{"entity-type":"item","numeric-id":1042420,"id":"Q1042420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647342$A8E5E43A-405A-47C5-85B6-435F7F437B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5fdc5604c99a9049b19ca9b158f4277fcf7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5554384,"id":"Q5554384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647342$D2C42B17-A031-4DFC-9A9D-0507AB9F46A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647342$EF8FA696-8D4C-426B-A652-00FB1B143F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da04a32e468ce4867ec594afa1765b999c151299","datavalue":{"value":{"entity-type":"item","numeric-id":4152589,"id":"Q4152589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647342$85C80EDA-9DC5-42BA-AE0C-B0F59D92FE41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f3690eebd1cff7469309d81b114d13cd8d36c5d","datavalue":{"value":"10.1007/S00153-011-0244-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647342$44388F49-4FB3-4A27-8D4E-95CD64A3F100","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f57877df3adc62c0eb81af7baf05711c45ba73","datavalue":{"value":{"entity-type":"item","numeric-id":2300739,"id":"Q2300739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f434fba8e4c729d0f66be4ff2845b407369fa217","datavalue":{"value":{"amount":"+0.6976816654205322","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":"Q647342$7CF33C9B-66F8-4B18-AC09-BA1B1C4A2742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af17f65172ee64e4f9bb0a6dd97cc80ea77299f2","datavalue":{"value":{"entity-type":"item","numeric-id":1652858,"id":"Q1652858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0ec9cba9678f3022e6d8383a9b1440d6d547cd5","datavalue":{"value":{"amount":"+0.6781147718429565","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":"Q647342$E8106CFD-26B2-43EF-8B87-7E300748ADE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d86282ff43e082e9465c28c9441ab32a03a54fe9","datavalue":{"value":{"entity-type":"item","numeric-id":1902536,"id":"Q1902536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8aece24ad8a81c4617f8dd963d8c2329af8c26c","datavalue":{"value":{"amount":"+0.6760658025741577","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":"Q647342$2068B350-BED5-4B9A-A854-5B7E5846F278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e137d05b1f4ba57dfb5cff7a338be1131b6fef0c","datavalue":{"value":{"entity-type":"item","numeric-id":3295177,"id":"Q3295177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab95dca32a40a337487d5f658607771b62171a2","datavalue":{"value":{"amount":"+0.6635411977767944","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":"Q647342$2129630A-8975-4486-951C-1B8BA857B4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6f61569d47feac717779365293537fa24ddd81","datavalue":{"value":{"entity-type":"item","numeric-id":1652877,"id":"Q1652877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fefca51349f7b906e9bef80bedecfecc308815b8","datavalue":{"value":{"amount":"+0.6558526158332825","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":"Q647342$216B529C-BD14-47F9-AF5A-331EDCAFA4BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:647342","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:647342"}}}}}