{"entities":{"Q4267719":{"pageid":6297320,"ns":120,"title":"Item:Q4267719","lastrevid":46775148,"modified":"2025-12-25T13:56:17Z","type":"item","id":"Q4267719","labels":{"en":{"language":"en","value":"Transparent optimisation of rewriting combinators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1347956"}},"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":"Q4267719$5FF93A65-F8DA-4507-85BC-F4B839B7D83F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"109b780c23f72c95a3c6f749af4ffafdf9e950f3","datavalue":{"value":{"text":"Transparent optimisation of rewriting combinators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4267719$8271A322-CD72-4F84-B77B-7A0E470F1C67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed0eb403d064cb57d11887b73458f7132cb7b27a","datavalue":{"value":"0940.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267719$7A7FAC49-9B38-4BBA-AE68-CEC8182622F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c6aff94b5f23e70a2e1df8ed98de2606f77df38","datavalue":{"value":"10.1017/S0956796899003391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267719$81EADAC9-7F53-45EE-B858-8483DEA8D270","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4267719$C980B713-D98E-423B-AF46-306330FBC763","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"02000238ef6e862a5c8de82bbe4b4eb0ee0b8beb","datavalue":{"value":{"time":"+1999-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4267719$B717F03F-5EA4-4C88-B244-A2ADB3A449F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267719$96898F37-1CA1-4FD1-93F1-A2A6E0E556ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267719$398C6A7F-14AC-492A-8C62-8E8298E742A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61add7490aca37592f7a297a3adfa770454859e0","datavalue":{"value":"1347956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267719$8BE69182-C3BC-4E53-84DC-C532D073F347","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"956a27924a59aa2b450b2f609965f00dca81de8d","datavalue":{"value":"LCF system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4267719$C8E809A0-C93B-42B5-898B-29371F38F8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec75d66c58b49b6ca42848e40ebf3087f93ca3fa","datavalue":{"value":"HOL system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4267719$6100A4BE-C45A-4446-BF38-FEDB590277A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c9fad689f750c5db21b8405cfccf604b5cd8abe","datavalue":{"value":{"entity-type":"item","numeric-id":1309244,"id":"Q1309244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4267719$5FB0791A-7FF7-465A-BE13-3E3B9D971BE9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4267719$6C774126-86A2-43E3-95CB-72B86F46FA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4267719$0B2C5F87-A811-4BE3-84E1-42B7201F8CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4267719$050450A4-E265-4187-AE2F-1261786E58CE","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":"Q4267719$0FC65276-AD6E-4239-9C9F-2C5283753188","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2b58d71162f4e5692d9c6d27bc978ee1014f9423","datavalue":{"value":"Q127705584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267719$6C83BF03-AEA6-4A13-8AD0-4AA415C3E1A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4975addb4905a856dc84fcaa166c071e9d04c5e7","datavalue":{"value":{"entity-type":"item","numeric-id":800739,"id":"Q800739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e243aa87eea8918e47c55a6d294de3a98c050a7","datavalue":{"value":{"amount":"+0.7940847277641296","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":"Q4267719$42F94137-2A99-4AE7-B234-6C46DAFC2933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc16f3ab7b37768a4394204193b1d41a648ccf90","datavalue":{"value":{"entity-type":"item","numeric-id":2655323,"id":"Q2655323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b51c961cb70b4815c37bbf2fb4f3fbf69d8ac0bd","datavalue":{"value":{"amount":"+0.7365831732749939","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":"Q4267719$564710A2-C7F4-4498-AAA0-D7B2609A044D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80da2311e24f203113d173f62f7fb303bd7ca4e3","datavalue":{"value":{"entity-type":"item","numeric-id":3024889,"id":"Q3024889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcbd7db2498b405507a5e4ddb94d8a6bca5c3cc9","datavalue":{"value":{"amount":"+0.7326400876045227","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":"Q4267719$2DD82386-A4F3-41EA-9A95-41D51F93C704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b18f1bcee5a559e76e86ee84dd5601244af54f6","datavalue":{"value":{"entity-type":"item","numeric-id":909488,"id":"Q909488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"229c9c7314c36b334ff930a151bea3d22763eaf9","datavalue":{"value":{"amount":"+0.710161030292511","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":"Q4267719$E81E3D25-9E00-40CD-9BB2-CCC6073D0CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4587125d4e6f5e1e8e8dc77b2d22ce43c5cabf0a","datavalue":{"value":{"entity-type":"item","numeric-id":5309373,"id":"Q5309373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dba610c867e86a75b7b5fa62539ae84d4f48350","datavalue":{"value":{"amount":"+0.7013555765151978","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":"Q4267719$628937B3-CF47-4C48-8EF8-704F453B53BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4267719","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4267719"}}}}}