{"entities":{"Q5449606":{"pageid":7479165,"ns":120,"title":"Item:Q5449606","lastrevid":55919098,"modified":"2026-02-21T03:46:30Z","type":"item","id":"Q5449606","labels":{"en":{"language":"en","value":"TOAST: Applying Answer Set Programming to Superoptimisation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5248039"}},"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":"Q5449606$F509210A-D669-4D52-ACEC-6063C3CD669D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac3e0f2a168a29962cd55cf7d5f6dac4b63683ec","datavalue":{"value":{"text":"TOAST: Applying Answer Set Programming to Superoptimisation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5449606$38C7E85E-15A9-4E57-BA8B-AE91FF9A24F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a38bfeb6681cf1f5f80ffb041b5290d24161267","datavalue":{"value":"1131.68367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5449606$351CFF49-D110-4460-843C-9F18B7C7D9EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"686fda7713f27504382fba91ef17cbb844a3336a","datavalue":{"value":"10.1007/11799573_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5449606$3BC41679-063C-4D7C-95BE-E19D4360864A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9ecefe21c6ae876627103481238d3a51a19d6a6","datavalue":{"value":{"entity-type":"item","numeric-id":479833,"id":"Q479833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5449606$EE7619F9-6410-49DB-9C3F-A9D68641BEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc43b45982645689228b8006f0a2e096c0c05866","datavalue":{"value":{"entity-type":"item","numeric-id":262365,"id":"Q262365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5449606$FD6FD9D2-FD5A-4B3F-AE4C-B51BFB6E6978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c51524f2118ec25d64ba6301d3e4c63f558cdad1","datavalue":{"value":{"entity-type":"item","numeric-id":702103,"id":"Q702103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5449606$88E4690A-241E-4895-B245-794BD520796F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fc1501daf9b937db1e624c37f7e8b14257ffd7c","datavalue":{"value":{"entity-type":"item","numeric-id":1062751,"id":"Q1062751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5449606$ADF896A6-5578-41A9-8160-08F75A33716B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2c84f47c65e4d1c693c9c2179cfb504e9fb62486","datavalue":{"value":{"entity-type":"item","numeric-id":3608641,"id":"Q3608641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5449606$CB98408D-FA1D-44BC-B51E-C77AA8D474C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c5191b06fb6cb88c011afaa0f154255cfe3a8de0","datavalue":{"value":{"time":"+2008-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5449606$9C09CD10-9DE6-4CBF-9AAF-39F12885FDAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3971da23a5e753fa278accb00f80245031d31832","datavalue":{"value":"https://cronfa.swan.ac.uk/Record/cronfa43401/Download/0043401-12092018070152.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5449606$F41EB9A8-D555-4175-AD37-85DE044E0FD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5449606$4133A1B7-3CF1-42B1-8DC6-CA5DC90722D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5760ab3b26eccd72967cd972f75a0871a80f7acd","datavalue":{"value":"5248039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5449606$CD91E800-DF34-4C11-A01C-82FCC8696BBB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5449606$779390E0-907C-44AF-82CC-981A42059B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b0c6391e3402e853d9de58cbd3c574bee166f897","datavalue":{"value":{"entity-type":"item","numeric-id":20840,"id":"Q20840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5449606$2ED1A88D-1982-4858-A286-3855B4A69EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79c66918880f31b09b4fbb0b19c8c8481c2203b2","datavalue":{"value":{"entity-type":"item","numeric-id":15063,"id":"Q15063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5449606$2DAFE815-BA30-4801-A741-EC6157FF89DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"205317d30b35088788d61d1d37182fdb72eef584","datavalue":{"value":{"entity-type":"item","numeric-id":43918,"id":"Q43918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5449606$4E70AFBE-589C-49CE-B0EA-50B999F54E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7103b15c521b95bdc07987ffe6ae6918b1b95d46","datavalue":{"value":{"entity-type":"item","numeric-id":16803,"id":"Q16803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5449606$5735324E-7EFE-4DD7-BEC1-DC26A78820EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a40ed2800cf27e515864390c2d9a294d464a30b1","datavalue":{"value":{"entity-type":"item","numeric-id":33513,"id":"Q33513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5449606$4F2C76D7-D559-4382-8CDC-8559B12D9F32","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":"Q5449606$320804D4-17E1-4BF4-BDC6-0CD63827E615","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4dc3c4656c06ca4a06f98db3f6075a6cecef5588","datavalue":{"value":"W1549711261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5449606$4E6CDD11-FCF5-4912-BD07-15E70EEC2BE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51dc03b6ef17c9e3b8d7c0d862264e1210c410f5","datavalue":{"value":{"entity-type":"item","numeric-id":5424862,"id":"Q5424862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf79e667ce17e2f46c7f78c7e9722c7a95dcf93e","datavalue":{"value":{"amount":"+0.8371352","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5449606$5228F65C-51B9-4627-800D-6D26789D3D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02a6cb760c38beb4eeef8b26dbce1c808754d9b7","datavalue":{"value":{"entity-type":"item","numeric-id":3087462,"id":"Q3087462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0e8b9ad15c4078520442c3ab1665e85dd78f881","datavalue":{"value":{"amount":"+0.8343736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5449606$62EE96D2-8A52-42EA-9C7D-38254D7CE5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1be12b98d83a413c6ce57dca732a6b895149f178","datavalue":{"value":{"entity-type":"item","numeric-id":2317973,"id":"Q2317973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2352a5eae8d9249f24b8ca2ac280d9165b5218cd","datavalue":{"value":{"amount":"+0.8288971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5449606$E0C81E99-6647-40B7-87BF-17AD34A1469A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c57a145269660bc94bc3135d3043dd92fdcf47e","datavalue":{"value":{"entity-type":"item","numeric-id":2851286,"id":"Q2851286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bf58b85caadb1b0f057144b03b94f59f3621657","datavalue":{"value":{"amount":"+0.8286002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5449606$87118065-9EAD-46D1-8776-F00EE1454DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f19e6c7c707a9e6d76035246024b7410cfdd2499","datavalue":{"value":{"entity-type":"item","numeric-id":4800163,"id":"Q4800163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c43caf4bffe58ae9546b98c6f7e786de20cb34a2","datavalue":{"value":{"amount":"+0.82626784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5449606$9D355D40-4B55-4695-B8EF-EECCAD5DB2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17716700cfe7369fb0aeb00b5bbca0f16ee440f5","datavalue":{"value":{"entity-type":"item","numeric-id":6488098,"id":"Q6488098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6d0df39cb31d52ab79531659205d9d7286a45b5","datavalue":{"value":{"amount":"+0.8222164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5449606$68E61470-B590-4710-83CF-5F91F187A1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e378e4f0b573dc1bc22216b0a47ea3af676acb5","datavalue":{"value":{"entity-type":"item","numeric-id":2909134,"id":"Q2909134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a38de29647a4ff94639a29d169ffff088190ff","datavalue":{"value":{"amount":"+0.8200153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5449606$542D73C0-9BDA-4AEA-A267-49195E055CA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5449606","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5449606"}}}}}