{"entities":{"Q2915684":{"pageid":2926404,"ns":120,"title":"Item:Q2915684","lastrevid":51556148,"modified":"2026-01-18T18:44:32Z","type":"item","id":"Q2915684","labels":{"en":{"language":"en","value":"Non-definability results for randomised first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083541"}},"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":"Q2915684$C23DC258-5A81-4C82-BB14-3B8795B6EBFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ac2d3c562e0b1b9c44c8b5d95cd07cd16a192db","datavalue":{"value":"1247.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915684$BA00F3A6-D5A2-4365-A19D-52B32A44A1B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1af2473304ebaafdd7253ed895a2eaf394a18571","datavalue":{"value":{"entity-type":"item","numeric-id":1679972,"id":"Q1679972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915684$C4356FC3-4CC9-4732-8BEA-7520E12CC540","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8116af7574c2cac3c55da1a071af8f6c18a63659","datavalue":{"value":{"time":"+2012-09-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":"Q2915684$B7C7A88E-FED8-47B9-9B8E-6957809B0EA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60cc006faee19b293270fb15aad56ad559a8d1de","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_4735.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915684$40DDA280-0065-496C-9D39-C13F59C8FBBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915684$D82111E4-7F6C-4335-BB39-05B4CD25BEF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3563fd516758ba80355454352acc17649ef6f7e","datavalue":{"value":"6083541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915684$DE0A7D19-49E8-4188-817E-13A2C5B5091E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915684$0DBF17FA-5A1A-4064-BB16-F10CE3B2E9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58c377f94eb031b26aaec0508130fbf8428070fb","datavalue":{"value":"randomised logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915684$B4AF096C-D240-4BD2-8BDD-4919EFB0D38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84deb00a12ea3f3cb676c26dd930650840f443aa","datavalue":{"value":"derandomisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915684$40EB7F11-BCB0-4BC6-B245-31D458F4B1EE","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":"Q2915684$9377ED73-5F99-47DC-9442-7EBD8F24CF6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3531413f57a8242620a3d60c4e334d501475e0ea","datavalue":{"value":"W2296041599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915684$0201B489-F0A5-4E1D-BC87-4BDA4D881982","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d6ff550918599d05c1200346bc07eb5242ddc5c","datavalue":{"value":"10.4230/LIPICS.CSL.2011.218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915684$4F2389DE-07A6-401C-B34E-2EE208A46885","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d5548b1278560797d0b8876a2615a2042201c0e","datavalue":{"value":{"text":"Non-definability results for randomised first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915684$015F4C96-A413-46A4-B8AD-A23B1B683261","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71ecd245d28e843f85edc29df766da52f34136d0","datavalue":{"value":{"entity-type":"item","numeric-id":5895525,"id":"Q5895525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d06fc38cc59226e621748dd31616f7db760bd6b","datavalue":{"value":{"amount":"+0.8270986676216125","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":"Q2915684$55946B29-68C1-4E21-9EBE-0DF4A729DFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fb33e18d6ef5241d278201d3038c4dbfb6e295e","datavalue":{"value":{"entity-type":"item","numeric-id":5901153,"id":"Q5901153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab0150666656879fc338b8ed5e1ae7a2408c0182","datavalue":{"value":{"amount":"+0.8156328201293945","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":"Q2915684$616DBC41-1BC6-49E9-9344-57882A83C732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c0d49aeef9a815474e44e8c4a918a4ab695551a","datavalue":{"value":{"entity-type":"item","numeric-id":4817187,"id":"Q4817187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8cd8f0ef3d3faf2e17d5b0da971c92b337d68fb","datavalue":{"value":{"amount":"+0.7660268545150757","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":"Q2915684$4F7FD10B-DEE6-49F6-B9D0-BAE202294B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d10ae1e537d29a9f89b853164f240868a076405","datavalue":{"value":{"entity-type":"item","numeric-id":4461932,"id":"Q4461932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2efaebb599f195b64db74b950b807c124c7f6fe5","datavalue":{"value":{"amount":"+0.728608250617981","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":"Q2915684$13C2DF13-2057-4106-B3F8-5D3ED15AB226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98bc71bccc50c8ee352acfb11e98a3e889af2de1","datavalue":{"value":{"entity-type":"item","numeric-id":3616345,"id":"Q3616345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bae85bac61d9d4d5014faaa9f49b970d43b14403","datavalue":{"value":{"amount":"+0.7148975133895874","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":"Q2915684$C3FFA93D-6C18-4C25-B2E1-4A57296E9BB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2915684","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2915684"}}}}}