{"entities":{"Q3674633":{"pageid":5704539,"ns":120,"title":"Item:Q3674633","lastrevid":50010412,"modified":"2026-01-12T15:21:41Z","type":"item","id":"Q3674633","labels":{"en":{"language":"en","value":"Natural limitations of decision procedures for arithmetic with bounded quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3827842"}},"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":"Q3674633$54755F22-784F-4C54-9CB6-2420D7E0F69D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b37c82c46b52288aaa4e948560d42da3b120a400","datavalue":{"value":{"text":"Natural limitations of decision procedures for arithmetic with bounded quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3674633$C6483FB4-645B-4838-897B-A9D08260CA9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18d1ec2722b382c04f23cc8c786b46840660b6cb","datavalue":{"value":"0523.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674633$D89F5A61-CD7A-4133-9E8A-B7BD7718B533","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2e47a8a8d29964ea40322cfa5a6585b79fa1885","datavalue":{"value":"10.1007/BF02023011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674633$57AEC61E-36AD-4AF8-9697-5E386FE4DA47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8059b8b5e7d67e2c7a1c512c2a2acd219f0f77d3","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3674633$8D8ADD1D-E35D-4266-A59C-AE9C010DC002","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3674633$41AE2FBA-8DAD-4F65-AEC6-6EAA7DAA4BAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3674633$9D663238-E568-465A-B3BB-B8C67CD31A83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80e90f2a1dd82bb1fee246aa7ce53b2cf3905dfc","datavalue":{"value":"https://eudml.org/doc/138005","type":"string"},"datatype":"url"},"type":"statement","id":"Q3674633$9A6C6367-6529-4EA9-9A82-9F016B65B6C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674633$06C5FA6E-F5B4-487A-8F6B-805D9D8F9862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674633$FB4E95F6-FDC1-4367-897E-E46B5E377691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674633$7125E4C1-BCDE-488F-98B5-0233303D83B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674633$5F4E550F-FB55-475C-832B-F69A45226C3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41fd77f1e740a0df9f0c2168663c150d91a17df6","datavalue":{"value":"3827842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674633$139B1499-74F5-4A5A-9938-53E820615D76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fff0334c9c6b436f36d555cfac3ecbcadee5bf6","datavalue":{"value":"practical decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674633$3E4AD493-95B1-46D8-A79B-BE489894D220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2ab2edaadcdeb301996e6301a8881119c2f4ded","datavalue":{"value":"unfeasible computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674633$4BCD8649-D0BF-4186-9CDD-BF6EEA54AAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d0a24ca95a49627adaf1c12a1b6517b577bd1ee","datavalue":{"value":"complexity of decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674633$589279A4-2D60-437C-92BC-507AECD806A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674633$C7D41307-24B5-4BC9-9685-047C32E727C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7dcac67602141a4e38b73c800458827697c0521","datavalue":{"value":"concrete lower bounds for the complexity of theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674633$4B4EE4EC-9CF6-4F64-94BA-5D072F7D4301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674633$66895D6E-4C4A-4B0E-AAD2-886DA0162808","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":"Q3674633$E8C27677-A85F-4A7D-A5F5-8318F5766D22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3674633$4F88EB36-0A7B-4AEB-A308-206FA7FF7AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1366bd2322a8359118d05135af2e7062ee0ec3e","datavalue":{"value":{"entity-type":"item","numeric-id":5684240,"id":"Q5684240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3674633$99C6E375-747C-4817-A757-AC4BC172FC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d40a6c68abc64b327bec62fdbf7be9976479850","datavalue":{"value":{"entity-type":"item","numeric-id":1707541,"id":"Q1707541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3674633$D70BCAA1-34BC-46F4-9959-C55768FA0BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e952dd2faed1ce495e26673bd85791133a6639d5","datavalue":{"value":{"entity-type":"item","numeric-id":1171882,"id":"Q1171882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3674633$41637DD9-8AD8-41D6-BC18-57D3963EFA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fe4a72277901c2884c7aa80fe385ea55c31c28","datavalue":{"value":{"entity-type":"item","numeric-id":4132480,"id":"Q4132480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3674633$E0265A49-C2ED-4324-A5D0-B25098621A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15909dd4ad7364cc4941fc2686f33938c378aa2c","datavalue":{"value":{"entity-type":"item","numeric-id":1227003,"id":"Q1227003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3674633$C15759C2-E6B9-4FE5-AB0F-607E65F3A104","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":"Q3674633$E82D33D1-A3FD-4B2C-A138-F06B03DC2F1E","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":"Q3674633$B714A977-B664-45CC-A588-7E5E91AB1297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6178f47fbbfa344f8cdf396e9f7efff797a1782f","datavalue":{"value":{"entity-type":"item","numeric-id":4744264,"id":"Q4744264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3674633$5C25F598-D75B-48CC-9289-ECFBD8157CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b64d6e29dd7f8d28993eaa50dcc21da2a1c1ea8","datavalue":{"value":{"entity-type":"item","numeric-id":3669393,"id":"Q3669393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3674633$048ED446-EB8F-42D9-93D0-6C38E85620A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44615a2c1db2df6156e22a73ca8e46e4789e8fac","datavalue":{"value":{"entity-type":"item","numeric-id":3677753,"id":"Q3677753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3674633$9D45DE06-0A07-4E6B-9485-B5BD99268E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41996d5ff1beb0e371d31c8830e959a5aa8b8421","datavalue":{"value":{"entity-type":"item","numeric-id":3960670,"id":"Q3960670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3674633$CC47D14C-D605-4F94-8A1A-ADFF0DBD7C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4756f7b3e413b96dc6a797669c55c442b5b6f6f1","datavalue":{"value":{"entity-type":"item","numeric-id":4749821,"id":"Q4749821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3674633$0D14D6E8-E361-4D37-8ADE-958E87B884C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3674633","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3674633"}}}}}