{"entities":{"Q5232901":{"pageid":7262469,"ns":120,"title":"Item:Q5232901","lastrevid":53530274,"modified":"2026-01-25T04:35:17Z","type":"item","id":"Q5232901","labels":{"en":{"language":"en","value":"Abstract completion, formalized"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7104927"}},"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":"Q5232901$C2E241B4-9945-4937-8AEC-C63C4098CE4B","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":"Q5232901$407DE7B4-4109-4638-9AFF-340567CF42D8","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":"Q5232901$4C4DB36C-1EFF-40EE-AB11-DB9797EE4E1D","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":"Q5232901$1ADE95C3-8342-45E0-B58C-802101157CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a36231e793206f5b2292f77be31d0f8ab1f6965","datavalue":{"value":{"entity-type":"item","numeric-id":352953,"id":"Q352953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5232901$CE6E6FC9-DB7E-4275-A199-4711A4904AE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e58c5ec13ac9ff2a0c2a7ef47523e32b869731b7","datavalue":{"value":{"time":"+2019-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5232901$96682EF5-099D-4800-9B69-A720F9CF82D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b769cbd0c52b54c9121eefa700d79510d1429665","datavalue":{"value":"https://arxiv.org/abs/1802.08437","type":"string"},"datatype":"url"},"type":"statement","id":"Q5232901$90C339EF-ACAB-4F84-973E-90EF0FB3F576","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5232901$3AC8E912-AE8B-4C3B-9026-C66946EC6A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5232901$2C054454-39DF-4C91-9C16-3A5D2CE5D2B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5295193501f444a7f88cdcbdfa75ed534c91435","datavalue":{"value":"7104927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5232901$E3506497-06EE-415C-BB9C-4BE95CC9E500","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5232901$46A939CB-83BF-49A9-A163-B4CA28D7FF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bc16f42ad6a443e8efcdf7e1c12a87ea65c58e8","datavalue":{"value":"abstract completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5232901$8FA66517-3B49-42F7-BEB0-48A2E69076CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cab3df0c09899025979a15e321ca181e11be214","datavalue":{"value":"ordered completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5232901$B1F720AE-2187-4E1F-971A-BA523A64C7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5232901$797C2933-792E-4C93-92EA-1890CAC48FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5232901$3C5ACBA7-C3F0-40C3-8B9B-117B37ECAEE2","rank":"normal"}],"P1463":[{"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":"Q5232901$13779E9B-256F-42C7-87E0-1C38976DD0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8e7deacad56e3bf59f522de6c1fa96858f2fd494","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5232901$5384E0EE-5B0F-4739-9794-66C0C347616F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"184b17ed6ef8f72f90ef44ecb976296d445c28b6","datavalue":{"value":{"entity-type":"item","numeric-id":21947,"id":"Q21947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5232901$80BFB33D-985E-4F45-BBB8-7988B5238B85","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":"Q5232901$F11F45C4-99AE-47D8-A9DE-0E4033F1FC3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"133d20525d9eb5e7f24b8d3a2ad5d132c86efa74","datavalue":{"value":{"entity-type":"item","numeric-id":5111315,"id":"Q5111315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d70723fa02a79909ba9abf9d24b9d2707ec9d05","datavalue":{"value":{"amount":"+0.9409005641937256","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":"Q5232901$0B5A9531-9977-4B12-9A4B-66066B8FF325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"426211327d42250a33d0cea29fc9cb6b3cae525a","datavalue":{"value":{"entity-type":"item","numeric-id":2879259,"id":"Q2879259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"790675932d8108c599b7cdfc0b54313238128303","datavalue":{"value":{"amount":"+0.8865850567817688","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":"Q5232901$83694487-5AFB-44EB-ADCE-212B0B048EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a32f5fd7a58acf66da4bb72af39c8f05df37614","datavalue":{"value":{"entity-type":"item","numeric-id":5757934,"id":"Q5757934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e12e95589dd849904a022c7852b781631ad7548","datavalue":{"value":{"amount":"+0.7963033318519592","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":"Q5232901$845E7216-2FB7-41C8-9108-ABBA7331B7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"915a500c0fbe67d3dde29f15c3da411d54816c01","datavalue":{"value":{"entity-type":"item","numeric-id":4993362,"id":"Q4993362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5d8492971b12af0aa96d5e24c48d2c43bb9a712","datavalue":{"value":{"amount":"+0.7896801829338074","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":"Q5232901$11019293-EAD8-4DA2-9352-167B3FA0156B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e60c57ae1c3e22279f985146b3ecc25292e5939a","datavalue":{"value":{"entity-type":"item","numeric-id":2958390,"id":"Q2958390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146b2b7c3fb95fa943a7ad610881adb5252b3982","datavalue":{"value":{"amount":"+0.7870878577232361","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":"Q5232901$8603D583-D906-45C6-8422-40D14ABDA461","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5232901","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5232901"}}}}}