{"entities":{"Q2736206":{"pageid":2746945,"ns":120,"title":"Item:Q2736206","lastrevid":79185224,"modified":"2026-05-06T13:20:22Z","type":"item","id":"Q2736206","labels":{"en":{"language":"en","value":"On the decidability boundary of the infinite symmetric group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1638442"}},"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":"Q2736206$F29402E3-9D39-4769-8382-3B735E2E8FB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1877a0df0db67136f8006fdfffc19cc72ace5b18","datavalue":{"value":"0982.20003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736206$63EB20D9-845D-4184-8134-05CEC898F46B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"882853afbe43da23d9d17e61ae5be202873b6ee7","datavalue":{"value":{"entity-type":"item","numeric-id":2736205,"id":"Q2736205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2736206$159272E7-491F-49C8-B75D-3A2A6F4CA7C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbe54b189e142f443bd2748281897f2cac285eb6","datavalue":{"value":{"time":"+2001-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2736206$5B25990A-A80E-4998-9869-1AA75EC6CE92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa3a0cd38ea582d702916ee49599e832f201d954","datavalue":{"value":"20B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736206$AF1AAC51-512B-432C-B4BF-931358042C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736206$F07E4C9D-3B63-409B-960A-77DA1A5073CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736206$484F6BED-D3A5-4D96-A2D9-29F9E3FD532C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736206$4D0ED6D3-EB7E-49FA-AC53-6A0315AF512A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736206$5EB4F1CF-6178-4A0C-B171-611EC42F19D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39250d9bd88c05f1123ab30713634f1a948b2f8d","datavalue":{"value":"1638442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736206$187916DE-882B-4331-807A-FA50DFC40788","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614a55b49403e2e3bf50a3bd5f95a09602d79f3f","datavalue":{"value":"infinite symmetric groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736206$025A994E-4DB5-4DB7-834A-AB459FAA7F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c8cdbff0edb918eb0c0aaf884494a1a0096db5","datavalue":{"value":"decidable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736206$761E04C3-5628-4A50-BC73-39155A466706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d17d010388cb04935f92af523f2efa4c0132548","datavalue":{"value":"first order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736206$4759FFE2-3BBB-4F66-8D4B-1E361EC72C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"518a277b0a5f2b4ed214e806fa969ca417372c9b","datavalue":{"value":"positive theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736206$BF71E3AF-3D75-4F93-8EEC-9632B3B70C59","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":"Q2736206$E59BBC2C-518E-45E8-9516-7BD67007A115","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35919dc3bb3a8bcdee5677af86291adb11c51c02","datavalue":{"value":{"text":"On the decidability boundary of the infinite symmetric group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2736206$E33A06FD-6320-4710-A0B1-ABC61C005071","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"aaf907ed191a2cb2326f0317df1454183c2e49de","datavalue":{"value":{"entity-type":"item","numeric-id":6769245,"id":"Q6769245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2736206$6411A70E-6095-4698-A862-EBF79B27EBA9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5a600c63cdb8bc8482ec4a6dacdc971df758cc81","datavalue":{"value":"The author proves decidability of the positive \\(\\exists\\forall\\)-theory of any infinite symmetric group (that is, the intersection of the first order theory of the group with the set of sentences of the form \\(\\exists x\\forall y \\phi\\), where \\(\\phi\\) is a positive quantifier-free formula).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736206$A908ECC8-6C98-445F-B270-2A1BD07E1B84","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d7a760754899c4252076421c1bbdd70a575016d7","datavalue":{"value":{"entity-type":"item","numeric-id":593287,"id":"Q593287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2736206$0A50C6C5-C241-433A-878E-E56E8D8C6658","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b10090239a941c6fb16d947d50e0b51dff7c3e2","datavalue":{"value":{"entity-type":"item","numeric-id":4952570,"id":"Q4952570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37dfc7944da119a54488e99a233f9aaf0ba508ad","datavalue":{"value":{"amount":"+0.8432876467704773","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":"Q2736206$E1B658C7-24AE-4242-BA57-7F007C3774D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8145dd1f3e7b01557556b79659284a3621cbc79a","datavalue":{"value":{"entity-type":"item","numeric-id":3699893,"id":"Q3699893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5df7a2daa153a1a6bac5a4771732daa8d528d10d","datavalue":{"value":{"amount":"+0.7840562462806702","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":"Q2736206$FD66A171-0390-469D-A796-4975E30F07B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49906bdb12bdb178e12cb678d2e2dbe6e9cfbfc3","datavalue":{"value":{"entity-type":"item","numeric-id":699745,"id":"Q699745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ff3290063abc23c7c3f05bac7f77108c309e62","datavalue":{"value":{"amount":"+0.7663459777832031","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":"Q2736206$2D1B92EE-43AF-4025-B134-3A80A511E1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772e8d8782bea05fe7b5a5f520f92f946ffa126e","datavalue":{"value":{"entity-type":"item","numeric-id":1311200,"id":"Q1311200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"256a18a42e06bc697d1c9d28f47005da63ce9772","datavalue":{"value":{"amount":"+0.7540169954299927","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":"Q2736206$7FE910C6-C82A-4EED-B2C8-00EDBC7F797D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6826907d692bb6da062da42998f137062210a89d","datavalue":{"value":{"entity-type":"item","numeric-id":1921846,"id":"Q1921846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a671326e5d4ef8ff926a8a23734a65ef7a935792","datavalue":{"value":{"amount":"+0.7533998489379883","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":"Q2736206$B4D9DAF3-5ED7-42CC-B281-9DD183C3485B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the decidability boundary of the infinite symmetric group","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_decidability_boundary_of_the_infinite_symmetric_group"}}}}}