{"entities":{"Q4366769":{"pageid":6396368,"ns":120,"title":"Item:Q4366769","lastrevid":89420837,"modified":"2026-06-04T17:19:32Z","type":"item","id":"Q4366769","labels":{"en":{"language":"en","value":"A computational formalization for partial evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1090492"}},"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":"Q4366769$F0B3D3D9-11EB-4551-B9EE-644E58E14F91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f613867690b217404bc0374a469b6b26644d7ba","datavalue":{"value":{"text":"A computational formalization for partial evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4366769$63589396-FEA3-47C5-BDB2-78DFD1811470","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d09c6e5900f471d6ebe03e3899ee0657fd38f0f","datavalue":{"value":"0883.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366769$FFBF5A03-66E8-4F94-824E-7D4063724ED3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63c9df70b9f5b81c3e4bbd2d64016e9bb0fa2d7b","datavalue":{"value":"10.1017/S0960129597002405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366769$41B617FA-A026-4F65-825C-A998659265AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3446e7dbb7240ad90687dceaaac250247886da36","datavalue":{"value":{"entity-type":"item","numeric-id":236462,"id":"Q236462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4366769$B8F51FC8-CF04-4DE0-9856-EA500845B3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f7ebf08f82ce515e0740dc978f18c660e5f4735","datavalue":{"value":{"entity-type":"item","numeric-id":232933,"id":"Q232933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4366769$34CD0C1C-50DA-4F1B-BFE1-AA7CACD86219","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4366769$8E1291A6-A602-4A3E-A056-CB5270FB9815","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6734d96f5cb9f492e2514bc1346fce61762d79e","datavalue":{"value":{"time":"+1997-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4366769$71874FEA-FB25-46F9-92D3-18FAD9A6C4D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366769$E67B0380-F866-4B2C-9D7F-9E0DBDAA38CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89615fc5ab3ecd8111365c6aa542febce83ece1d","datavalue":{"value":"1090492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366769$D8528544-4CCD-44CA-9136-EE0B33AF4009","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e1831de850e701f6ab12311b52faacf100f7157","datavalue":{"value":"computational metalanguage","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366769$2E086DA0-4193-4A3E-A53D-052AC25D323E","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":"Q4366769$7EA89769-B822-4D40-948B-0702E3C5C5D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c467036342a184c1171ff1ae6d4c1dbf5d0885f","datavalue":{"value":"https://doi.org/10.1017/s0960129597002405","type":"string"},"datatype":"url"},"type":"statement","id":"Q4366769$A627ED5C-06D2-4A81-957C-E5CD6C11A8A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8bfbce3254a72d08c2ccccbaebf53a4c6642eaa","datavalue":{"value":"W1982122213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366769$AA550642-DEFC-45F4-B8BA-E7AB8AAC6C5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"783762f3649cac4583d3a0a7a36e71732d6d2c0d","datavalue":{"value":{"entity-type":"item","numeric-id":4813409,"id":"Q4813409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"027794187370eada60904af580fa4b03797cf4e1","datavalue":{"value":{"amount":"+0.8043615818023682","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":"Q4366769$E9FCB976-AD30-468D-BB3F-CE99B9CB6727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25a079ecbfe185d301ff8aee593cda34624bb9a6","datavalue":{"value":{"entity-type":"item","numeric-id":4001863,"id":"Q4001863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"754920053072d324942fe7340cecc1a51d91b8c2","datavalue":{"value":{"amount":"+0.7689746022224426","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":"Q4366769$CFAF62ED-B872-40C1-9470-C6480CA9B239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f35f5c122f4c9e4602a53a8199387d5b305229b","datavalue":{"value":{"entity-type":"item","numeric-id":2743695,"id":"Q2743695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fda3039a38a515ee9e8a8d13899314f50e78e05","datavalue":{"value":{"amount":"+0.7667319774627686","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":"Q4366769$3B760138-C787-48C2-B61D-B04D79F3DAA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A computational formalization for partial evaluation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_computational_formalization_for_partial_evaluation"}}}}}