{"entities":{"Q6654523":{"pageid":14265680,"ns":120,"title":"Item:Q6654523","lastrevid":100192610,"modified":"2026-06-05T21:35:14Z","type":"item","id":"Q6654523","labels":{"en":{"language":"en","value":"Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7959730"}},"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":"Q6654523$8221D8EE-1554-4161-99D7-B946B9FDDDF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2eeb613a9f333e4784d699f47c787b38b3383dbb","datavalue":{"value":{"text":"Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6654523$79D099D1-C4F5-4B78-A588-5F29CEAC8494","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"126904c6c58194979f3daf37fd5742c62fa99169","datavalue":{"value":"10.5555/3470152.3470210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654523$A2221512-8504-4322-AD3C-3C7296153BB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f36849b1874dad2ed4c54ecc7d6b4a4c27f76d0","datavalue":{"value":{"entity-type":"item","numeric-id":782554,"id":"Q782554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6654523$C541BD12-F351-4FBF-9C15-2E31CCA3E2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a981040b7cfe2c1a3a7b860b2700c236f2b8a237","datavalue":{"value":{"entity-type":"item","numeric-id":1675162,"id":"Q1675162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6654523$E6F8275F-94A7-4ED6-AA89-32CD3A52611E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e986e57a46b356e61a6b4db9acbb203ad87efab","datavalue":{"value":{"time":"+2024-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6654523$EB171950-E7C2-4E2B-861F-DB409E18C372","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654523$2C04580D-4310-42A2-827C-1A5C8C3BBAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654523$B964FB71-A4B1-43B3-B46B-F62253375A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654523$40302116-CC4A-4053-92DF-1C0198DF235C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4c7958879b77603f64d475828c913aaaecbe890","datavalue":{"value":"7959730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654523$ECF5B7EE-91D5-47C4-8AB2-42E875DFF70D","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":"Q6654523$10237BDA-35B4-4E75-99D9-D8FF4C8557C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ef70489e413e41cb81ba7a70e8fb1e466cffbee","datavalue":{"value":{"entity-type":"item","numeric-id":947493,"id":"Q947493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae5f9bdfe4773218bab12df3ab961b1d9de08040","datavalue":{"value":{"amount":"+0.7454555630683899","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":"Q6654523$41F332DC-E8CC-4DC6-930B-F376B4862EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef5c5191dd04f2394d58e578f49c36b80af68162","datavalue":{"value":{"entity-type":"item","numeric-id":875109,"id":"Q875109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c63b77dfc3a55f6a5be877dc510be3bdfc4da719","datavalue":{"value":{"amount":"+0.7226364016532898","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":"Q6654523$02E6B5B8-C367-4C56-ADDA-300A85274A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3a1d5687fcec85bc759ee23b95c50f66081dc8d","datavalue":{"value":{"entity-type":"item","numeric-id":2990055,"id":"Q2990055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e00664a4cd00761eac064cbdcba8bdc81cd085e","datavalue":{"value":{"amount":"+0.7061554193496704","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":"Q6654523$38FAEA97-3D72-4004-8259-6E721D5E08EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e3591c09fb8c9e74051b3ee4186851c2f9b023a","datavalue":{"value":{"entity-type":"item","numeric-id":705067,"id":"Q705067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30fec171a89a9e09fa9d7014abf0bcc12674fee","datavalue":{"value":{"amount":"+0.6989442110061646","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":"Q6654523$E6232BF0-EC64-4E6B-8421-54C6D1DEBDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d06dc04df624d2612a720dcb8a49ae1366b926c2","datavalue":{"value":{"entity-type":"item","numeric-id":4736866,"id":"Q4736866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af8d75abb25f13cc40898c02eb9509598e2d89d5","datavalue":{"value":{"amount":"+0.6989440321922302","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":"Q6654523$1F58F66A-2665-4D96-8510-F9A8DAE18237","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Presburger_arithmetic_with_stars,_rational_subsets_of_graph_groups,_and_nested_zero_tests"}}}}}