{"entities":{"Q5504591":{"pageid":7534151,"ns":120,"title":"Item:Q5504591","lastrevid":96368795,"modified":"2026-06-05T11:03:30Z","type":"item","id":"Q5504591","labels":{"en":{"language":"en","value":"Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5496625"}},"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":"Q5504591$B5D9DCF6-349C-45F1-BF87-41C8BDDBACCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b4289b3dffb6d4588de9a2cedb77b0208988084","datavalue":{"value":{"text":"Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5504591$347516B0-23B4-40FD-84D0-8C0B112B2BF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05cdb4fc1b53d228a957ac59e22aa00398c3fb87","datavalue":{"value":"1179.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504591$94EC282C-B3CA-40BA-ADB3-C4ACB1E26799","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d86bbcd95afed260330f5c7625a7d5921b67d22d","datavalue":{"value":"10.1007/978-3-540-78769-3_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504591$3E44BFFA-3BF4-497D-AEDF-280541276B4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db02a25ee0188485f9ab7c84ccd406f8866487b6","datavalue":{"value":{"entity-type":"item","numeric-id":232928,"id":"Q232928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504591$BA267510-7925-4413-86C2-05B1237E6EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2c13ddb28c279be9eed2b39004f69512bab7c50","datavalue":{"value":{"entity-type":"item","numeric-id":238502,"id":"Q238502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504591$4B0117A9-7EE7-4DD4-B48C-6EE065FA3BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2f5c7b71b96166a103050eb41122d48b5fbbacf","datavalue":{"value":{"entity-type":"item","numeric-id":989515,"id":"Q989515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504591$60E9F83B-F9D0-47A0-B430-3C7F50A12E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08713bd984f0db2e5b63dc9c1aaebc82280c11b","datavalue":{"value":{"entity-type":"item","numeric-id":493523,"id":"Q493523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504591$F698C10C-FFE3-4766-A6F8-7E00CFB7DCA7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504591$FD3A2DDE-81F4-4E63-8ED3-83375F6CBCAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2844be9af34a276fa39e2e4031f3513bcfe525d4","datavalue":{"value":{"time":"+2009-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5504591$5A37EA22-2487-4C0F-B836-57B043FEFFCD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504591$C23D555B-C00C-42C0-9A93-E54FD1722C49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"019514fb35b6275e835f26a148de189c2de8cb5c","datavalue":{"value":"5496625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504591$B3860C8A-D021-4343-937F-55D31356B982","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f900c00b9c1039bd7128859b5e56ec82deed0417","datavalue":{"value":{"entity-type":"item","numeric-id":20342,"id":"Q20342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504591$4D9FA60D-F211-4DB7-8C98-8DE1B77BF80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91dd7e13f71e3e62484b361def521e363c006e6b","datavalue":{"value":{"entity-type":"item","numeric-id":16380,"id":"Q16380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504591$32CDFD7F-54D0-4D52-9FAE-DDB9FD8958AF","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":"Q5504591$F5064070-1DB8-424B-AAB9-6475FEF4DC6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cf13af4af1e4ec2cd186a1dceae57d52b8e18a7","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78769-3_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5504591$4F90ECCA-EDD8-4098-9FDA-01C5A1395FF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78112d021ba1e2138f2696cfb74baeada3e984c5","datavalue":{"value":"W1556774584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504591$34DFA3A6-B47F-4D90-86BE-119C69E2FF68","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93330c977379fb9c207074d0459620d009b7f6ea","datavalue":{"value":{"entity-type":"item","numeric-id":4413065,"id":"Q4413065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504591$52B89385-7AC9-487F-8746-2C5E6889957B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92d2d9f513d782d94674e4b827f48a9e69d1ab79","datavalue":{"value":{"entity-type":"item","numeric-id":5302883,"id":"Q5302883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504591$4993FCBD-A689-4088-9349-B16E0943B5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"033821806b42c31e0937f2d1fea5163b7f5b3630","datavalue":{"value":{"entity-type":"item","numeric-id":5897427,"id":"Q5897427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504591$23232F0D-68D2-4B57-8726-F76110D7B0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504591$133EF310-C521-4CED-BACD-FE9347E165FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504591$9A491A42-9E6C-4138-8679-D31877C3985B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e5b43c5f0e711ef91c4f8e7255199d25558fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5541375,"id":"Q5541375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504591$0229EC5D-840E-4D1D-882F-CE9774CF84A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c0cef408c2c9206603a8a9ef5c91000f1b63d7","datavalue":{"value":{"entity-type":"item","numeric-id":4414739,"id":"Q4414739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504591$76CB72C4-2B54-45F5-B733-EB26E883CFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dce3c2e75c2ce94c37447123ec1c37ac00aeec39","datavalue":{"value":{"entity-type":"item","numeric-id":4452606,"id":"Q4452606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504591$DC9F5C0E-20C2-4348-A06E-E415665C9513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b1b08756d91316e1d97aa4b3cacebc09d7bda5","datavalue":{"value":{"entity-type":"item","numeric-id":3988796,"id":"Q3988796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504591$123D099E-560A-4249-80BC-BC60E1BC4646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504591$B5E3C770-E185-4F4F-9798-E93E687CABC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15073390dd1260ee5e167563f0e9c459c4436960","datavalue":{"value":{"entity-type":"item","numeric-id":796313,"id":"Q796313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504591$1E46CDC4-9E3A-4818-BDBF-588D55296946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70feac805ea98883d2ba0568d3d9b78de574148f","datavalue":{"value":{"entity-type":"item","numeric-id":5458800,"id":"Q5458800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504591$B9B84808-DA0C-41A5-93B0-403E8BCEBB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa3d3be3ec5b2236a70027245a7bc4b849ec1795","datavalue":{"value":{"entity-type":"item","numeric-id":3613381,"id":"Q3613381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504591$1A915171-C533-4D5D-A329-0CBE0B05976C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cec6c49db5f12e0ec3e401cc0c8955db1ee6c9","datavalue":{"value":{"entity-type":"item","numeric-id":4339846,"id":"Q4339846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504591$0A7717E8-69A3-4EDD-A047-84A199CB2B51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3afaa1d9e192a07ad4baedffba163d0eab9820d8","datavalue":{"value":{"entity-type":"item","numeric-id":989516,"id":"Q989516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b498ef2c1c6bb10ec4f1291a8b18eb2dc504a50c","datavalue":{"value":{"amount":"+0.9403499364852904","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":"Q5504591$162451DD-D6ED-41AB-B0D5-73294680A03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e436a33581947d2af9cd0e6bccde79b2df7fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":4414739,"id":"Q4414739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"666e5b29863229edc86fdbfb9ac0386306f5d386","datavalue":{"value":{"amount":"+0.7481777667999268","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":"Q5504591$B75102E5-4B09-4109-8CC3-BAF0B21D50A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d938c0e44232e85822887c6d863e82e4ec3bca","datavalue":{"value":{"entity-type":"item","numeric-id":5423553,"id":"Q5423553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75f8e285af5e0b1b8f11842fe0f6428b76fe5bbb","datavalue":{"value":{"amount":"+0.6681340932846069","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":"Q5504591$D23E87CA-707F-4EA3-96C0-54420330E0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72aa8b6de59fa6a24dccaf7a741a4368f2d51bc3","datavalue":{"value":{"entity-type":"item","numeric-id":4494371,"id":"Q4494371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7501daaf531e7f69dcd72eb4d4d7f454018ebb04","datavalue":{"value":{"amount":"+0.6648089289665222","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":"Q5504591$9216C1DA-1BA1-4E49-A68B-D78151522E47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type-Based_Homeomorphic_Embedding_and_Its_Applications_to_Online_Partial_Evaluation"}}}}}