{"entities":{"Q1662269":{"pageid":1673010,"ns":120,"title":"Item:Q1662269","lastrevid":43266193,"modified":"2025-07-22T23:27:34Z","type":"item","id":"Q1662269","labels":{"en":{"language":"en","value":"The Andrews-Curtis conjecture, term rewriting and first-order proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6920285"}},"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":"Q1662269$D6666887-F797-403F-A2DD-1055BEBBA3B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bb9626310e195ce15c3d8d5fdd83661ad385fb2","datavalue":{"value":{"text":"The Andrews-Curtis conjecture, term rewriting and first-order proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1662269$836F0F0A-D56F-4470-A80F-093A6A70173D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d169d7a9591a354926b37ac6f7b3e0d10f0a75e","datavalue":{"value":"1395.68250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662269$656DF2BD-266E-42F2-B8A4-0DAAFA6EACB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ed68c7c0eb77cb132b2261302bf684b057421eb","datavalue":{"value":"10.1007/978-3-319-96418-8_41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662269$0C273B0E-B807-4F18-8400-92E465118F39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95e9100254d03da2193ebcb0473e06193cec5626","datavalue":{"value":{"entity-type":"item","numeric-id":1662268,"id":"Q1662268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662269$93F2EDC6-CD3A-45AB-B472-72D137D988B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d202540b63b8c4b32047f2e7f472d0d69bf8092","datavalue":{"value":{"time":"+2018-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1662269$BC844A9E-F9EF-4237-94E7-9439B97F431B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662269$E372E9F4-2CF5-4C0F-8CD3-7B45DADA43D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662269$0E1CF868-8648-43CF-9859-6367F00435C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662269$50E11B77-F937-4218-BEAB-03388C47F5A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f31a61eb5bbe914ca1d713095c86ade984929947","datavalue":{"value":"6920285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662269$D93A07C2-3B76-4B4C-A5F7-9C65E7DC27C2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662269$84C75852-A6B5-4FD7-9D3C-25FEF50E6AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662269$11C8D197-F258-4FB2-A97B-2395497E32A2","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":"Q1662269$35844D23-78C3-4827-9DED-4D5C19C9741F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0364a2ddf12d8817599de4e036fe3afc5db48472","datavalue":{"value":"https://doi.org/10.1007/978-3-319-96418-8_41","type":"string"},"datatype":"url"},"type":"statement","id":"Q1662269$D064CE33-C892-4585-B32F-A23434F805C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6715f0519fa1795c29aeb47431fa99006321182b","datavalue":{"value":"W2884484018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662269$F624E9A2-B4C0-4AA7-A69F-C91427AFB39A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5079de2b33777a53071eb4a1f8e4e5ae8a87c664","datavalue":{"value":{"entity-type":"item","numeric-id":5881190,"id":"Q5881190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcc209a338e59fb458679f96440e94165ccb352e","datavalue":{"value":{"amount":"+0.8752619","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":"Q1662269$BC0784C1-4FEF-408D-ADD6-42CDA4D98BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd992a4ea49d90c3a3d4107b2bd75678de75673","datavalue":{"value":{"entity-type":"item","numeric-id":3703311,"id":"Q3703311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"693d6091406757a1ccae90def274b0653a2365d8","datavalue":{"value":{"amount":"+0.86466193","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":"Q1662269$71043DC2-34F9-42CD-BE32-934D5EC196FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f30c460421c2fa6f05c5890bcf39b2153618542","datavalue":{"value":{"entity-type":"item","numeric-id":5055865,"id":"Q5055865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bf5091fd1893fe1c92a280aa570b16e69e56a31","datavalue":{"value":{"amount":"+0.86444384","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":"Q1662269$DF4D6B6F-1EC5-4AAD-A39E-FB63088C5F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"303575796de86fad5a681ea51499f70036dfc1be","datavalue":{"value":{"entity-type":"item","numeric-id":701740,"id":"Q701740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8a00fbd9402e2773c1c98359b353f5273d6c2af","datavalue":{"value":{"amount":"+0.86133516","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":"Q1662269$65ED3C65-DDF4-43E8-817D-C0B81D0E6C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6305f6be9b15c991b0ee29313e1618698417e8c","datavalue":{"value":{"entity-type":"item","numeric-id":4888337,"id":"Q4888337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e55eadd1930cd91f7597a5dae8a54be73f15916","datavalue":{"value":{"amount":"+0.85891587","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":"Q1662269$51C1A226-B9E8-4450-8DE6-D0F2C4D92986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35c957fa3564ee1d7c9c3b5a3037bb7d47068e34","datavalue":{"value":{"entity-type":"item","numeric-id":3329449,"id":"Q3329449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9633cd202610ab240be73e3a411f7b97a6deed69","datavalue":{"value":{"amount":"+0.85733306","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":"Q1662269$2D11587A-E839-4BD3-8DF8-A59C99F86AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ada13ec5e0f75103ec2560e788dbfd8bc12822e","datavalue":{"value":{"entity-type":"item","numeric-id":1089798,"id":"Q1089798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbf7a66f2bc689abd6f027c04ab3ed54a4615382","datavalue":{"value":{"amount":"+0.8569558","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":"Q1662269$80E06C15-8CDA-4070-A70C-DEE93EA059E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dc7285990d705aafc8a4da1f28c2bbb1d9dfc93","datavalue":{"value":{"entity-type":"item","numeric-id":5170807,"id":"Q5170807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0723fe9248d22722ad8eef7f296d66cff4a1ca2a","datavalue":{"value":{"amount":"+0.8561941","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":"Q1662269$C0148E44-C341-45DC-958E-5EF391DD86EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad429a59eb8b3f3fb4743fbb0b53140d5277c535","datavalue":{"value":{"entity-type":"item","numeric-id":3098034,"id":"Q3098034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddaafa501835c567a6337b64e8cd069a0c2b5391","datavalue":{"value":{"amount":"+0.85543466","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":"Q1662269$778B7130-9B3C-437A-8344-3A8E4BCEA85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b725030820a170715451ef9fbc8b50e01fbd0f38","datavalue":{"value":{"entity-type":"item","numeric-id":4292768,"id":"Q4292768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ab138f17b8c726b3364fb0f5da788584ae67cd0","datavalue":{"value":{"amount":"+0.85478795","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":"Q1662269$7DDB2704-3230-453D-8CCB-6C3C0FE1CA2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1662269","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1662269"}}}}}