{"entities":{"Q920964":{"pageid":922812,"ns":120,"title":"Item:Q920964","lastrevid":65361198,"modified":"2026-04-12T02:03:52Z","type":"item","id":"Q920964","labels":{"en":{"language":"en","value":"Algorithms for sentences over integral domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4164794"}},"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":"Q920964$AA7EFC84-08CC-48A6-AD0C-F3C252D0B518","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e02ea38c753a2c9a832a3649124ba5a9de99d019","datavalue":{"value":{"text":"Algorithms for sentences over integral domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q920964$0EC48D96-B197-496A-AB4A-25FA5C785175","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94a32ef15baddab708f524e216d0237ec82ea1fc","datavalue":{"value":"0709.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920964$1FB4F5F0-7DC8-40AC-A65A-AADBC7AD27F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7cbff25c71296bc08b2b2a9f662351eb9fa4e4a0","datavalue":{"value":"10.1016/0168-0072(90)90069-E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920964$2B684E06-BFC6-477A-8D22-A59C9FBBCDAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d56612cb84f7069100c4cabafc4cc7f11973342","datavalue":{"value":{"entity-type":"item","numeric-id":914554,"id":"Q914554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920964$CD4520F3-A67F-424E-85F6-8F1A67601D48","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920964$17DF3A74-7821-4FC3-86D5-140A30623187","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q920964$A2DE3086-7AF2-4DB3-9D09-0B80EF166A62","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"feb836fb66b314a932f283dc6497387b1f398453","datavalue":{"value":"Arithmetical sentences are constructed from quantifiers, equality, logical connectives, constant symbols 0 and 1, and function symbols \\(+\\) and \\(\\cdot\\) (multiplication). An integral domain is an associative- commutative ring with unit and without zero divisors. The paper contains two results on decidability of arithmetical \\(\\forall \\exists\\)-sentences over integral domains. Theorem 1. There exists a polynomial time algorithm deciding whether or not an arbitrary arithmetical \\(\\forall \\exists\\)-sentence in disjunctive or conjunctive normal form is valid in every integral domain of characteristic 0. Theorem 2. The \\(\\forall \\exists\\)-theory of integral domains is decidable. (The author does not know the complexity of the corresponding algorithm).","type":"string"},"datatype":"string"},"type":"statement","id":"Q920964$532A5AD6-8808-4D53-9AD4-0B2B6288F4A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920964$CEDA94C4-3209-4DAC-91C7-165F1F7B490B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6aea059df3e3cd70c2ca02fcd5ac7da4258f39bc","datavalue":{"value":"4164794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920964$4669195D-08DE-4429-AABA-FC285A1F2A6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f902d0442a4fe583a3cb8aaad8e4664c8458cfdf","datavalue":{"value":"decidability of arithmetical \\(\\forall \\exists \\)-sentences over integral domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q920964$B682781E-1774-43A0-AE78-755B154803EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q920964$16870D5F-23B5-4AC5-AC27-549C854908EB","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":"Q920964$80C7A805-A165-46BF-8D33-791E084856CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38af94e85d3150b56596cccfd2f262da6745dec7","datavalue":{"value":{"entity-type":"item","numeric-id":2539067,"id":"Q2539067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920964$DBBFE30F-4150-44BA-B27E-C0DA84F76C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a059b13e39e4ec64bc523dcb17f0ee6f373817a","datavalue":{"value":{"entity-type":"item","numeric-id":3952163,"id":"Q3952163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920964$86599C47-8995-434D-9AF8-3753AA351DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ccf9a2c48ecb7797b3a19d24710f3211eecf954","datavalue":{"value":{"entity-type":"item","numeric-id":1078247,"id":"Q1078247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920964$88C0D8AA-6CB6-4EA6-BCBC-B00E1BBD1DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175c1c6339231426570e05a46d3193da46e70701","datavalue":{"value":{"entity-type":"item","numeric-id":4401926,"id":"Q4401926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920964$D92F04FB-0480-47FC-BEDB-A7BEF72FAA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6482fda869c7df0ed32fd6ade8f790a1ff04cc","datavalue":{"value":{"entity-type":"item","numeric-id":5585020,"id":"Q5585020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920964$A31A4828-E424-4D3E-987D-1AC08FEC191F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1a6784b2890935fe040a10bbb3bc8498038646","datavalue":{"value":{"entity-type":"item","numeric-id":3679295,"id":"Q3679295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920964$625451C4-8244-4911-AB8A-11E60ADB646D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c4de3433ef280cb6e6137692a6cc60c58a31df3","datavalue":{"value":{"entity-type":"item","numeric-id":1348530,"id":"Q1348530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920964$6B7D03C3-009E-472C-A961-230A6665EFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2496d76f7d7fec9d96f39f6e3a59ed93c78d8e95","datavalue":{"value":{"entity-type":"item","numeric-id":1165896,"id":"Q1165896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920964$AEDF3858-CAB8-4C35-A17E-188F673D2F88","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":"Q920964$6DE9516D-3078-442F-9160-BE2A0A9F1C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90280e4a2bbf7c1a6722d2784889488a42930a7","datavalue":{"value":{"entity-type":"item","numeric-id":3947744,"id":"Q3947744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920964$7E2708B2-3529-4EF5-AC7C-A6F561D14842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017d86aaa66b33704c71f19ede945ef198706108","datavalue":{"value":{"entity-type":"item","numeric-id":3720563,"id":"Q3720563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920964$0D2A56CB-3935-4008-A57B-D556417B239B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a494399422a24ac02206b48bdb1e38f4c7802d2f","datavalue":{"value":{"entity-type":"item","numeric-id":3784041,"id":"Q3784041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920964$E8CC9A81-580A-4A83-85F6-3BE19BE7B433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca70c70d71ca60787f3ed9116d7acd79e45531b","datavalue":{"value":{"entity-type":"item","numeric-id":1898469,"id":"Q1898469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920964$CDC8DF3F-A302-46E6-8B4A-E1960933AFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d68469f9d4d555de93d0169f83fa16c3065ada5e","datavalue":{"value":{"entity-type":"item","numeric-id":5202171,"id":"Q5202171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920964$7075C738-CE26-4FE1-8D13-B0A421FEDDA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3160641748b5637dda1463e18b010bfbccec93d2","datavalue":{"value":"https://doi.org/10.1016/0168-0072(90)90069-e","type":"string"},"datatype":"url"},"type":"statement","id":"Q920964$8B6CAC07-EBD5-4E29-A6AF-0BC05EF0A143","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a21b7d16ce09bd719dfcf7324203bded40146634","datavalue":{"value":"W1969798068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920964$F3A9416E-8471-4354-8F29-88BC7211EE6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33677a5c41b7edc634bbf7da9997aee0f8f6dbce","datavalue":{"value":{"entity-type":"item","numeric-id":1286369,"id":"Q1286369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72cca62a328ac80e775307ee5f4d9bd8dd85cb66","datavalue":{"value":{"amount":"+0.9345416","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":"Q920964$46059C23-2C7C-4390-B65C-B7FC81663F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19cc85bb773f5184b617ed3912ebb9456a38df64","datavalue":{"value":{"entity-type":"item","numeric-id":1187032,"id":"Q1187032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f907734b9946bf809489a33ce59fc86d1a1888df","datavalue":{"value":{"amount":"+0.8787168","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":"Q920964$99EBC308-DBDF-41DF-AB24-30E75E0E0695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc86f03f319abf5b4757275c58876942454e880","datavalue":{"value":{"entity-type":"item","numeric-id":937294,"id":"Q937294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdd7f6387c7e4df6e9dd12fe8d28fd9c9fedf81d","datavalue":{"value":{"amount":"+0.8685884","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":"Q920964$931C000F-CBC3-48D3-8274-B79CAAF5783C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d8bc19689224c70fb54d4ac92a5dd217ed24418","datavalue":{"value":{"entity-type":"item","numeric-id":5460173,"id":"Q5460173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"017d9048c425cb13acbe1b68821085b8f45b3b9e","datavalue":{"value":{"amount":"+0.85823846","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":"Q920964$FA9D0A97-7089-4582-AA58-D0E422EC50F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3a7aaff406b4f6f6c186a9538de832e1bcc89f8","datavalue":{"value":{"entity-type":"item","numeric-id":3612673,"id":"Q3612673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb1bf3b447387704e12ae2acc808883e0918f57b","datavalue":{"value":{"amount":"+0.85082215","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":"Q920964$B4E5918F-31F5-4224-B1D9-EC32B8611572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e30586cf34da49cb1f29fa5080288bbd5e326c","datavalue":{"value":{"entity-type":"item","numeric-id":5091205,"id":"Q5091205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a81947455a0a3973a47a981be44b2fffdb04fe2","datavalue":{"value":{"amount":"+0.846542","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":"Q920964$14D3FFBE-E14D-4AC0-B30C-73F9108C7840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a240b3de2f495ba3b390ac917817ff1682e93202","datavalue":{"value":{"entity-type":"item","numeric-id":5131261,"id":"Q5131261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a81947455a0a3973a47a981be44b2fffdb04fe2","datavalue":{"value":{"amount":"+0.846542","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":"Q920964$A00A122C-0CE3-4438-BDF3-6F1298666072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5202e37442a3d940d7d77e3dff40be6f86e45b","datavalue":{"value":{"entity-type":"item","numeric-id":3204439,"id":"Q3204439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb083341b78bd0e893388aac9b38a5e196f62805","datavalue":{"value":{"amount":"+0.84022987","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":"Q920964$782523A5-F1D9-454E-99ED-AE190D2F1A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc3d618df76ee452f13f3e799a67322dd825936","datavalue":{"value":{"entity-type":"item","numeric-id":3784041,"id":"Q3784041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc4349b3989fe1644f2f66c2907e800dc5780bf9","datavalue":{"value":{"amount":"+0.8245014","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":"Q920964$40A31D93-E4A0-4CE3-8ACF-55CBC72A9F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbde8723c4d3b324e414463c4a371ed41a335f79","datavalue":{"value":{"entity-type":"item","numeric-id":3125605,"id":"Q3125605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a144f8eebeed0ff48ae24232375d048108d0378a","datavalue":{"value":{"amount":"+0.8235009","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":"Q920964$DB6690C7-E747-423F-B51B-8B7A68C87EF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithms for sentences over integral domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithms_for_sentences_over_integral_domains"}}}}}