{"entities":{"Q4185798":{"pageid":6215399,"ns":120,"title":"Item:Q4185798","lastrevid":96475634,"modified":"2026-06-05T11:22:37Z","type":"item","id":"Q4185798","labels":{"en":{"language":"en","value":"Optimization Among Provably Equivalent Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3622935"}},"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":"Q4185798$E21C7190-8A2D-42A8-90E4-D2B48A3DD2A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f26d1a8ed842c838a43f6255ca5b4ead1cad33ec","datavalue":{"value":{"text":"Optimization Among Provably Equivalent Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4185798$E5A16644-E835-427B-A525-FE33C55C8119","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efc1da99c4d72120e6db55f4226f2ca903d17a15","datavalue":{"value":"0401.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4185798$5E9353D4-B9ED-484A-9EC2-1EE07E0164C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f407f3aa3da07ed5e5f06d52d7b44e9d1799bc7b","datavalue":{"value":"10.1145/322033.322046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4185798$7B1FB19A-C532-43B2-8009-456788E23600","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4185798$9FC80634-7A27-4190-82F3-5796CFE0039E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4185798$54E15343-D588-4EE8-8E31-A13FD2FB7EF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5db76d2299725f51fde08295974208cb422fb16b","datavalue":{"value":"https://docs.lib.purdue.edu/cstech/103","type":"string"},"datatype":"url"},"type":"statement","id":"Q4185798$E0E22EF1-A1C7-4EBE-B308-D4150D0AB9C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4185798$373E9279-179C-48F5-8295-699C2F707E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4185798$DE3A83AF-9637-49C7-9186-82CC519833E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43c4e9ac4c7984f5229c02a7893a4e23faee50af","datavalue":{"value":"3622935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4185798$DD540AC2-715F-456E-AF75-ACBB8A79380B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97551b3aee0bfadbc33e1c456cc06b281a8603ea","datavalue":{"value":"Probably Equivalent Programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4185798$B0C44C66-ACA2-4A58-8D84-6CCB85FC80BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc87a87f88ef89b59d1977c9dcfe99e3ee0496b8","datavalue":{"value":"Program Correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4185798$62E57126-BAB6-4E67-8C35-2BD07C3D0721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32369b5c70f349976a3fa39f7f7cd293f9978060","datavalue":{"value":"Recursion-Theoretic Complexity Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4185798$608FFBD3-587C-49B3-B96D-3AD3983F8A3F","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":"Q4185798$5F801491-93ED-498D-8715-283E044EA895","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d0d494ab49bf2cc080398c2026a2a469dc3ce9a","datavalue":{"value":"W2060012383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4185798$A4AD2C8D-26F5-4135-805D-414AA3AF8F6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Optimization Among Provably Equivalent Programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Optimization_Among_Provably_Equivalent_Programs"}}}}}