{"entities":{"Q1361890":{"pageid":1372629,"ns":120,"title":"Item:Q1361890","lastrevid":46508547,"modified":"2025-12-24T22:43:05Z","type":"item","id":"Q1361890","labels":{"en":{"language":"en","value":"Complexity of Presburger arithmetic with fixed quantifier dimension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1040696"}},"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":"Q1361890$9B66825B-4A15-4B6D-AB10-57BA52E6339B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df77484abd1205568e1a6de623f87a3ecaf85bee","datavalue":{"value":{"text":"Complexity of Presburger arithmetic with fixed quantifier dimension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1361890$3807B327-DF0B-4FCA-8B30-EAEFC9366638","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"736fd0e2397c166652984ca90f74572e3e254ddd","datavalue":{"value":"0872.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361890$2E32DFA1-F20C-4FA5-BD55-417638C0E21C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e5f94e1d4efae822500656619de5825e1c93754","datavalue":{"value":"10.1007/BF02679468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361890$86BC8B92-FEC3-42FF-A6D8-EF969530A96B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361890$A984DFD9-23E7-4220-B350-655E99ED4F5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c4bbc1ffd4ac3c02bfe23ce3ee5bf6cda40b3ee","datavalue":{"value":{"time":"+1997-10-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":"Q1361890$9F54CDA9-988B-4A4C-9824-8DC8763C3D55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361890$662A498D-95C0-47F3-B249-507720AFB8F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9ef54220b2ea69d6ecaf7fdb3177ff363257281","datavalue":{"value":"1040696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361890$12CFA5E6-A383-4D1D-B10E-7868AE167B2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361890$867A3E52-9C90-4F07-BD3B-C7D137732716","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98e020d336f4040f2344877fb27890751f480383","datavalue":{"value":{"entity-type":"item","numeric-id":1052096,"id":"Q1052096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361890$CB280D59-72E7-4915-B528-E1660E705957","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":"Q1361890$94189643-1C76-4F8C-9A89-E64E93515FC6","rank":"normal"}],"P223":[{"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":"Q1361890$E944D92D-FFF7-4156-932D-F3DB500D00E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eefd7e7dc86c1755a8db4c6825e6e9fdeb6d39","datavalue":{"value":{"entity-type":"item","numeric-id":3619797,"id":"Q3619797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361890$047C5575-3567-40D1-8B64-CED71A64B6A7","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":"Q1361890$EFCEFBBE-3CA5-4547-AF3D-6488190AD713","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":"Q1361890$20627113-6B88-49B4-98AF-5FF3F2EB3ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfc1e42883144705fb7eb08ad5b04cd023c2372c","datavalue":{"value":{"entity-type":"item","numeric-id":1163534,"id":"Q1163534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361890$924B2D7F-DDCC-40A3-A342-1A38AA8068A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361890$0F9C90E5-C113-4E85-8848-60496BB9452A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b369429581047e1dabd46e6eafe270ef5ac985","datavalue":{"value":{"entity-type":"item","numeric-id":3037135,"id":"Q3037135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361890$4F2F8B59-926E-464A-8C9A-D589F688672F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361890$28EFDEF0-1EBB-4C98-82F5-097AACD7303E","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":"Q1361890$9B9464F4-1423-4F1B-B67B-5360EF0D8FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbefacb8c8f33b0f1be9db7004061a91697d97bd","datavalue":{"value":{"entity-type":"item","numeric-id":3340842,"id":"Q3340842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361890$42C124AF-474B-416B-A366-6C5161600AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361890$7CC5F0C1-0DE3-418F-9E2A-B4517EDF220B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3065df023fcb2411980df376c6fc4777f5d291a5","datavalue":{"value":{"entity-type":"item","numeric-id":1241440,"id":"Q1241440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361890$F5DBB380-3ACF-4ED3-83D2-808441438E2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8a617aaf7ed4596b6f5018c727531b146cb7a2e","datavalue":{"value":{"entity-type":"item","numeric-id":1115858,"id":"Q1115858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c2d5d392571580fee8d495dd459c694cbd996aa","datavalue":{"value":{"amount":"+0.8602875471115112","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":"Q1361890$2AC9DD81-66D1-4BDE-8AAE-81C3966538C8","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":"abb61aaeb10e24c2e7fefb60080e09afa896f0e1","datavalue":{"value":{"amount":"+0.8199020624160767","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":"Q1361890$077DE6AC-63B8-4C18-907D-088D1DD2496A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c9e82815c99d3da47eafea6716622144a536960","datavalue":{"value":{"entity-type":"item","numeric-id":4635632,"id":"Q4635632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49daacc1a1b8d8c91f367cd92c8ad107fe5ec1d5","datavalue":{"value":{"amount":"+0.805243968963623","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":"Q1361890$5CBD7DB0-EC17-4DE7-A040-C71E69C2A57F","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":"26d49a8b865141386035858f9bd6835e9d581866","datavalue":{"value":{"amount":"+0.7904005646705627","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":"Q1361890$2EABFA06-308E-4270-91F5-6D23D3F25F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c41223709415a61a21dbc689f33b895a2c37a8","datavalue":{"value":{"entity-type":"item","numeric-id":1115859,"id":"Q1115859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2a25ad9e36faa85f5540a9f8e16df07df08bbbd","datavalue":{"value":{"amount":"+0.7786369323730469","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":"Q1361890$E4FDD17F-A681-4439-9E28-C8E02D6AFE9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1361890","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1361890"}}}}}