{"entities":{"Q3772178":{"pageid":5802084,"ns":120,"title":"Item:Q3772178","lastrevid":51976391,"modified":"2026-01-20T16:24:31Z","type":"item","id":"Q3772178","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4031630"}},"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":"Q3772178$32F49CA9-C538-41FF-9BE2-B613B8BDC6A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"251c7f80563a1163ed37eee00796711db10f0d86","datavalue":{"value":"0634.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3772178$CF1D6AD8-9DD9-4A70-A0AF-475E61385B7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af421165656b3caad5dddf37027ce32af21714c7","datavalue":{"value":{"entity-type":"item","numeric-id":251979,"id":"Q251979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3772178$E787913E-AB0F-49DD-8CEB-49C34E92AF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2543a8eaf8fe550d37175fe8c637171bfcfa8be","datavalue":{"value":{"entity-type":"item","numeric-id":1850500,"id":"Q1850500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3772178$EBA7858A-813E-445F-898D-B2412CA91F30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3772178$680B2685-9071-4807-A637-3C7F58ED7D32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3772178$866FFB90-241D-43BC-B961-C23C728DFC0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53e1a6cc9391335ad41311c92d66562fa0f03d68","datavalue":{"value":"4031630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3772178$66B8C816-CB4E-4A86-9CE9-9C66ED77E3B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a42ba80a808f4b85d743f4df7d267089c8177eca","datavalue":{"value":"extensions of Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3772178$AC3C3BAF-87BF-458C-8D2C-BDA0EEDCB73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3772178$837D3694-9A7E-4F79-857D-F800281A4F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3772178$60C4B55C-4D32-428E-99A6-56C85630D65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66bf3a0635c20de53dd53ddf3561d332626e15f3","datavalue":{"value":"Presburger predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q3772178$DD446A98-C53E-404F-ACC7-474A866F4648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c360362626414008e9d11d4ee2f6314083b2f81a","datavalue":{"value":"logarithmic function","type":"string"},"datatype":"string"},"type":"statement","id":"Q3772178$3967CA09-7DD2-4346-9E49-3ACF62C9429A","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":"Q3772178$904758C0-1BF2-48AD-B02B-E5517C9383F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a4becb10e26532e7027b9cd185843738385eab","datavalue":{"value":{"entity-type":"item","numeric-id":4508549,"id":"Q4508549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3772178$7E3D7FF2-77E6-4A76-AA1A-255D63482985","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":"90161adfebdf07059e042477153483b9a4eadc2f","datavalue":{"value":{"amount":"+0.9375379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3772178$04D9BE1F-8622-4C97-A964-C3684661DEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"895d0a34485f7c59d3dd731256e902af4a779986","datavalue":{"value":{"entity-type":"item","numeric-id":6135772,"id":"Q6135772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eff00671cd0c529adcdf2c6e99c85408c255a9c4","datavalue":{"value":{"amount":"+0.9324907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3772178$B3C6625B-B91F-4B9C-A6C5-680C55EC6510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60916d3f0c053df611e1a7f88b4cac97033629c3","datavalue":{"value":{"entity-type":"item","numeric-id":4508546,"id":"Q4508546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f05528b22e312a46b4b3b66ac2fc5f7bcba3ca6e","datavalue":{"value":{"amount":"+0.9237142","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3772178$E6FD6302-89D0-46B1-8925-675FADC6318A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d780ee978922a4e1d6202424050017701e3863","datavalue":{"value":{"entity-type":"item","numeric-id":3835447,"id":"Q3835447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6afd5b60dea1f63a81b0615f16e1c6e2f4c1cb24","datavalue":{"value":{"amount":"+0.920712","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3772178$79854BBA-000B-4242-A478-A46BD78543B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ac3a7135a142b7501a1b3ab01b0432427f17b88","datavalue":{"value":{"entity-type":"item","numeric-id":6047721,"id":"Q6047721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b89f38aae85efdb1288ef25fef60389266fa0fa","datavalue":{"value":{"amount":"+0.9198526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3772178$675AF1DB-DE7E-4153-9A82-E1F7934110E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"405c0bc1c111b6d92652b1af1ee1d290b5dcc6fe","datavalue":{"value":{"entity-type":"item","numeric-id":4527928,"id":"Q4527928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2851a36c5c021d309631113647ca1fcb64ed6e","datavalue":{"value":{"amount":"+0.9089477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3772178$98A58903-90B4-4C11-A6AD-35773451034B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc188e67486c3bba51656ae7c1009a78c2a0abb4","datavalue":{"value":{"entity-type":"item","numeric-id":5108850,"id":"Q5108850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30d86cd380c60987dd901058bf59eaa744563b16","datavalue":{"value":{"amount":"+0.90495616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3772178$BDCBD763-91C8-4E9C-925E-71AA956FA0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6cf609e430b6d1ee83cd1923d4bcfd4e2c8038","datavalue":{"value":{"entity-type":"item","numeric-id":2709804,"id":"Q2709804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eddd2294f8c52576a00031e604e7dab2554d4d2","datavalue":{"value":{"amount":"+0.9046923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3772178$ED33D77C-CE54-4768-9346-A7148B8ED835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fed2265ee5d891285a8dabef4192bba60e0ae380","datavalue":{"value":{"entity-type":"item","numeric-id":3075472,"id":"Q3075472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"169e9d7bf5a8d464db3d7719c1cdd294eb8042a2","datavalue":{"value":{"amount":"+0.9036928","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3772178$BA46B0CB-2205-4200-9013-7D60F6A94E5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3772178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3772178"}}}}}