{"entities":{"Q5465981":{"pageid":7495540,"ns":120,"title":"Item:Q5465981","lastrevid":96514910,"modified":"2026-06-05T11:29:05Z","type":"item","id":"Q5465981","labels":{"en":{"language":"en","value":"FINITELY GENERATED GROUPS AND FIRST-ORDER LOGIC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2197831"}},"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":"Q5465981$170DF2A7-58DE-4381-93AF-BC82D5BE694C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a731fa51a705c946a82413d841b8e5e76a60cfb4","datavalue":{"value":{"text":"FINITELY GENERATED GROUPS AND FIRST-ORDER LOGIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5465981$F1D5F0E8-9A0C-445F-9698-C25542840C1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1ed1e1e626197a4963c6c1ac4594bef1be130b2","datavalue":{"value":"1091.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5465981$A9D270BB-17AB-4E1F-8F49-E7616252BE08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"913bc29aa3eead1edc6432a1c3bb77765fc39000","datavalue":{"value":"10.1112/S0024610704006106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5465981$98C7FFB0-7B63-46D0-BBA0-31B679552D29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0e8e2f16e5044e38a454384839ea1083db5e26c0","datavalue":{"value":{"entity-type":"item","numeric-id":559407,"id":"Q559407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5465981$8F055756-A98C-4652-9DC4-894FD804A7D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c8161240b506a95f024b0718a56f9f3e2b0e7a2","datavalue":{"value":{"time":"+2005-08-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":"Q5465981$C7CB08C3-5DD1-4C65-ACAC-BBD77468EC60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5465981$AC382185-B2BC-4958-9E3C-C7FCC6778EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5465981$FB7FAA3E-D692-4165-8075-2F762E995A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5465981$4202411C-020F-49B9-9128-7A658E3925E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5465981$1C3DBB70-7707-4071-8103-5803557D7FCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6687b9c880c0d756c00bdcbec6c9ed9d6f281b8f","datavalue":{"value":"2197831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5465981$4D29EF0B-AF79-4E83-813D-71DC13EF87F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7af5017f4e350454d6f8075bbc124e1cdabec896","datavalue":{"value":"finitely generated group","type":"string"},"datatype":"string"},"type":"statement","id":"Q5465981$912A3F09-A317-4FD7-8D41-815ED2F51B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5465981$15D21DF7-0A3D-4986-AF00-2F7F14C2BCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60667ef69f212452ccee1579ee3fd916f297cf5a","datavalue":{"value":"quasi-finitely axiomatizable group","type":"string"},"datatype":"string"},"type":"statement","id":"Q5465981$1FD6339C-F0CC-4A71-8E4E-1D5DE5D0B3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e71ab30b32bd3f96fc87f72e56dcd7675cfe39b","datavalue":{"value":"\\(\\Pi_1^1\\)-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5465981$194E7EB6-E430-4A5F-BE88-FC71036400E4","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":"Q5465981$4662545B-49C1-406A-871D-5FF218951131","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cc20689be00a8fca60528e9c31d5988b3b2ee67","datavalue":{"value":"https://doi.org/10.1112/s0024610704006106","type":"string"},"datatype":"url"},"type":"statement","id":"Q5465981$18FB2F5C-005A-4B46-9F66-B81E9A40D474","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa1206988e3cc9cabb5aa80dd3d3092958a2cd8e","datavalue":{"value":"W2138252926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5465981$9B58B9B9-70E4-4AEA-9DE3-F5375FA4503B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdaf2eb1bb7ebe61c641e26a50eebe9706eaceb7","datavalue":{"value":{"entity-type":"item","numeric-id":3043615,"id":"Q3043615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ce7751422eb74d047cb2c53304fd7838d58590","datavalue":{"value":{"amount":"+0.824341893196106","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":"Q5465981$2CB2BC43-2C9F-4629-9BA2-7CC4C5B41D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20aa012c0f50f526388c60e16d800650b8191206","datavalue":{"value":{"entity-type":"item","numeric-id":2342292,"id":"Q2342292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d27e252f83a22c34725b5e140f69a79188c54216","datavalue":{"value":{"amount":"+0.7782478332519531","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":"Q5465981$E7C8E669-6F26-45E8-B19E-50CF134A05A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18051fa1a32874c096e2e2b7609fc7cf6e40a8dc","datavalue":{"value":{"entity-type":"item","numeric-id":405903,"id":"Q405903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7177b62c46cb4646e9710d21fda7ff260ff79d7","datavalue":{"value":{"amount":"+0.777641773223877","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":"Q5465981$12A8BD30-29D4-4530-984A-4C7D43FC4EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42ef84af70aadb8e1170a7fdb7ad903e9176c7c8","datavalue":{"value":{"entity-type":"item","numeric-id":5292700,"id":"Q5292700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e70667a5093a54d5970cb77b4ce0491d7a19419","datavalue":{"value":{"amount":"+0.7723916172981262","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":"Q5465981$A7886410-5A85-4B3B-A772-467223599FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"346dc86711dd7454ce46021a5a2068b9ef70f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":2003917,"id":"Q2003917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53b0b4a54a5da5b664ca40e7c05fc2a0f8b8553b","datavalue":{"value":{"amount":"+0.7596918940544128","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":"Q5465981$AFD22746-78B9-4E12-9C25-FC6B6926BD38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FINITELY GENERATED GROUPS AND FIRST-ORDER LOGIC","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/FINITELY_GENERATED_GROUPS_AND_FIRST-ORDER_LOGIC"}}}}}