{"entities":{"Q5023577":{"pageid":7053154,"ns":120,"title":"Item:Q5023577","lastrevid":55397584,"modified":"2026-02-17T15:30:31Z","type":"item","id":"Q5023577","labels":{"en":{"language":"en","value":"A separation theorem for simple theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7462181"}},"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":"Q5023577$A0AE5EAC-698E-4F31-AFE1-91582FD281A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc78480f457e1dcb92539dc2d773c38534bb15b6","datavalue":{"value":{"text":"A separation theorem for simple theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5023577$676B26F4-6038-4BC4-AA83-6CB2C015E406","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5023577$C3425826-A309-4125-B3AB-E501F7F91D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"442e2d80fab05ba913984e3f5d25db3ffd4680e7","datavalue":{"value":{"entity-type":"item","numeric-id":1650012,"id":"Q1650012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5023577$FD7E2642-00B4-458B-A272-0619BBB5FD72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a35d979fa313ead6b4d0012113ddc90b39e5d883","datavalue":{"value":{"time":"+2022-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5023577$F8A04C14-F762-4B35-AA3E-48E232507800","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6908c8369b37b1825bb1dd04402fdeb4e749c98","datavalue":{"value":"https://arxiv.org/abs/1810.09604","type":"string"},"datatype":"url"},"type":"statement","id":"Q5023577$5C059961-45C5-4CFA-932C-E5FDD32EE8AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5023577$33C57EAE-2534-4861-8157-81C02E3D41F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5023577$A219D458-B487-440D-98AD-E872944186C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c8fe0e0d9053b9c71e705326a25639cfa34093d","datavalue":{"value":"03C68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5023577$03641716-1D10-4CE5-967D-842A42C971FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8936623c05b65a600be1dc10d276e76218ab3f5b","datavalue":{"value":"7462181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5023577$98CD448C-CCEA-4E87-9CBE-4FDF906035B6","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":"Q5023577$C8823B04-EA9C-4E72-93CD-D0DA56335EA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"680157bb6d3dd1fafc995fd9ca17baf92cc1a2c4","datavalue":{"value":"W3217318275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5023577$2F584AEB-9ADC-498A-AF82-F06A2A8B29CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6df34505b758e9991b5da77d041316a1b9347ab","datavalue":{"value":{"entity-type":"item","numeric-id":4243636,"id":"Q4243636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5023577$24FFB36E-48B2-43A5-BF97-40F5603FCE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"724ca41c4534c9ce20d661f09e2be72e06bec181","datavalue":{"value":{"entity-type":"item","numeric-id":3236673,"id":"Q3236673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5023577$4879823C-3BE3-41B4-BEF1-B0F6C997A3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385ec921e7877c4cf9aa2c86a7e22ff7f5c56ac8","datavalue":{"value":{"entity-type":"item","numeric-id":1407556,"id":"Q1407556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5023577$64285B01-6C07-43C7-A22E-BE6488E262DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3ec2439ce7065f673ed5a06c4ad79a689ba2d4d","datavalue":{"value":{"entity-type":"item","numeric-id":515567,"id":"Q515567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5023577$C3E46A67-065F-4204-BCCB-7953F3CB2B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea8d7e47c4a318876eaf32db92f4cb6b210ead6","datavalue":{"value":{"entity-type":"item","numeric-id":5700776,"id":"Q5700776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5023577$84A46C25-2CCD-4EF6-9666-635AC02E0BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97ffe97a52a258266440dc98457e9f75d3e1a5ae","datavalue":{"value":{"entity-type":"item","numeric-id":2326661,"id":"Q2326661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5023577$51721303-8EDA-4EF9-A69E-921E65F775EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"251fa540b39a4047d1d53d78840a8780ede92f97","datavalue":{"value":{"entity-type":"item","numeric-id":2575145,"id":"Q2575145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5023577$4227076F-1F00-4F59-AC62-DEC209B54B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cecfd75b7cd4c4efec1842d3b1247dd190b2157","datavalue":{"value":{"entity-type":"item","numeric-id":5388726,"id":"Q5388726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5023577$B1E7E05B-974C-46E6-A667-16E410E8B4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2299a60b69e583929b07d4750f000888928297e","datavalue":{"value":{"entity-type":"item","numeric-id":908076,"id":"Q908076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5023577$5836A011-8B06-4449-AC34-1462FEDFF855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d5a9552361c751a29a8ab1d305a309cc2d76f20","datavalue":{"value":{"entity-type":"item","numeric-id":1650013,"id":"Q1650013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5023577$735A1234-3CFA-4A9A-BA55-21C67B3AD0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f7aa8318ee6b0a97222c4e6dd636eaf536ee8a5","datavalue":{"value":{"entity-type":"item","numeric-id":1731843,"id":"Q1731843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5023577$A304C6FF-9558-40E2-9625-793129E26833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821e5adac6f1f8e6c4de1ce373a98fd98209215a","datavalue":{"value":{"entity-type":"item","numeric-id":4660561,"id":"Q4660561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5023577$0B24B978-1AB2-451D-8278-7D91EA683726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8b6e78d87bc8759baa583c8309ccf5401b4beb","datavalue":{"value":{"entity-type":"item","numeric-id":1051640,"id":"Q1051640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5023577$FF11456F-DBEF-4B5E-B5D5-76DEAEFCCD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"296bdae54a777e610ae45bfc6c83d69a3255bf22","datavalue":{"value":{"entity-type":"item","numeric-id":5547563,"id":"Q5547563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5023577$885DDE7D-9948-4CF9-BF1C-E9417D7E28E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d04947f4199cd1e79aefc8c8d006b98f85b502d","datavalue":{"value":{"entity-type":"item","numeric-id":450958,"id":"Q450958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5023577$B956C11A-08BC-42AA-AAD6-F9FF0C696142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28f0bff5f2cdc15c85ed3c713c7c37f87d93425b","datavalue":{"value":{"entity-type":"item","numeric-id":3950543,"id":"Q3950543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5023577$7C7BBCF0-5BC8-4708-843F-BFE77B70353E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390883ad78a33fcf623e26f354177bcba16ae9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1250098,"id":"Q1250098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5023577$2E8F2976-DE32-4374-B22F-F52A4DDED2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"852b133ced10d8de6db151a37b95919f3ec5ecb6","datavalue":{"value":{"entity-type":"item","numeric-id":1923564,"id":"Q1923564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5023577$3BBF5D5E-9F20-4D52-A31A-DC25E217CF2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4ac7a044e68832397ab492f40a0fff37db55621","datavalue":{"value":"10.1090/TRAN/8513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5023577$2B3CD4BF-36A1-437C-AF6B-000992B25396","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb8825f4bff3693c3886dd365ed319647d59c415","datavalue":{"value":{"entity-type":"item","numeric-id":2450799,"id":"Q2450799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44dc843a3c6056d8a9c34cf215a62f712a79485c","datavalue":{"value":{"amount":"+0.7454164624214172","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":"Q5023577$FAFC0E6C-62ED-49F6-A753-DD1D5E6A8BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a29b80f02dd45479455bc239dfb42b740dc823","datavalue":{"value":{"entity-type":"item","numeric-id":2237409,"id":"Q2237409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3815c0f5eedb82f40039e2ae6d3603696d60862e","datavalue":{"value":{"amount":"+0.7360746264457703","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":"Q5023577$97C3D662-8A42-4F2F-8320-6B2E36928CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1af5761f2d13250a05ea4415d610dbdc1b0484","datavalue":{"value":{"entity-type":"item","numeric-id":4392803,"id":"Q4392803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98809de40105f478e59390c5ee6b6af83dd86b2e","datavalue":{"value":{"amount":"+0.7207551002502441","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":"Q5023577$0C052FCA-13C7-4967-B8D9-B95CBB17A51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48beb0dea6654c8021f4247c82ea64b721c0083b","datavalue":{"value":{"entity-type":"item","numeric-id":1377641,"id":"Q1377641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d15cabaa4038383448e00b6560410944e00c32d","datavalue":{"value":{"amount":"+0.7188653349876404","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":"Q5023577$2C53B126-D69D-4B54-848B-41BC6EF88C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"588209684dc7bd3da2f75bb1cfc9935d186d138c","datavalue":{"value":{"entity-type":"item","numeric-id":4356367,"id":"Q4356367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"405008d47120f49f82f0199e7316222a06d5f6ea","datavalue":{"value":{"amount":"+0.7151750922203064","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":"Q5023577$61AFAEF2-E1CE-4B40-B59D-37BF9B11AB59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5023577","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5023577"}}}}}