{"entities":{"Q5108860":{"pageid":7138434,"ns":120,"title":"Item:Q5108860","lastrevid":100251245,"modified":"2026-06-05T21:42:08Z","type":"item","id":"Q5108860","labels":{"en":{"language":"en","value":"Parametric Presburger arithmetic: complexity of counting and quantifier elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7197321"}},"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":"Q5108860$7D93BE23-2AFC-4457-872E-7E8D3995870B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6297c3a2d65dfd20405cefda74788493594566f4","datavalue":{"value":{"text":"Parametric Presburger arithmetic: complexity of counting and quantifier elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5108860$8F83AA33-675A-4BF6-AC2F-5A09A8EDA838","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108860$BAACF8AA-E097-41C5-B4F1-32309AC914DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63b133e2f3cdb47e2584c85d3d40bfb2c7f5272d","datavalue":{"value":{"time":"+2020-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5108860$C03B0D79-DC20-454F-9480-0F5937C3C22E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"894eeed503d161ba3d3606af625d7eca40291490","datavalue":{"value":"https://arxiv.org/abs/1802.00974","type":"string"},"datatype":"url"},"type":"statement","id":"Q5108860$DBE59BE3-C39E-496B-B497-A19D2316554F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"16f470926aad9f8371f2bfe7c1b94b073620dec0","datavalue":{"value":"http://hdl.handle.net/2027.42/151911","type":"string"},"datatype":"url"},"type":"statement","id":"Q5108860$853E0E9D-A2E3-403F-991D-86669D6B21C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108860$B5272EB4-F7B3-46E0-87EE-129EEADE3023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108860$E8AFACCF-E4CB-442E-B61E-44D0CCDAF821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108860$B0F4CCA7-BA4B-4CF0-98DA-9BCE1E10BF8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"853677502985b3a2974557a3b9df6cf1818978a8","datavalue":{"value":"7197321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108860$CE41E082-DA36-4AC3-915D-AD5B01CB44F1","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":"Q5108860$B2E3AE31-9F9B-4A8E-B54A-429338FE52B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd52eeb7f45618dc0751d275c6be2ec349764404","datavalue":{"value":"W2971435283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108860$3024954F-7DBC-4A09-BAE3-A6579E8C25B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53c4bead7070468cd29ee73be2e1967ffdc3c8f","datavalue":{"value":{"entity-type":"item","numeric-id":4698099,"id":"Q4698099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108860$1E216068-3E35-43A6-BEB7-842DDDAE6A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dc49284b0e35cc6a747c94d24326beaf80371c6","datavalue":{"value":{"entity-type":"item","numeric-id":4419572,"id":"Q4419572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108860$92E18E56-332B-4E7B-BD28-F5ED5D4F9BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20a96ca04cf70a960c7deb97df393184fbab2d69","datavalue":{"value":{"entity-type":"item","numeric-id":4645009,"id":"Q4645009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108860$325DCA75-2CD4-45A0-942A-4D2E024CDFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175c1c6339231426570e05a46d3193da46e70701","datavalue":{"value":{"entity-type":"item","numeric-id":4401926,"id":"Q4401926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108860$025413E1-CFE4-4149-8DC8-A88D2813BBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca8ae3740fcfb5a7e9f346758fcdd72ac5497a7","datavalue":{"value":{"entity-type":"item","numeric-id":4082296,"id":"Q4082296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108860$C42C0BA9-254F-49BB-B964-37457D520F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a6c46de7fad242f6013955092b60f17000cfc62","datavalue":{"value":{"entity-type":"item","numeric-id":5108127,"id":"Q5108127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108860$25BFF5FE-DBD4-4778-9387-E17E6BC61F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d94c553b83f0a7713e740de3f15b3f82b8fef527","datavalue":{"value":{"entity-type":"item","numeric-id":1115858,"id":"Q1115858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108860$A7F1133A-8E64-4610-8C75-FCFA9DD39451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2497cd02ca7f5ef9df7618b1219fe17cb4a819cd","datavalue":{"value":{"entity-type":"item","numeric-id":5919985,"id":"Q5919985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108860$C5B3A624-00F3-404E-A01F-82DE5CDC80E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc7ce055161077ed6f3aeba8784aca561bea80b0","datavalue":{"value":{"entity-type":"item","numeric-id":1247317,"id":"Q1247317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108860$D30C274A-3B10-4558-ACAF-2870C1C58A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108860$70A73AFD-92AC-4AA1-A8CD-BA14F16CA267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baef0d780dad2ada46115132cc6cd9b3423d4ac7","datavalue":{"value":{"entity-type":"item","numeric-id":1192337,"id":"Q1192337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108860$CDDC5154-9E26-4FA7-BB0F-683EE25CEFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abaabe4546513c269b5f6efe6fb13454fd22cb41","datavalue":{"value":{"entity-type":"item","numeric-id":405135,"id":"Q405135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108860$805383EE-1CED-4AA2-96C9-4FFC31C6CCBC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"17ea2fd9ef4c4f42c0d1fb4142ecf04e50f81bf0","datavalue":{"value":"Q127308677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108860$EFF3D034-E55F-4B29-9C55-A1009633CA64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb9f2d05bf508cfd1ba8c7522dd58892dd853542","datavalue":{"value":"10.1002/MALQ.201800068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108860$BDB581D0-A4DC-4CA2-AEA2-CCF53956A177","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487232138a4be79b274e9de8491e030da91a165d","datavalue":{"value":{"entity-type":"item","numeric-id":4645009,"id":"Q4645009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2a34e399588d786ebffeac68690c5df5ae7902","datavalue":{"value":{"amount":"+0.825468897819519","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":"Q5108860$6AB4948F-C423-4A6C-9EC1-523FC71982D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bb910c9f1856fed2a2dc79b3c7be4d945a14372","datavalue":{"value":{"entity-type":"item","numeric-id":1661676,"id":"Q1661676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc47e54bc052cc9b9f870c5cf40437619697fdb8","datavalue":{"value":{"amount":"+0.7913907170295715","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":"Q5108860$B90C50B5-72D2-4B03-8EB4-7F2BAA8B2104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bad403f7889f525e8935c134075c7fc4c86ae3c7","datavalue":{"value":{"entity-type":"item","numeric-id":3340842,"id":"Q3340842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36767f413559f6e999508cdaa3dead4368302304","datavalue":{"value":{"amount":"+0.7664352655410767","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":"Q5108860$FEAC5BA9-AD95-4EA8-97D3-11A284391E99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parametric Presburger arithmetic: complexity of counting and quantifier elimination","badges":[]}}}}}