{"entities":{"Q6614042":{"pageid":14225199,"ns":120,"title":"Item:Q6614042","lastrevid":100260530,"modified":"2026-06-05T21:42:58Z","type":"item","id":"Q6614042","labels":{"en":{"language":"en","value":"Groups definable in Presburger arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7921874"}},"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":"Q6614042$A90C7EDF-A1C0-4329-8BCF-DD3CDBED3086","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"679735a6e53082c146dbdd92293c4bc3f6eca5c8","datavalue":{"value":{"text":"Groups definable in Presburger arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6614042$D473F3DB-F8D4-4626-BE5C-6F43B11CABAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65ae0aa52dc22922adf86b2b1568ea4d14b89069","datavalue":{"value":{"entity-type":"item","numeric-id":3466134,"id":"Q3466134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614042$6AC0559E-CA51-4927-A757-46C2EFA9517A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614042$E93208D8-D68A-42EB-821E-9837181B050F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a97b222c279d09c7408b22b57194090b88c27b94","datavalue":{"value":{"time":"+2024-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6614042$B271BB8B-7AFE-4161-9065-7D165C027D2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6614042$51BB4ACC-704B-4AA9-AF93-4B08A566F9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6614042$42E42419-16E9-4409-B380-D4D0FEA3204B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4e2aa5b7e34e0c988d04ecf732a3cd8c9233b11e","datavalue":{"value":"13L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6614042$1D67A157-4C7B-457E-9163-204CE2143CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6614042$347B2C3E-1E07-4225-B282-B6906948C223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f4d97f788112bb319e1ce84c40c80e26fe1c09f","datavalue":{"value":"20E34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6614042$C010A1EE-6E4F-45EC-A161-49EC308FE2AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"091ab4a020ab579bcc9247fd61369292eec2864f","datavalue":{"value":"7921874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6614042$50BF4DAF-9DB3-461D-98E8-C84CF507AF04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bffa2562cdcda6f2d37a86e2e286fdaac2949a96","datavalue":{"value":"groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6614042$D19E6F5E-26D8-43BE-B52D-4A24D4F2046A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6614042$2B9156F8-CA9C-41E5-8688-DDC5067FDADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6614042$6641EB97-934C-48E9-868C-E02C882B8AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6614042$D2BFF2D8-8DFC-418D-B765-11D2F50CF3CF","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":"Q6614042$91960D44-38CB-4033-ACD8-77C088CCB3AE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"44450791a1eacbb6ee7410b0ca607208f868a285","datavalue":{"value":{"entity-type":"item","numeric-id":4457729,"id":"Q4457729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614042$975F5E8F-C44B-420C-B03D-2B614BD11C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024422529b86cd0b65d64f35947d894a26d71c75","datavalue":{"value":{"entity-type":"item","numeric-id":4642703,"id":"Q4642703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614042$052C395E-53BD-46C2-99CB-85B5297F0A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94b77d77190b4fbd07413b3abb8694a569504dd1","datavalue":{"value":{"entity-type":"item","numeric-id":772193,"id":"Q772193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614042$4538D49E-B594-4A35-A4D3-63A8EEE122A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59609ea1e5794349ee868d03da47b14fe75690be","datavalue":{"value":{"entity-type":"item","numeric-id":2373696,"id":"Q2373696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614042$8F6EC10B-A60D-4553-8CED-740C39AE6DB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9403c6e659b4ee42b0d75c4499763a2f85852ba8","datavalue":{"value":"10.1016/J.APAL.2024.103507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6614042$9349A85F-093E-403E-A81A-7C5AE1F40E7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Groups definable in Presburger arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Groups_definable_in_Presburger_arithmetic"}}}}}