{"entities":{"Q2879259":{"pageid":2889979,"ns":120,"title":"Item:Q2879259","lastrevid":44708100,"modified":"2025-11-25T09:33:03Z","type":"item","id":"Q2879259","labels":{"en":{"language":"en","value":"A New and Formalized Proof of Abstract Completion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341488"}},"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":"Q2879259$9B227FFE-FF50-469B-BA3D-3038F82D471F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d77e6d7dff79b64ea6bf414841e76ae57a34e6f","datavalue":{"value":{"text":"A New and Formalized Proof of Abstract Completion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879259$49B3DD32-0DBE-476B-9384-E52797D09257","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34706b10e0176caf316ebc290b02bd4629772d91","datavalue":{"value":"1416.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879259$E48A4CA0-CD9C-4A3E-8AA1-C00177D62C6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6ed96cb5f39ac8ead156eaaa5077811f6721cc7","datavalue":{"value":"10.1007/978-3-319-08970-6_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879259$97BE9D90-D68F-422A-BCB5-61B79937B4D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbf80f7e67c864eea20bacda65f1ad6545214beb","datavalue":{"value":{"entity-type":"item","numeric-id":352957,"id":"Q352957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879259$29DEEB08-7CEC-406B-AD1E-193A6162199C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7072b29ec05013e9a2e81e1795de7757de4265ff","datavalue":{"value":{"entity-type":"item","numeric-id":293293,"id":"Q293293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879259$0F7B26DC-950B-4AC6-885E-D3FA62C708B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0653fc883593f9e70c5ddda3d1f1f752c0d0ffca","datavalue":{"value":{"entity-type":"item","numeric-id":530846,"id":"Q530846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879259$4C978688-F28A-4065-8B00-15FD324327C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879259$A4725AD7-6A0A-4FF1-9A28-8752202CC067","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879259$9268E73F-503D-488D-B39C-7B38FB625EDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879259$A0343E84-0501-4930-94DF-B5E6DBF44A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879259$C808DB7A-A495-4997-9CA8-76AD7315A87D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4f3c07f7696738cb5d7e1dd5dd56cc6b084c23a","datavalue":{"value":"6341488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879259$565C2B11-7E34-42D7-BD51-FA3D1B0BD65D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879259$B50240B0-1849-4AE4-ADD2-3B2DD46BB879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879259$DF6D622C-4427-45B5-A96C-ACC0D332E143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879259$DD9F3D53-F8A3-4266-91BB-60B91ED36676","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":"Q2879259$9175B948-06EF-48D0-BF20-8A9D7749C5EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e939887a28978dfe4aa1db8c4e660e0102b1e5de","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08970-6_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879259$155D73D3-CCD5-4566-94F2-A1AB65B565F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c8a3c508f55e0c08d303b45dbf3fff76d8159fd","datavalue":{"value":"W1588278029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879259$E93CB798-A623-4753-A01B-517EC6775110","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d7b6dd95d067f47d109a6fc0fdfdc8535c799c","datavalue":{"value":{"entity-type":"item","numeric-id":5232901,"id":"Q5232901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01313d27cdabb1497593cd6b751fef746b1d8aef","datavalue":{"value":{"amount":"+0.93255","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":"Q2879259$40C81424-08FE-4F3C-BA48-D3ECA2E8B184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d07715cf830ed83234de3f7deb847acc8fb7b17f","datavalue":{"value":{"entity-type":"item","numeric-id":3347269,"id":"Q3347269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76472fd10e82a3855f00ce810ab551e4511cfb8f","datavalue":{"value":{"amount":"+0.88077766","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":"Q2879259$537E63DC-8CF9-4DCF-BD79-048274BFE999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ebb6b573aa0b610753c12bd1fa15c44d50f035","datavalue":{"value":{"entity-type":"item","numeric-id":5864208,"id":"Q5864208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e079415b58d905b0770b00bffa3e51c13468a4d","datavalue":{"value":{"amount":"+0.8784343","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":"Q2879259$9F7C20E4-8489-4DDB-BC7A-A91196F1088F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b15dd97b7846e68dab05b7f34aece11a43c5184c","datavalue":{"value":{"entity-type":"item","numeric-id":3786024,"id":"Q3786024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f636186dbfe853b8295a41b56b988f1eb7a0966","datavalue":{"value":{"amount":"+0.8781603","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":"Q2879259$73FE9E80-6E11-4078-9563-C674B7A8BC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"117f0f0c21341a5205408d76d47441cbf8c61ace","datavalue":{"value":{"entity-type":"item","numeric-id":1186705,"id":"Q1186705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a87035fd1d149f6af76926e28f1bd50ab3b8bde4","datavalue":{"value":{"amount":"+0.87582207","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":"Q2879259$6564417A-2074-45BA-8F89-DDA7759BFE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7710689999062aba102967f0498074b1d8198c12","datavalue":{"value":{"entity-type":"item","numeric-id":2956724,"id":"Q2956724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0da6d9e4ee7e8bc9890f4fb6f6203655c6b4849","datavalue":{"value":{"amount":"+0.87549424","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":"Q2879259$291D73F2-42E8-4D24-BB9D-AA4F386D2B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f40161b7ea620b0b6d235dd33e8048e995b88a","datavalue":{"value":{"entity-type":"item","numeric-id":3678693,"id":"Q3678693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f896ad34f0d62fbbbca30bdde3e8b2bc80c8385e","datavalue":{"value":{"amount":"+0.8754412","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":"Q2879259$DFCA568D-B3C2-4AD9-A3F2-90C8403C7437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b801dec2268ac857545ef42d23a44def8bf9ac8f","datavalue":{"value":{"entity-type":"item","numeric-id":1373302,"id":"Q1373302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9c28fa8a9e430f6cb3f2eedb917c0b4a16987f1","datavalue":{"value":{"amount":"+0.87522966","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":"Q2879259$932BC196-404D-46DF-AAF2-1CE0F0F26BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22f9ae8df5c25beb735813622f960226697534d9","datavalue":{"value":{"entity-type":"item","numeric-id":5698282,"id":"Q5698282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b34ee8b2ff2ebd5593fbeeb7b566ef90f6d74f0e","datavalue":{"value":{"amount":"+0.8743171","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":"Q2879259$BB1979DC-039B-476C-BFF5-F2A207892395","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2879259","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2879259"}}}}}