{"entities":{"Q5170160":{"pageid":7199732,"ns":120,"title":"Item:Q5170160","lastrevid":100398125,"modified":"2026-06-05T22:02:07Z","type":"item","id":"Q5170160","labels":{"en":{"language":"en","value":"Completion after program inversion of injective functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6319512"}},"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":"Q5170160$3100CCF3-111C-4327-9614-E5BF43205ED0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8d0e4986c286b801ed0af59cac23a0dd90f4d17","datavalue":{"value":{"text":"Completion after Program Inversion of Injective Functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170160$D83C1660-481E-43DD-93CB-F4CC6FE64A79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5f1cfbd238aa693943bc5e1e5726258b7f3541e","datavalue":{"value":"1294.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170160$2A357EAF-716A-4F8D-B150-F8A86DC83DD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fab14ad221e511a68105cfd43aaa9a4a54c3b820","datavalue":{"value":{"entity-type":"item","numeric-id":969618,"id":"Q969618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$86C1BD07-06FA-45D4-BCDD-20B57ACDD935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b66c1b86c92371b7f16ebf6453aeaedd4a478d2","datavalue":{"value":{"entity-type":"item","numeric-id":407554,"id":"Q407554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$F73A7BF5-B5CC-4946-8F6A-AC3D25C1A1BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$DC6159FD-FEED-4CA7-A059-E14E9D855730","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf050e1c17ecf8d76a38048fff5f6c3dcd9c662","datavalue":{"value":{"time":"+2014-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5170160$53EC66CC-7875-4F7E-B453-6AF8639E9EBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170160$955F045C-481E-4D1F-B1B8-98BA7ED907F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170160$8EEECA92-74F4-4E9E-AD14-51EA827DFF6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bc9c0daceff9ec9cf4ed63d0224e0600cebc574","datavalue":{"value":"6319512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170160$B56133AA-C29C-4353-8DB3-FA0D6ECC06B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf64db4b48b9a0502fea288f474dde5d26f4b9d0","datavalue":{"value":"unraveling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170160$6DC087F4-6AC8-4C06-AE21-DBFCE63BDBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4319312dd61f53c06c4678587f37500db2378ff2","datavalue":{"value":"conditional term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170160$5FCEED8A-AFF7-4CBC-A5CC-3551D0509B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03ee0109af41ad406ecd743518061baaa9e5e3ff","datavalue":{"value":"convergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170160$F425158D-D0DD-4E3D-8303-CB110413AC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36c834d261b50b20b3d1ca3fa130e16c4e8c483a","datavalue":{"value":"innermost reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170160$092AC2F2-3331-4214-A316-0DE36726CD83","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9237d703bc47031832a00fc82f05f933e549f493","datavalue":{"value":{"entity-type":"item","numeric-id":46055,"id":"Q46055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$BEEA6764-DF87-4771-B769-C2EA90524B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4c5e63746f1155fa9146a08988f7e26222436fba","datavalue":{"value":{"entity-type":"item","numeric-id":21994,"id":"Q21994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$C865FF20-E5A3-418D-8317-3B41D6C5B5C0","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":"Q5170160$651DE536-CB5B-47E3-9044-16AB292FAFFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54a4a57034e86c98d72bd6f2cc2ce5f1eacdd6b7","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.03.034","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170160$C1D10BC4-19F5-4605-821A-5C7B7BA6F597","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"146008a5dc0ce2be76ce421d6e1ec7bf8dd87a51","datavalue":{"value":"W2034902781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170160$B1894B0D-C182-4B3D-A10F-2D34D9E7E99E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f879542f180cb452c48bf51187a79dffb6d73d0d","datavalue":{"value":"Q114182431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170160$05EC0FD1-654D-4BB1-9C37-7121E0143EDA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b506ec9f838ead83a8c07250eb4b64a2470f4e7","datavalue":{"value":{"entity-type":"item","numeric-id":700978,"id":"Q700978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$98EF17F3-6753-48F8-9D95-6A97D33FCE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0acf0d5c7554b116bb4c18562bb16c21520eaf45","datavalue":{"value":{"entity-type":"item","numeric-id":3612954,"id":"Q3612954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$A38CDB67-C2F4-4D76-A521-D28D25E7D579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15dda2f461dc89306916d49253f4c7cd3932be83","datavalue":{"value":{"entity-type":"item","numeric-id":1341717,"id":"Q1341717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$9932AB71-E0C6-4588-9D01-BD4259B6CA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9c946ee26571140051551ad1ed868fb6088571","datavalue":{"value":{"entity-type":"item","numeric-id":5705932,"id":"Q5705932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$24AEF76E-4BDE-465C-BF21-163DE033C0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06fb8dbce4eb45cbece57afbd9b64bd437f704e","datavalue":{"value":{"entity-type":"item","numeric-id":5472880,"id":"Q5472880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$659A51CD-26EE-4E08-8A78-B79DE8406D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$3DAA9893-3FD7-47AE-B36B-3FBA0C6DB807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fa79ef315b263a0205666449c343f622cde925f","datavalue":{"value":{"entity-type":"item","numeric-id":1901710,"id":"Q1901710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$58A8C1A9-A5E2-409F-AC83-609201705872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f993fcd9fff6be6ddd29863c05df1fec57dd43d","datavalue":{"value":{"entity-type":"item","numeric-id":4259966,"id":"Q4259966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$9A159B01-4554-447F-86BD-8DDF5D415105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f77c9f0b209bffb78ce37325c9477c70ceaf77","datavalue":{"value":{"entity-type":"item","numeric-id":1041807,"id":"Q1041807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$8763C038-8594-401D-92F2-D7EC2E05019A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d3fdcf6eed15cca5b9dd7fb0f599de1b8457467","datavalue":{"value":{"entity-type":"item","numeric-id":2956716,"id":"Q2956716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$66512FA8-7C87-4332-8C8A-1B91D99A3E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53d1b5dbabfa4a05e9cbd66d4a8f6f09652433d","datavalue":{"value":{"entity-type":"item","numeric-id":5168924,"id":"Q5168924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$695B7F98-A843-4398-A58D-858E2C1088BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d625c283c10bd2220d45f8210b1cf47bdfab987e","datavalue":{"value":{"entity-type":"item","numeric-id":5703855,"id":"Q5703855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$C5E24324-01B2-436B-BE77-C18F0C4CE4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12fb719c6977dd8fe293c36894e6b050937ddaa9","datavalue":{"value":{"entity-type":"item","numeric-id":5941754,"id":"Q5941754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$9C2D26E9-BB90-48F4-8689-EF9472D8E0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc91f97f4610232fc0f4f16dad485e27866f89e2","datavalue":{"value":{"entity-type":"item","numeric-id":2783416,"id":"Q2783416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$22A860E0-74A9-43F0-AAB7-47F6948EE583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b763a04eabde37fd1eb9b2c5994f1585f800cf","datavalue":{"value":{"entity-type":"item","numeric-id":710679,"id":"Q710679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$863637F0-1755-410D-B0A5-4405A9A27CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a8cd799fe0605abc393d28febcce088f8d799c7","datavalue":{"value":{"entity-type":"item","numeric-id":3527281,"id":"Q3527281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$493CBA7F-2740-4242-B353-E49F62D3F550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$B0F26183-F162-4C94-B267-E10A92D28792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4f998500ec08ec228b08fd3b4b97605061115ce","datavalue":{"value":{"entity-type":"item","numeric-id":1183582,"id":"Q1183582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$53A330D5-9E05-48EC-944D-D95555C3F28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce47f1158a3c9f1309e948c4c4a237f0925a2da","datavalue":{"value":{"entity-type":"item","numeric-id":1974693,"id":"Q1974693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$C5B892D4-2CC5-47A7-AC26-5CDE3ACF1782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60759639915f213cf6f47415adfbdbc33f70fa2","datavalue":{"value":{"entity-type":"item","numeric-id":3527302,"id":"Q3527302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170160$B5BE2BD5-9D3E-4B4B-958A-F4675557C260","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7f3b7bb9e84ec5c60ae996a28f2273524174626","datavalue":{"value":"10.1016/J.ENTCS.2009.03.034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170160$08D58138-E7FF-4F8A-B42E-BC0D81D85704","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39aa57feade583dd8ad6e252eee93494b0860393","datavalue":{"value":{"entity-type":"item","numeric-id":5703855,"id":"Q5703855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94e3f827187e0e9972d6e3044f473a99da14ad11","datavalue":{"value":{"amount":"+0.8306550979614258","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":"Q5170160$5CFC5CF4-C2F6-4D31-8251-A1F1F29CA1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"839301024061c0555512b69e944043202fd74ad8","datavalue":{"value":{"entity-type":"item","numeric-id":3558345,"id":"Q3558345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"984b0c483d934a5c06c62fb162d00f33ca268c44","datavalue":{"value":{"amount":"+0.7957369089126587","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":"Q5170160$3ED7199C-8C95-40A5-BC00-93253A96C21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50d8f035012fb064d6b8e79a784759ea62845ad4","datavalue":{"value":{"entity-type":"item","numeric-id":5097640,"id":"Q5097640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b9d55afb5ddfa670c797e36df42f23be71acea","datavalue":{"value":{"amount":"+0.7436103820800781","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":"Q5170160$81524D64-E853-4EC5-8A7E-92CCF8EB9B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52c9a8e6b776dbbaeedade210ec7c5bbabe20cb6","datavalue":{"value":{"entity-type":"item","numeric-id":2848903,"id":"Q2848903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10373cf9a7dd10333ae5ed7f97f0987712bd56d4","datavalue":{"value":{"amount":"+0.7306649684906006","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":"Q5170160$A8B649FD-DA07-4F5E-BC79-453D12E7BABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee1193bed764f2d3213fe54906d59de75e0dae0a","datavalue":{"value":{"entity-type":"item","numeric-id":5389087,"id":"Q5389087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb3f575a8187f9c9b4e4b28af628cd73fa4fa883","datavalue":{"value":{"amount":"+0.7276670932769775","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":"Q5170160$C86D2FE9-59A2-459B-8E69-9F77596D3CC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completion after program inversion of injective functions","badges":[]}}}}}