{"entities":{"Q3644100":{"pageid":5674006,"ns":120,"title":"Item:Q3644100","lastrevid":50810789,"modified":"2026-01-15T06:30:29Z","type":"item","id":"Q3644100","labels":{"en":{"language":"en","value":"Effective Quantifier Elimination for Presburger Arithmetic with Infinity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5627936"}},"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":"Q3644100$62BB4D97-AF7A-4B6C-B162-BDE4AD15B3A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f9e1091c1b78149513689bd6c81f12e035a9889","datavalue":{"value":{"text":"Effective Quantifier Elimination for Presburger Arithmetic with Infinity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3644100$2D69353B-F450-4E99-96AA-2BDA774EDA06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c94e6fa1000d4f9c2b37417c2bb16eb731e37d6e","datavalue":{"value":"1260.68482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644100$CDCDC8F5-E71E-4EB6-8964-D605783F4030","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb218adc2d09b490b7267d93714f30838956d28b","datavalue":{"value":"10.1007/978-3-642-04103-7_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644100$E6C75C83-0A7C-487B-9EBA-4C1BCE1FB4F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"caefdc2ec0149f5ea19b0ef3938409e39c57b960","datavalue":{"value":{"entity-type":"item","numeric-id":944999,"id":"Q944999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644100$B465599F-0258-4F9E-A7AF-5D9D4D824707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88fef90536607302e7947311cb2b9ecb62ed5ea7","datavalue":{"value":{"entity-type":"item","numeric-id":349839,"id":"Q349839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644100$F131B0F3-1CF0-40FF-B85C-BC3807ACB0AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3457386823daa10db7f266a7a58ead5c5ae2053b","datavalue":{"value":{"entity-type":"item","numeric-id":2829986,"id":"Q2829986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644100$A224258D-4FF4-49EB-90E1-4FDBBD7FB612","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"768f67aa8c56a592207b631de1166ee159c71adc","datavalue":{"value":{"time":"+2009-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3644100$18543A65-6C89-4D22-A6D4-86C9604C854C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644100$8C1993B5-A5AE-43B6-BB05-61504CE47764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644100$57E8EEC3-44D2-44D1-9161-695066C3FC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644100$D7F3A0EE-1314-4363-87CE-68A8262F37B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644100$6D5F2156-C40C-46E9-8BB1-941BC381AF9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68891f71952d2b3def7f722a669420c2e885c534","datavalue":{"value":"5627936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644100$5342EDD0-9DA7-440C-8ABC-C16BB99A7FB3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644100$93EA6320-3A8D-44DB-8576-D5E74BB7B61E","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":"Q3644100$7165ECCC-9A0F-4E37-A841-D6B64D47F016","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a101840bf8900d69c0d43ea92af609c0bdfce990","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04103-7_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3644100$B49481D0-705E-4FBA-82FA-32697AD1A7F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29efdcde5523e4077d4eeda703cc25f5c0313a4d","datavalue":{"value":"W1851760673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644100$2EF0EBF9-B71A-4B3A-89EA-A93D205FB871","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"448e5abb05ec0c10b64746c80e216ef9d23df3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5674430,"id":"Q5674430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644100$1F17A27D-5CC8-43FC-9DE2-7848CCBD2026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644100$5A54C3BD-3246-4ED1-A61A-867FC778D6E8","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":"Q3644100$9D5928D5-C8DD-49E9-88EE-C667AE116306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27124d54cb51e845e43d7ecd27812d025e0950ff","datavalue":{"value":{"entity-type":"item","numeric-id":5402572,"id":"Q5402572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644100$721A3E89-CCDE-4687-B6B4-60F143E1ED8F","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":"Q3644100$7335AB26-C750-483B-8909-59A1E95079F5","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":"Q3644100$8CFB5653-D4A6-4E16-B2F5-450E1C500930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87cfbbc936b1a25d81546a8177f987d200817aad","datavalue":{"value":{"entity-type":"item","numeric-id":945000,"id":"Q945000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644100$242C6326-5006-49C1-BFC5-55B2A0FF53AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"615ff92fabf59f974cfcaa697cc504dce937c30f","datavalue":{"value":{"entity-type":"item","numeric-id":3508492,"id":"Q3508492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644100$A0B2636A-8C68-43CD-BA6E-6FEDF5530A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9377b2daeb30d37de0d3649505ecfe4f7c25d222","datavalue":{"value":{"entity-type":"item","numeric-id":5464722,"id":"Q5464722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644100$9C7FC952-025F-43CD-8ED5-AE85E73F32EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef552af965d052b8ba64fe1fd78aa90edf47625","datavalue":{"value":{"entity-type":"item","numeric-id":5394619,"id":"Q5394619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644100$BEC33E8B-C2BB-45D2-8E41-436A91C0A39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e690a622a61afeb0c2a7c388c1cf18ef89252c9","datavalue":{"value":{"entity-type":"item","numeric-id":861705,"id":"Q861705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644100$B1D62AA3-53CC-4072-9C74-B3650426F541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9378587a1115a0250a2395ebd434016b1bcd6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4124795,"id":"Q4124795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644100$43427496-3A5A-4773-84CE-FE066E3CB10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761b4fb149d65ccc6cbdebe305cc6df78b50fe79","datavalue":{"value":{"entity-type":"item","numeric-id":1368694,"id":"Q1368694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644100$AEF1DEF2-726C-423A-B261-A9AD9ADE8EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cfea5fcebfb4162710425692e427cbf2157a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1103602,"id":"Q1103602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644100$1936116D-0DCB-4552-BE74-0E1C57555D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33ee1e9bddd5e600f5b1d8c8cfae347a7631b92","datavalue":{"value":{"entity-type":"item","numeric-id":3140556,"id":"Q3140556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644100$B33D7240-2AFD-49C5-9EA5-C6DB031EE28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add4491e8fd66ac82b780ec4494c2c2d28510122","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644100$B04039B0-7F89-4F53-BE7A-7C696BDB6F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a6f95af143e58ef934fa5625132cc5fadb4225","datavalue":{"value":{"entity-type":"item","numeric-id":1582303,"id":"Q1582303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644100$BAB601E9-2A40-43D2-BAE8-4BBA628BF324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"109743b1c3a67ab5578f5e6800ed821d5157ccd2","datavalue":{"value":{"entity-type":"item","numeric-id":626879,"id":"Q626879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644100$4EAF6181-E01F-4331-B0F8-3C7A28EA7A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74607d01c06049a8aac2fe2de49727d33a53eef3","datavalue":{"value":{"entity-type":"item","numeric-id":1368693,"id":"Q1368693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644100$4AC5D981-2957-48FF-A0D2-6F12B2F55793","rank":"normal"}],"P1643":[{"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":"c1ec2009acb93a396482d8ccd769c672e66e93a1","datavalue":{"value":{"amount":"+0.8295764923095703","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":"Q3644100$C9314D91-6AFA-4A00-8B45-3BCE5E5B386F","rank":"normal"},{"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":"05fb8a0ced9f8fc0519c445a26646612a807cc97","datavalue":{"value":{"amount":"+0.798689603805542","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":"Q3644100$E8164F33-F077-431B-B7EA-EBD93D6BF6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd7b8bb72e0c80f6e372a8a89999c6bac81cba3","datavalue":{"value":{"entity-type":"item","numeric-id":5387851,"id":"Q5387851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c55a2866c728fe4f5ae2a87ab3f317542d7ce538","datavalue":{"value":{"amount":"+0.7818559408187866","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":"Q3644100$7CC40826-E294-42F0-8EC3-34CC1410AE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b718697ca928d8c19ed63c7a311e86c047e483b7","datavalue":{"value":{"entity-type":"item","numeric-id":5402572,"id":"Q5402572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e48326c0b30482bc60608c59ba868184d96e503","datavalue":{"value":{"amount":"+0.7740292549133301","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":"Q3644100$6CE795C6-412B-4DB7-B9E2-F876F12B18D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65b8d4a41d7b58615ce21e787d0e566caa1880be","datavalue":{"value":{"entity-type":"item","numeric-id":4427902,"id":"Q4427902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bca3203746369e3581454c65e4554e1281b96e7","datavalue":{"value":{"amount":"+0.7479392290115356","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":"Q3644100$1259FD20-D5BB-4A61-8CE0-DF0A419F58B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3644100","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3644100"}}}}}