{"entities":{"Q989516":{"pageid":991364,"ns":120,"title":"Item:Q989516","lastrevid":65865774,"modified":"2026-04-12T05:54:41Z","type":"item","id":"Q989516","labels":{"en":{"language":"en","value":"Type-based homeomorphic embedding for online termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5773818"}},"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":"Q989516$905A3FA0-2E0B-4984-B725-21967833AFD6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d8eb35702b24709977a3397c9321c4bae59d96a","datavalue":{"value":{"text":"Type-based homeomorphic embedding for online termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q989516$7CB11D9D-F6E2-4810-9274-6840DAC5D760","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f53c0044034db5ea810ad36fa6bf63bec8d2666e","datavalue":{"value":"1205.68508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989516$24BB42D7-19DB-44AA-82AF-7402494277CA","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":"Q989516$0FF2E88B-6785-483F-A63C-E62BA5706BA4","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":"Q989516$E23E1FD3-4A18-42D6-B03F-F69A62A526C3","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":"Q989516$71487F5D-1D61-45BC-8A23-14336762BD86","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":"Q989516$9BC72A14-FE38-4D3C-A3BE-055B2CC96190","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989516$78954806-7805-4779-B462-AE3D3AA9381F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eca87747cfd61cbf3bdf39bd7734ed4289af3510","datavalue":{"value":{"time":"+2010-08-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":"Q989516$BC736DB8-052F-43C1-A741-125401E58668","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4228d21095b3348e9ea20aa0b63610107aad8cc","datavalue":{"value":"68W25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989516$2620BFB9-3B43-48D5-8C77-BD84F3F4ED64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94cb29d0b3f2c96a4e0e8748ddf7e0ef6ca9642b","datavalue":{"value":"5773818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989516$B842B0C3-EDDD-4808-B26B-4FE39437E838","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90bc349d6d55eb8026148892e900ce256ffdd986","datavalue":{"value":"analysis of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q989516$FD219281-D40F-4E7D-ADBB-9BC02CA13E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q989516$09E058E9-727E-4FBF-9229-C40F77F11F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q989516$B28E32B9-5D5D-46E7-9C75-35DA60F3D4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6748f7d5a6bb4d607141f7a9b9ede168c3b1757","datavalue":{"value":"well-quasi orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q989516$45BDE6BB-4163-4863-AE67-C845D5D2B5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"129478efa37cf145d4fa5e5419fde0872def5341","datavalue":{"value":"homeomorphic embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q989516$FA15E22A-C363-453D-9BE2-0637E0C5752C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q989516$C4F49D57-A182-4A23-B156-F2A9E3155527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc31ada3e3f12a74e618e5c1565ffae33b3f6f70","datavalue":{"value":"partial evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q989516$161609DA-3971-44F2-B17D-D41B9DC8374E","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":"Q989516$D35F6D96-E925-44C1-A3E1-A74EEC692121","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":"Q989516$1252B4F8-671F-4380-A3B7-417D62A492F7","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":"Q989516$910F820C-C18E-44F4-B8F6-114D7A46FA82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbf2b79a7257a0c630e1229998fdba90863c933f","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2009.04.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q989516$84C4F8A9-3DCB-4959-AA92-B61C780EB72B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6377ea6ddb2b85c3f10386fd8ae655c4fc83f3a7","datavalue":{"value":"W2061746685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989516$B2691E40-7597-4EC5-BE2E-3CEB0C4FFBDB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c6a3a8ffc78b758e470bd174bc9d02c55eeff1","datavalue":{"value":{"entity-type":"item","numeric-id":5504591,"id":"Q5504591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989516$46793687-996E-41D6-8EF4-D1F3EC3C3C63","rank":"normal"},{"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":"Q989516$238F5425-66E0-4B8C-ADCE-35AD668C87E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5d31bfddaacd76a8f7da9f101f2cd8f268a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":5286916,"id":"Q5286916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989516$D130A912-19A6-4602-93A7-B61D62223732","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":"Q989516$8B78947F-D5E6-4D59-A798-26F6C9C9D5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989516$81CF7C46-C926-4BD1-B7EE-D390578A448E","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":"Q989516$9E71A36F-A630-4979-A464-C5BF4ED909B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989516$A127ECD5-A4BC-4524-A401-42E293E90245","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":"Q989516$CD90C482-53E6-4F6E-9008-34876A8346AA","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":"Q989516$316A8060-E985-41D8-A575-AC21E63A21BE","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":"Q989516$DF6DE9E6-0B3F-45BC-A177-47AF3FE371ED","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":"Q989516$5687CA00-1832-43E6-AE12-BE4795B1B66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7df5f08f29d324bee520ead47d7413ef6d9b300","datavalue":{"value":{"entity-type":"item","numeric-id":3129508,"id":"Q3129508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989516$DF767705-4E85-4127-BE5D-09FAD616C608","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":"Q989516$1534B2D9-9A90-41E3-9D5E-CF7F9BF458DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdc57d494fbcb2ae412b219180432879ba9ceafa","datavalue":{"value":{"entity-type":"item","numeric-id":3522065,"id":"Q3522065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989516$449A4D3B-8C15-44BB-B632-FCE3A36BA153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1815375bd2ff5bc0e8537e48c91ffaf8eafe04","datavalue":{"value":{"entity-type":"item","numeric-id":1313369,"id":"Q1313369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989516$F5116065-FC0E-4D51-8F18-9A1165D0B3DC","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":"Q989516$1093DF30-BAD1-44EC-B91F-ABE6B87A3BDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe0958284387f2ee11fd1b5ae6e64cf16b37c28c","datavalue":{"value":"10.1016/J.IPL.2009.04.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989516$664386F3-0089-4B07-93EF-E9DD3D1C8736","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"272064ca07f2eacbc661a4a924c0b30545c9d38d","datavalue":{"value":{"entity-type":"item","numeric-id":5504591,"id":"Q5504591"},"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":"Q989516$14DFAC70-9FA8-424C-A035-983AA6D61818","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":"deed39ad40fc6cc1641ec8b777bb28a0f0f6a3a4","datavalue":{"value":{"amount":"+0.7901310920715332","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":"Q989516$DEE98492-A65D-4E83-A27F-9A2ABCBD6387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"239146d1eca4d6cafaca2fa3d09277ce8f9e6e90","datavalue":{"value":{"entity-type":"item","numeric-id":4472539,"id":"Q4472539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2eef895431a14a5e9ec63a8fbe0b20247dad7c2","datavalue":{"value":{"amount":"+0.7498155236244202","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":"Q989516$5E9E4962-7664-4C18-A494-10F3AE46EC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950536c60c978ca974d38c7ed845a6898429c8fb","datavalue":{"value":{"entity-type":"item","numeric-id":5901478,"id":"Q5901478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00901bd516a16d885d6128eb08fbb9d5845f2d29","datavalue":{"value":{"amount":"+0.6967366337776184","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":"Q989516$950CD62D-55EC-40AC-90A4-12498FEDFC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae2ab4470147088fe29d6e8379b18e3df084a32","datavalue":{"value":{"entity-type":"item","numeric-id":5900207,"id":"Q5900207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2830c1087a445b0d86f86b5c0202b23df6703a7","datavalue":{"value":{"amount":"+0.6965073943138123","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":"Q989516$81135754-D255-474D-AE6B-3FB592FD12B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type-based homeomorphic embedding for online termination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type-based_homeomorphic_embedding_for_online_termination"}}}}}