{"entities":{"Q3984438":{"pageid":6014308,"ns":120,"title":"Item:Q3984438","lastrevid":46226110,"modified":"2025-12-24T08:44:11Z","type":"item","id":"Q3984438","labels":{"en":{"language":"en","value":"Presburger arithmetic with unary predicates is <i>\u03a0</i><sub>1</sub><sup>1</sup> complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 26215"}},"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":"Q3984438$D0910F99-7AC2-4CB2-9280-5185E36E905B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c94c588e8fde24dc7bc1cdecfc185840ed029aa7","datavalue":{"value":{"text":"Presburger arithmetic with unary predicates is <i>\u03a0</i><sub>1</sub><sup>1</sup> complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3984438$7F9EC6E7-8349-4AA4-B00D-00AE87E0580B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ddacb738a8de84dbe886165bbed75505b200cf1","datavalue":{"value":"0738.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984438$7444A715-E642-49A1-AC0D-2BB3891CA32F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39bb1d77bf9caea9cfa4a19f559ee099770b3d11","datavalue":{"value":"10.2307/2274706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984438$0A2C4B92-9637-42E7-8709-C93B31AAD548","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddea5ba0eeb9138fb9e2a8de5e2cddb8c80bf84a","datavalue":{"value":{"entity-type":"item","numeric-id":272148,"id":"Q272148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984438$465EB044-BACC-4C74-9053-35ACEF8A12DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984438$19DFFF4E-BC23-4B99-9930-2B1E5ABBEFE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3984438$452F4125-CBB9-4277-B8DA-900CFAA57D7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984438$17F8D5A0-8967-43E6-BFC7-D8364FC1380C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984438$457B6732-07C6-4ABC-B228-128BC1CDDEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984438$EA2C7D1C-CD4D-478C-9411-2B6DF29BCBF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f6bc66ceb2bb6df8c028df31b286fce7ed2f697","datavalue":{"value":"26215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984438$38DEF22C-1421-41EC-A0E9-6D21DC3F7B71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a42ba80a808f4b85d743f4df7d267089c8177eca","datavalue":{"value":"extensions of Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984438$F3B7DE8C-5255-49DB-AC26-6EF0DD26B42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984438$76976F9F-400E-45F1-8C4F-CD1EBE9AB8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d90215638f492310d32ff3958cec40351f27863","datavalue":{"value":"complexity of logical theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984438$FD1EA1C3-EA16-4D86-8F3C-8F113C940172","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":"Q3984438$3C7D39E3-DBAA-4315-8682-B3AE1B55FC8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d67c3b51e4000c251455c320dfada536c20e6f9a","datavalue":{"value":"https://doi.org/10.2307/2274706","type":"string"},"datatype":"url"},"type":"statement","id":"Q3984438$792729F3-C27C-487F-B58E-1DC759C0DB43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cde77b36785e6943e192e46ff032d4a6f28f61dc","datavalue":{"value":"W1980102547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984438$86988E68-8D44-498B-A09F-77EDF433B359","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984438$0EC07477-F177-470D-9DB4-9FD204B763E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51636baa00b00ee9af6bbcde64f417bff981286","datavalue":{"value":{"entity-type":"item","numeric-id":792083,"id":"Q792083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984438$91AA14B5-09C1-462D-AC9F-41BAC923FA34","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":"Q3984438$F761B418-7918-450B-823A-0BDF821560AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e30046a469f32fe127b70307338e00495134df4e","datavalue":{"value":{"entity-type":"item","numeric-id":365661,"id":"Q365661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89120341a7d139c6764f2217ecf1e2abf807b87c","datavalue":{"value":{"amount":"+0.8310413360595703","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":"Q3984438$A2062BB2-37D1-4855-849A-E5D776127CA3","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":"5421c2c798b7b7442c3d83ab185fec2476ccd8ae","datavalue":{"value":{"amount":"+0.7687143087387085","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":"Q3984438$D406B3E8-3DEF-462D-9F86-DD9BF7C0D9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fd3e5debe75f81f36ede20b27d7ae4824a0bfd8","datavalue":{"value":{"entity-type":"item","numeric-id":1361890,"id":"Q1361890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd581393d375f66351a08b1a3a9ed056b5c33f66","datavalue":{"value":{"amount":"+0.763813316822052","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":"Q3984438$0E4B74A3-32E5-438C-9E7A-F097C9C5D248","rank":"normal"},{"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":"f473b1637233a5959066e8f81fb20c37dac5fba9","datavalue":{"value":{"amount":"+0.7466825842857361","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":"Q3984438$14DB399D-91C0-467C-96D5-B95AF74FFCFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3984438","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3984438"}}}}}