{"entities":{"Q6181930":{"pageid":13316818,"ns":120,"title":"Item:Q6181930","lastrevid":56991474,"modified":"2026-03-25T13:38:45Z","type":"item","id":"Q6181930","labels":{"en":{"language":"en","value":"Quantifier elimination for counting extensions of Presburger arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7793031"}},"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":"Q6181930$DA441921-2D9B-4B57-BC33-3C05B579F7B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58ee85bb69eb7c9bbf6dd104bafa0ccf906728cc","datavalue":{"value":{"text":"Quantifier elimination for counting extensions of Presburger arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6181930$79C800DB-6D4A-4AE9-9589-F515CDB44BC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7c22786d78fa02a662c7dd2f2418e3650d67c97","datavalue":{"value":"10.1007/978-3-030-99253-8_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181930$9FA241A1-65FA-4733-889C-C6931D4C3811","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bc30e36f07191a4ecd36454fc0cca4e25306420","datavalue":{"value":{"entity-type":"item","numeric-id":1683926,"id":"Q1683926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181930$03236282-4076-4F6D-8807-6A2CFB77AEF1","rank":"normal"},{"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":"Q6181930$8F1C69E0-09D0-48D3-A640-60E34F7E1A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f99e236d88f37cc15497b2c872ea8381f2a5704e","datavalue":{"value":{"entity-type":"item","numeric-id":1653009,"id":"Q1653009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181930$46F281D1-B2FA-4215-BECC-4200023A4B2A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181930$28E4053B-793F-4417-AC78-829EC4142060","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7341346045afe491aec3502c1a5c7ebe2712f57","datavalue":{"value":{"time":"+2024-01-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":"Q6181930$40C95C5D-6EFA-4F75-AF7D-97D1C085941F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181930$A20EA575-0E3B-4E73-B81B-B7F18BF0FF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181930$41AB73E9-1832-40AF-970B-3D8BA7AB4965","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"876eaf860fa6e65a530717d7b6e62014617df342","datavalue":{"value":"7793031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181930$A225156F-6020-4926-86D9-FB6D5F8E7768","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":"Q6181930$E3BBF050-F6E1-45C7-99A2-4CFAC1087D4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a49f68c42a96765a6719096cc284266bce954caa","datavalue":{"value":"https://doi.org/10.1007/978-3-030-99253-8_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q6181930$BA6488D1-156B-4A9C-9627-91D792F19151","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aebe168540fe33643d9e1219e9dc0759a563dbf0","datavalue":{"value":"W4226061243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181930$0A660420-7DC2-48B3-94D4-CD4F60190607","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b45fc101fe051d355cb4dab8d661aa86ae188a1","datavalue":{"value":{"entity-type":"item","numeric-id":5527816,"id":"Q5527816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181930$A73351C5-2B07-4080-B447-DAFCEB7BC89B","rank":"normal"},{"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":"Q6181930$659CEB00-8582-42D6-B3D1-F7525F535FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74eec834971a75b92aae841b2c83f9c1a887997","datavalue":{"value":{"entity-type":"item","numeric-id":1159661,"id":"Q1159661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181930$40C2C9DD-E4E4-40F1-AF04-B57336AF0C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a01a0683f1f87eb561369e75debfadb9bb2b4954","datavalue":{"value":{"entity-type":"item","numeric-id":2949452,"id":"Q2949452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181930$0B8BEA33-E92F-4B65-9DEE-88025F01753C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a2859796010e0baaa0507a597ea91ca741360bf","datavalue":{"value":{"entity-type":"item","numeric-id":2096441,"id":"Q2096441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181930$1020562F-FEE7-4211-888D-6249046D3EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9edfb079fa39158f629aa59c382bdc3b0fa532d","datavalue":{"value":{"entity-type":"item","numeric-id":3984397,"id":"Q3984397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181930$1B616F40-98CE-4604-A071-7E73E59ACE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d3e1f632aa6a45772004d57104ad9109cf2f75","datavalue":{"value":{"entity-type":"item","numeric-id":2492014,"id":"Q2492014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181930$BDEF2F0D-BBF5-4D44-93D1-DD998092A1A8","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":"Q6181930$F29752D7-1EC7-4F58-9D34-F9116FD0C520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d949421472cbfbe5f8ad614bd9c2234484e9206f","datavalue":{"value":{"entity-type":"item","numeric-id":5277734,"id":"Q5277734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181930$BDEF2CEA-7FA3-4B65-8DB6-7CA78C1D64E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e228385446612792a4d90d8ee96321896ab29de","datavalue":{"value":{"entity-type":"item","numeric-id":4640286,"id":"Q4640286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181930$D1D7CF8A-5448-4442-8F0D-2D8A93C9C160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c73915bcd97bc7bb9ece7f65069678107a79a338","datavalue":{"value":{"entity-type":"item","numeric-id":753494,"id":"Q753494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181930$E2E24E3B-FEE3-40A1-83D1-E89D6804F1DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3862a28893d39da92d9fb6a089884e0c6abe3fb","datavalue":{"value":{"entity-type":"item","numeric-id":2949452,"id":"Q2949452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"498246d04839bb45e8874c4b72d04e5687898f0b","datavalue":{"value":{"amount":"+0.8508723378181458","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":"Q6181930$BC5816F5-844A-4D6E-8366-1B37889B522D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc321aed07ee18fb680ff28bfab963ac2b663b56","datavalue":{"value":{"entity-type":"item","numeric-id":3644100,"id":"Q3644100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f1b55f14b48d0d6f2237b60f2bb2f14f493d3f1","datavalue":{"value":{"amount":"+0.823217511177063","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":"Q6181930$9E7826B9-5542-4854-AD14-A4A132E92523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"159994b2b5ed65bbd2e7dbaaf340a96380f2dce2","datavalue":{"value":{"entity-type":"item","numeric-id":4226937,"id":"Q4226937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e84c8f0f013ced1f560990423eb256db39719dc1","datavalue":{"value":{"amount":"+0.8051842451095581","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":"Q6181930$879F072D-D02F-4210-9C48-075DC0EABC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f71ef34dd11c176484ee799cb30974cbd3da1f61","datavalue":{"value":{"entity-type":"item","numeric-id":5108860,"id":"Q5108860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc2a00b0b6563b8958af6286778690cf87aadaa4","datavalue":{"value":{"amount":"+0.7644031047821045","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":"Q6181930$F11EAE11-F243-4042-A110-E7F5B9643541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc74b67466362a761eaafc1cbfbacd397f19e86d","datavalue":{"value":{"entity-type":"item","numeric-id":5277734,"id":"Q5277734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31ad312d7ffeedd2291b409f214d9be6dc3c5ffc","datavalue":{"value":{"amount":"+0.757718026638031","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":"Q6181930$25D3FEA1-4C5B-4710-8732-F0B2CCBC95D9","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181930$7A837B24-AFDC-4E7A-9B11-8CAAB2DFAAB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6181930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6181930"}}}}}