{"entities":{"Q5089007":{"pageid":7118583,"ns":120,"title":"Item:Q5089007","lastrevid":55415293,"modified":"2026-02-17T15:57:09Z","type":"item","id":"Q5089007","labels":{"en":{"language":"en","value":"Deriving an abstract machine for strong call by need"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559274"}},"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":"Q5089007$205D6CE6-1944-46FF-9F88-10F449F658E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64e3f5ef123aa6f51585b85ba7e1d30c48eefe6b","datavalue":{"value":{"entity-type":"item","numeric-id":879355,"id":"Q879355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089007$05511BF9-27E3-425D-8A90-B5373598123C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"493805791802adb85d5fc41bfa7c8bacfff04a75","datavalue":{"value":{"entity-type":"item","numeric-id":1271567,"id":"Q1271567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089007$3A1C4961-8F8A-4675-BB78-3433A1D741B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089007$9F867B7B-D5EC-46FD-9A2A-3FE618720684","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089007$629E611D-DAF2-407B-BCB1-4DD51F87DFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089007$196E0A66-A745-4DC0-86A6-52C3B40AE360","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c4e28d748e2d98b054e13b13e52d25cd674711b","datavalue":{"value":"7559274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089007$81A403A6-D7C7-4653-9A26-59A1886984B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71a5b9aad670dfe0190a54cac4758ffc7a9be962","datavalue":{"value":"abstract machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089007$E0CF924A-3E65-4F66-9726-6EE09756E6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d4b32c3545e15184907a7757d0ac00169973cf5","datavalue":{"value":"reduction semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089007$C3BE040E-2937-4871-9249-7C689A015426","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":"Q5089007$D0C1E8D0-F0A7-423C-BB81-AFAF693D3414","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ff432e362ec4e106692fac3995aa97a869128c","datavalue":{"value":{"entity-type":"item","numeric-id":2820681,"id":"Q2820681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089007$14F88E2E-A6B6-4EC6-BF06-3ABEC9FD639C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"362675962d1938ba3874471a51de6f703c07e893","datavalue":{"value":{"entity-type":"item","numeric-id":3460910,"id":"Q3460910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089007$CC7EAE93-E9FE-4510-A025-140E43F345D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f7c2965e025f2e44f633931fc66c0e670ed0f76","datavalue":{"value":{"entity-type":"item","numeric-id":4635799,"id":"Q4635799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089007$2A3B5FBA-FC04-4571-9EE1-A8F2B90CA918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faee5cc3c769a982db0b4e99b526b9486a8b9e6b","datavalue":{"value":{"entity-type":"item","numeric-id":2093145,"id":"Q2093145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089007$F6AD6959-89E3-4119-BE00-0B764092DA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2dceb0945904c43f199d35b1b3cc849bc44877","datavalue":{"value":{"entity-type":"item","numeric-id":2390256,"id":"Q2390256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089007$9FA922D9-3794-494D-BB61-D40BB52262B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc937e27d5d0efb7afbe95dc3a7e3d054e3183c1","datavalue":{"value":{"entity-type":"item","numeric-id":4358458,"id":"Q4358458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089007$832DC190-49C1-4128-95A9-F8F610891768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6791923e2e5692207642e6d856b91954451deb9","datavalue":{"value":{"entity-type":"item","numeric-id":5111306,"id":"Q5111306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089007$D4A418C0-742A-4AFA-BAA6-29396EE6C08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2747a8c6f8d719be02ea61693091a9779659f973","datavalue":{"value":{"entity-type":"item","numeric-id":879356,"id":"Q879356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089007$229E33C2-3B49-4269-9842-153A2B5CEE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c695880cf338a015de77cbf0ba509fe33dac810","datavalue":{"value":{"entity-type":"item","numeric-id":2464720,"id":"Q2464720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089007$F44263C0-6FC3-4119-BE37-0163360F10EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"516c671ee95ef6bfec15deec3f47e74365c3420d","datavalue":{"value":{"entity-type":"item","numeric-id":3558342,"id":"Q3558342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089007$AF4A2651-5BF2-49DF-97A2-62F130AC9F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec914e13778f9f7efd28b1b1c29a040fb309cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3655271,"id":"Q3655271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089007$6140FF40-D567-4EB8-AFB3-B4E9D78545B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56eb0fc9625e25fe1c1f9ee4c150289812881be6","datavalue":{"value":{"entity-type":"item","numeric-id":5261514,"id":"Q5261514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089007$3623FBD1-75AA-4FCA-B9E3-1B6753F4D0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901ba45472e1a0a3be8b2e40215973355027ef09","datavalue":{"value":{"entity-type":"item","numeric-id":2949209,"id":"Q2949209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089007$C24AF2D7-DDAD-4150-BD5B-CCF61ED75DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbfe4964a46d9b5ae61ca298ddf701e390f98625","datavalue":{"value":{"entity-type":"item","numeric-id":4236864,"id":"Q4236864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089007$493FF106-09E3-4FD0-BFB7-76F6791EB661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ace06db1892d761ccecefca66e1592cc981c11","datavalue":{"value":{"entity-type":"item","numeric-id":3625516,"id":"Q3625516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089007$EDB13613-3581-49DC-8282-F36B716F3A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80b1ce6c7c55e134225781cab112803b76b1488","datavalue":{"value":{"entity-type":"item","numeric-id":4358457,"id":"Q4358457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089007$E6484AD2-4838-46F9-B43C-2D943715A76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8470718175ec6109a436628221c5cffb3ba70aa9","datavalue":{"value":{"entity-type":"item","numeric-id":4167525,"id":"Q4167525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089007$BE87E533-C602-4570-82CE-0EE161208E73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b757ce48c934bca5bb7feb1f689ac3e233330bfd","datavalue":{"value":"10.4230/LIPICS.FSCD.2019.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089007$0630E901-B70A-4E08-84FD-6EC061BBEF60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7d73debc6402086637cf1b74df90cc1d7a4d33","datavalue":{"value":{"entity-type":"item","numeric-id":6135746,"id":"Q6135746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b88a105ee955ea44560ec2d705c97c8acdf5d655","datavalue":{"value":{"amount":"+0.847459614276886","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":"Q5089007$2336573B-310B-47B4-A560-C6EAD51BB3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12ab445c3f361aa12e217973dfbb183b92e7f820","datavalue":{"value":{"entity-type":"item","numeric-id":2038078,"id":"Q2038078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9c89220111f8f9e4baad381340d0188bde121e6","datavalue":{"value":{"amount":"+0.8420586585998535","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":"Q5089007$BA0E9D91-73A4-4D68-97C4-7DB2FD727E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7d73debc6402086637cf1b74df90cc1d7a4d33","datavalue":{"value":{"entity-type":"item","numeric-id":6135746,"id":"Q6135746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5356f9f9c092eb1cbb4473aa606ce1ef08873be2","datavalue":{"value":{"amount":"+0.8407920598983765","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":"Q5089007$8451B8B0-D972-47C2-AFE6-3065DA81F239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb7522e68507b50e361e96f29d7c73bb4c21563","datavalue":{"value":{"entity-type":"item","numeric-id":4236864,"id":"Q4236864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c55d3045ec674b6cba0f5714ebc4073f701de54","datavalue":{"value":{"amount":"+0.7916930317878723","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":"Q5089007$2271CCA0-7817-4174-BFA5-3DCF057C18B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2af8d0f1c5dd63f416245c1c016dd895b8a36ff3","datavalue":{"value":{"entity-type":"item","numeric-id":3460910,"id":"Q3460910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f0ce479f5faf24089eaaf385cfb712fbedc9a12","datavalue":{"value":{"amount":"+0.765286922454834","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":"Q5089007$6D8A2EEB-84AC-4A83-B39B-476CDE57F2D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089007","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089007"}}}}}