{"entities":{"Q3558345":{"pageid":5588249,"ns":120,"title":"Item:Q3558345","lastrevid":88382438,"modified":"2026-06-04T14:22:45Z","type":"item","id":"Q3558345","labels":{"en":{"language":"en","value":"Proving injectivity of functions via program inversion in term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703525"}},"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":"Q3558345$5ECD77BD-336A-4CC8-8FE1-76B2392539E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6c2f902be8e9aaf8fc5f60fe7bfbafe99560d5d","datavalue":{"value":{"text":"Proving Injectivity of Functions via Program Inversion in Term Rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558345$E8687983-5574-421D-A8B3-3416AA9A1BB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c6851ccaf93bd861d1eba8741f9b1db88247fb6","datavalue":{"value":"1284.68331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558345$4EB5D468-7538-4A49-A37D-BD1540936A58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00186d281c55932524040fe228d3b3399576d482","datavalue":{"value":"10.1007/978-3-642-12251-4_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558345$45642450-625E-4568-A230-CCF51A2B52C4","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":"Q3558345$B8B8195D-C194-4F6D-BC88-3B4AA041FB88","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":"Q3558345$482FEFB9-DF15-4C71-8CF1-B0FAC2403C2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558345$9538713C-80DA-40EB-8446-F5E3F8C8CE39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3558345$A58C6458-F703-49BC-9697-600BA23DC34F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558345$1A616A43-8DF1-4605-9C38-81BCA559A6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558345$CADDBB4D-A8B3-4EE8-B237-7F74F88DC3DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41486f591584343889ad64b0d8ad92f4d78d409f","datavalue":{"value":"5703525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558345$3AF0FF12-7BC8-4020-8DC1-03203E05015D","rank":"normal"}],"P1463":[{"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":"Q3558345$C00739C6-5D6C-4D57-9D57-52B7409164A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558345$9CB296C3-00FE-4867-969A-97E693B66679","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":"Q3558345$5071F2A6-127E-4498-B822-B8A53854414D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2c50bdd1100f2db623f16b465bd95257c174f87","datavalue":{"value":"https://doi.org/10.1007/978-3-642-12251-4_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558345$1A6C11D4-BF88-4654-83BA-92EBD442ADEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6658de44c361e575a368ac06f69ca8180d746929","datavalue":{"value":"W1489841505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558345$7B67EE69-40B4-486F-8D62-9742DA7E0587","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64b17bbf352aa8bbbf79963e0c2787d45482d67","datavalue":{"value":{"entity-type":"item","numeric-id":5170160,"id":"Q5170160"},"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":"Q3558345$73CC5A58-B8E8-4682-93B7-AB0ED9665B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb4627ea43b694bb2ae7887ef9000d67ee0b5a27","datavalue":{"value":{"entity-type":"item","numeric-id":1333155,"id":"Q1333155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"235e9434e001b723128812c00edd255cdc8f77e5","datavalue":{"value":{"amount":"+0.7414125204086304","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":"Q3558345$DDC1A910-9B0B-46B7-94CE-B87AD38735C2","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":"3a1b56fe9a30ce18f596b063cce4a696d036b559","datavalue":{"value":{"amount":"+0.7286640405654907","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":"Q3558345$75C9DC04-2D3C-4F1F-9EEB-0747E3E99048","rank":"normal"},{"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":"e28de57bd060b9f0766605eee4b524c6b5b70ac3","datavalue":{"value":{"amount":"+0.696438193321228","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":"Q3558345$42756FDB-0A5D-44BE-B9C5-3DC286DF03FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83cc65cdf2044d1a4d927398a719f7ab76181f0a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24fa0d66f7f00cfe1d7d4e7f5cd2fb8839850db3","datavalue":{"value":{"amount":"+0.6864582300186157","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":"Q3558345$6B52C7CA-127F-4BDF-B468-99106F82E735","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving injectivity of functions via program inversion in term rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_injectivity_of_functions_via_program_inversion_in_term_rewriting"}}}}}