{"entities":{"Q511025":{"pageid":512792,"ns":120,"title":"Item:Q511025","lastrevid":52742918,"modified":"2026-01-23T10:04:29Z","type":"item","id":"Q511025","labels":{"en":{"language":"en","value":"Abstract conjunctive partial deduction for the analysis and compilation of coroutines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6684504"}},"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":"Q511025$2486134D-EA03-4DBA-AE64-BBD6B59E89FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f44ebecb564cfa766d3699928cdca6d992e03e5","datavalue":{"value":{"text":"Abstract conjunctive partial deduction for the analysis and compilation of coroutines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q511025$7930E3A8-3AAA-45EC-B2B1-49AC065A0042","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae06a05a19e54d4f13b276f653352edb8c03a8bb","datavalue":{"value":"1355.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511025$0ED8440A-1FE2-4FDB-B9A8-08BED66613AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"853a2af65305bd2fb8338ddb3bc82056e7e220f5","datavalue":{"value":{"entity-type":"item","numeric-id":511024,"id":"Q511024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511025$B58C9B92-8DFE-4D10-AB1B-49714B1389FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19ef65edb47a3907b8782d56d731ecf0cd5121a4","datavalue":{"value":{"entity-type":"item","numeric-id":199253,"id":"Q199253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511025$9DAB5D23-8D30-488B-A005-D84649BF4838","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511025$87DABABE-6C95-4AAA-A3D8-C33F4C6F91BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db40ba1d53c33135c8dbe5d4d9cf42f70aa50a74","datavalue":{"value":{"time":"+2017-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q511025$50D04280-95E0-480A-9CF7-1F7E36BAA9FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a37e1bd4ef84767f979ac65bde22d2ddeeca553","datavalue":{"value":"https://lirias.kuleuven.be/handle/123456789/544182","type":"string"},"datatype":"url"},"type":"statement","id":"Q511025$5E4FC92C-123F-4E1D-8810-0A01FDA50253","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511025$4DA44A0D-49D3-4F95-A3EB-EC344F20CA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511025$595CB6A6-21E9-4555-88A3-DF110222B896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511025$35EFDE8C-D231-424A-942F-F79A7E869932","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a74c8baa669352d8260160bf45c7550c788c3dda","datavalue":{"value":"6684504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511025$90F489D7-AFEA-430A-AA34-A7F2A6FF8343","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e15c754b64898fe0d1dcb6b72823d69d3ef25125","datavalue":{"value":"coroutines","type":"string"},"datatype":"string"},"type":"statement","id":"Q511025$E0B340D1-9C8C-4A4A-A11C-2CA9ECFFF355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b32d2617a91de5ea3bfc7aa14c75aa6c55a1dc75","datavalue":{"value":"compiling control","type":"string"},"datatype":"string"},"type":"statement","id":"Q511025$95AEA853-B07E-44EC-904D-72253AA8CCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99a438d9ff070a2500965d53c1f462b908286960","datavalue":{"value":"abstract conjunctive partial deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q511025$0663F4CD-2BA7-4125-8687-D0A5A39BFC37","rank":"normal"}],"P1463":[{"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":"Q511025$089643A6-3DE0-48E7-8FE1-4AEFD1980FBB","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":"Q511025$3297053D-DA17-4992-8532-DC96A73B349E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6585a3983a762ec6ad9e71c7ed348232e41989ac","datavalue":{"value":"W2509164840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511025$D42C5B8A-8DCA-44A4-9723-119482934D2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"379abbca003d584882bad9f70022e11410225ae2","datavalue":{"value":{"entity-type":"item","numeric-id":3821563,"id":"Q3821563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511025$2ACB35C5-5B16-4846-A85D-2C23C34D4BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511025$69C8101A-5FE0-43E8-A954-8EC4F1F44881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feccb3c5400245c95f52ccbdc01d37348d2ee730","datavalue":{"value":{"entity-type":"item","numeric-id":5748872,"id":"Q5748872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511025$297B154A-2F87-45B2-95E1-8482DF7B7954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d331af7e92433b34c365e6444eec7a3e4b80ac8b","datavalue":{"value":{"entity-type":"item","numeric-id":4593003,"id":"Q4593003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511025$831C1D5D-B8F2-43FB-BB81-07CB3BCF6EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0705daecc5ffa3855114e3599480f53a82f40e64","datavalue":{"value":{"entity-type":"item","numeric-id":4939538,"id":"Q4939538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511025$2CB91967-0792-411B-8767-FA23CADAD9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f391f11283fba0836659071777e5c01ed75ed58","datavalue":{"value":{"entity-type":"item","numeric-id":2949697,"id":"Q2949697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511025$F862D319-7E13-49DB-93BE-ADCEFFE12A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9c6f0dba5955a149fe4ed95914c1db597f2b8df","datavalue":{"value":{"entity-type":"item","numeric-id":4669648,"id":"Q4669648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511025$D5EDC271-05FD-4699-95D2-F6314AA8813E","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":"Q511025$52A6392E-DE17-4031-8FD5-1AC8B40BFC53","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":"Q511025$BB9C683D-F7EA-44DF-A0BD-AB08EDA4F98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19152fd97f1dc2bc69d9c355fb3076fd9a1e68e0","datavalue":{"value":{"entity-type":"item","numeric-id":1314419,"id":"Q1314419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511025$C88DE221-BBE5-4204-B87E-DCB280DE5E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511025$8C29D597-7211-4A46-AF6C-4B4BE51095D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ab3ef4076b687053869fb317ef85739e97f281","datavalue":{"value":{"entity-type":"item","numeric-id":4911136,"id":"Q4911136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511025$41E48897-5299-46AD-913C-39FA5AF6C9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c05e021eb7025874e91f9c8c80a4c865a488f7","datavalue":{"value":{"entity-type":"item","numeric-id":5116738,"id":"Q5116738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511025$F20721DC-09E6-49B1-9C7D-72B16FCC7150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8d76c6c2a703677e15081f90265ace1b4e83d2","datavalue":{"value":{"entity-type":"item","numeric-id":4305629,"id":"Q4305629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511025$3D25C625-C9A1-4D4C-9041-E5D80F8A96E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea188bbd7f2292a6639d06404759d777112d771c","datavalue":{"value":{"entity-type":"item","numeric-id":699926,"id":"Q699926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511025$F9C28BD8-DE24-4527-8E4B-6E8C378F29C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d30057d1d896d182134df9cee06d2d8c3fb202","datavalue":{"value":{"entity-type":"item","numeric-id":3003494,"id":"Q3003494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511025$D043DE07-546D-40F4-AA97-5491B10E25AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10dc21e14e68862bd7caafd4a7e53e8e322f4ce5","datavalue":{"value":"10.1007/S00165-016-0389-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511025$5A03F9CF-530C-44E1-B928-1B9376BB646E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d94f983b4b5fa008498539ccff0bf278ddcbad4d","datavalue":{"value":"Q130888944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511025$61A4FE88-3F0C-4ECF-B7A8-54BCF728C6D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c33528a2ab0bc46734ae591d1a7422726916345","datavalue":{"value":{"entity-type":"item","numeric-id":2949697,"id":"Q2949697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c274f5ae43109d05af23be9c1ac6ea696a595959","datavalue":{"value":{"amount":"+0.9764222502708436","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":"Q511025$8A754315-4FEF-4D85-946B-EDB9B4E0B1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebfd2f24b30bfff8b4e4203bd0e845e310e19a2","datavalue":{"value":{"entity-type":"item","numeric-id":4012712,"id":"Q4012712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c2aedb7457f36dd949075703bfdb38e45e14480","datavalue":{"value":{"amount":"+0.719233512878418","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":"Q511025$7BD15D41-E38E-4D15-9CE0-60B00C06B2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd39c23d333d50a85c9612566f870f4a9dee8c99","datavalue":{"value":{"entity-type":"item","numeric-id":1318725,"id":"Q1318725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b44c479ec5f47de61d22403984f36a51fc011b4a","datavalue":{"value":{"amount":"+0.7174239158630371","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":"Q511025$D26C2665-2522-4061-9DF3-69F02435790F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cafa8c43cf993556b5a59272a439e157f5dd619","datavalue":{"value":{"entity-type":"item","numeric-id":4939538,"id":"Q4939538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e720079a1bdb9eab1209462fbc7eb7dd9efee134","datavalue":{"value":{"amount":"+0.7157121896743774","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":"Q511025$4D31E32E-6933-4D03-9FD6-D9F5D970FFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd49c9a46bf633252e6b955cee3bd0a1f2a8122","datavalue":{"value":{"entity-type":"item","numeric-id":5748872,"id":"Q5748872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4882c3bef765c00df06c540d1f523203bd77f7f","datavalue":{"value":{"amount":"+0.7153682112693787","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":"Q511025$49C3C8DD-2308-4EEB-B29E-A411E48AD52A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:511025","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:511025"}}}}}