{"entities":{"Q685393":{"pageid":687242,"ns":120,"title":"Item:Q685393","lastrevid":63459807,"modified":"2026-04-11T13:18:20Z","type":"item","id":"Q685393","labels":{"en":{"language":"en","value":"Complete axiomatizations of some quotient term algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417338"}},"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":"Q685393$A3A38834-B5F8-45FD-8477-9FB7D05B642A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1aa2f28773cae7ed9fef76fa55ed47d561451cbe","datavalue":{"value":{"text":"Complete axiomatizations of some quotient term algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685393$6AFA2941-F8EE-48C4-94C7-DA729A5701DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"991b7434e9f2bb268c412d3d8a632454a365b360","datavalue":{"value":"0810.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685393$DF37D547-46C3-46B0-AA9B-5088DD75E221","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ebd3d91e5c485ba049d20b73a4adc06e313b898","datavalue":{"value":"10.1016/0304-3975(93)90108-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685393$168B0AE4-4C96-43C8-8CE4-83B8338CF28E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23be70569faa30ab86ceaac20a2ea57705fd5fb4","datavalue":{"value":{"entity-type":"item","numeric-id":685392,"id":"Q685392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685393$A94AB1BA-0EF3-4313-BFCF-703EE6246B0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685393$ADC67998-9A79-407F-8C29-08A24BF8D6D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13b74804618c57ee35b990cf82f55e89bccfb918","datavalue":{"value":{"time":"+1995-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685393$C3FE6ED1-D6B3-40B4-89AB-E09ABC447FA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685393$B8FC17E5-8FF4-474F-869A-11953F6FF0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685393$990A633C-24CB-4D65-8700-899354C4D349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685393$0F7D61CA-6BD1-4769-B8C7-EA1C935CDF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685393$8C7ECE3D-F651-42AF-98B9-634978E3F558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a81ca5b8726a2034b277ccf6907b245cba0e29b4","datavalue":{"value":"08C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685393$8AA793F6-8D32-4648-B11B-1E5A8EAEBAB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab76df12a4a159bf7916737df095279fd5b70c18","datavalue":{"value":"417338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685393$135C22CF-11E5-4ACD-81FC-BCCF8AD61540","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0230e9957a4954cea9a01f9ba581828fa99b1343","datavalue":{"value":"quasi-free theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q685393$8D9D2B46-E9A1-4249-99F0-0CAF692B2484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q685393$FCA957A1-8F23-4BBE-A31F-C91613AFB3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4850c07e8bfcfcf48b991b192182c925bcea7a46","datavalue":{"value":"existential fragment of the theory of associative-commutative function symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q685393$6A5030E0-5DFA-4115-84AA-68ED577100EE","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":"Q685393$9C5B6FF7-DB5F-4180-A965-0886F67494B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b133ebb8888ddf309aebc4dfcc644e9721d340e4","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90108-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q685393$CD75E9A9-7B0F-4CCD-BB71-211A5A2BA620","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b68f1b15071697047a1cc5a21067ed3df89be499","datavalue":{"value":"W2070687667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685393$3348EB3E-64B7-4EE8-891F-67AA2529C6B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a2f042bce831ceb861d6edacfa33cb83e3369f","datavalue":{"value":{"entity-type":"item","numeric-id":3818292,"id":"Q3818292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685393$F461D30B-1B29-49A0-A75B-EEC3E1C56132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6935dc55ba37c30b0106e3fd9b123c1fe0b814fe","datavalue":{"value":{"entity-type":"item","numeric-id":3779785,"id":"Q3779785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685393$08340A54-D3E9-403B-A174-DCA3A0B543BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0285c907a8b1aec6e16d4e2ecf8f1e6d1cb0953","datavalue":{"value":{"entity-type":"item","numeric-id":4038726,"id":"Q4038726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685393$BFCCC9D9-2115-4818-8DB5-EB9ABDA0210A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640cdf56bb10b3d2b0578f8ad11e9f7e961161a5","datavalue":{"value":{"entity-type":"item","numeric-id":685393,"id":"Q685393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685393$36EE849F-4046-4D67-9E7C-75362E3A4671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c527e263525faa34ac4a72501bf8563b41ad015a","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685393$D17E477E-D313-4FFB-97AE-27E161844AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f241207bb39341afad681685e7fc2b817c7ff774","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685393$29FFB276-AEBE-4157-8772-BC05633AD13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685393$DD0418F2-BA57-46B3-89F4-4F52CEA11E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685393$00F1139A-D06D-4C39-9BCD-E3C4BC8FF78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f9132dc4fa5802adc529bd12f6d0bd4cfacf9bd","datavalue":{"value":{"entity-type":"item","numeric-id":3702507,"id":"Q3702507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685393$8EF69674-44C7-4E33-A18D-DACB3E281589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bae23ce2a11489a6351aa0aa07b81434d1bd45f7","datavalue":{"value":{"entity-type":"item","numeric-id":3976027,"id":"Q3976027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685393$ECCFDE1A-B612-4A12-9A93-27BD8D09ECA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd2158380546de1c47756c4fead8c0c2406dd1c","datavalue":{"value":{"entity-type":"item","numeric-id":3789064,"id":"Q3789064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685393$A902F905-E908-4DF7-A169-EBC53F8E9F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685393$51B3F0E0-3070-4613-8423-9A8409238211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6b1d15dbc2412bd2d097ea4c4b2ce5e2ecdcac","datavalue":{"value":{"entity-type":"item","numeric-id":5881304,"id":"Q5881304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685393$C604FB67-00A3-402B-9381-7343213E5237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685393$D963740E-A44C-4ACB-9A79-05B017EDFC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83cdf56cfb17b49953094251dab68dbdc76cc97","datavalue":{"value":{"entity-type":"item","numeric-id":3358706,"id":"Q3358706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685393$BF13EA49-2C5A-4142-A53A-06EB9FB4685D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6061097ed18d896b38471c97db349035d9f94ed","datavalue":{"value":{"entity-type":"item","numeric-id":1314267,"id":"Q1314267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685393$A791EDE7-8FB0-45A8-BD9B-F082AF3E937B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e99b161ebb65b743f97bb8954f166b043c54adf7","datavalue":{"value":{"entity-type":"item","numeric-id":4036586,"id":"Q4036586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88bd688777fcb210199e9c9021b85a233ccd5e69","datavalue":{"value":{"amount":"+0.9960726499557496","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":"Q685393$32B8C42B-3FC0-4C76-AEE5-D9646A39D1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f21e0b2e0d0335a5337d53404b6b37807136a4f","datavalue":{"value":{"entity-type":"item","numeric-id":1264437,"id":"Q1264437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25a37d793a51d28f6f1f510de90998417df90e6","datavalue":{"value":{"amount":"+0.9955121278762816","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":"Q685393$FA60F2EC-8079-41D4-A8D7-88F646A13664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a935eb10fdaf45c11479748e45752fc581ff8b6","datavalue":{"value":{"entity-type":"item","numeric-id":4281554,"id":"Q4281554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0a1dec9591ade8ace220f141c9f087d7faabec4","datavalue":{"value":{"amount":"+0.7559216022491455","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":"Q685393$E1BD4758-3CC4-4DBA-BA58-879739928C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bd43b01c6e29b442e202526b672b4daa3e84721","datavalue":{"value":{"entity-type":"item","numeric-id":1400708,"id":"Q1400708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c0e1f9d4ee2e06268c50b34b15a5259450ac72d","datavalue":{"value":{"amount":"+0.7504023313522339","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":"Q685393$A2B06364-119D-4633-BFFF-F085145F6F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ddd9187e860f35ae4c8342049064b3607ff2e46","datavalue":{"value":{"entity-type":"item","numeric-id":4266522,"id":"Q4266522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbf70b809025fb59406f9de70d6df8927a882a16","datavalue":{"value":{"amount":"+0.7452400922775269","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":"Q685393$DE69D67B-341B-4213-B099-45F600DD5362","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete axiomatizations of some quotient term algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complete_axiomatizations_of_some_quotient_term_algebras"}}}}}