{"entities":{"Q2988649":{"pageid":2999373,"ns":120,"title":"Item:Q2988649","lastrevid":58088307,"modified":"2026-04-03T18:24:29Z","type":"item","id":"Q2988649","labels":{"en":{"language":"en","value":"Probabilistic termination by monadic affine sized typing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721329"}},"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":"Q2988649$153C54E7-2659-4FA2-A18A-3E458FC29072","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f4831e93dd5ee4e2bf5d99a66b9d09959f84c1e","datavalue":{"value":{"text":"Probabilistic Termination by Monadic Affine Sized Typing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988649$ACA1E7D9-2481-492C-9B87-913D58BE9914","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b15528e7ad180587932348439f3db441fe9cb940","datavalue":{"value":"1485.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988649$5F46D536-25E8-4705-9B9B-252209DE8E9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a86d2f3ce58a50501596f79f7e92dd1b88928b0f","datavalue":{"value":"10.1007/978-3-662-54434-1_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988649$4E16817A-F101-45EA-924F-D0E723EDC747","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$C1EFA920-EEA8-469F-9652-9C83F95E868E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8585acf488394d94859dd8a321d9964f21e34279","datavalue":{"value":{"entity-type":"item","numeric-id":829825,"id":"Q829825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$4BCC27BB-3642-4444-B75C-366BB6168EE5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$472BE4BA-379E-4545-BDD2-FC06856AB69A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988649$87B49F3D-B0A5-4E0A-A936-05B5F148BCA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9371d7b448e6812995246edd0dc288e0865e4d3","datavalue":{"value":"https://arxiv.org/abs/1701.04089","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988649$361BBF11-3E08-49E8-BD6B-45826AE4CE61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988649$20D98CD1-FD35-4D3E-A163-BE52912A167A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988649$679D701C-16FC-4A8C-8E6B-323DF24BD2E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bccc38ccc5d6c850ebc7d2e905250dd0dbd0fec6","datavalue":{"value":"6721329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988649$65C65D9C-4BD4-4018-A5B5-0337DB481D0F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7b8bfcbbb8584ed9cd8fa8ae699d0634f4084a68","datavalue":{"value":{"entity-type":"item","numeric-id":21717,"id":"Q21717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$0FF68D34-CA43-4EB7-BF20-81D9BD06E548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6b3fcb0271dd0c2c597db890e550deacab936e2b","datavalue":{"value":{"entity-type":"item","numeric-id":20942,"id":"Q20942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$2A0925FD-C397-4EA2-A344-035B0B9AF494","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":"Q2988649$BC0EFD4F-AE0C-4C4B-969B-B63555A65934","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"009f9e7d94dfc1d5aee1f59c1839ed2b7d6cd32b","datavalue":{"value":"W2596582120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988649$45451399-D463-4767-B456-2ACB6AB4F7E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c9295458ada3d551f53992f0fe6aefb0e26ba4","datavalue":{"value":{"entity-type":"item","numeric-id":4939994,"id":"Q4939994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$A57E8C10-7AFE-4834-8FF5-FA7B93EDC767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c37086ac5ed0d60341aeba85e60e276ca9f5089","datavalue":{"value":{"entity-type":"item","numeric-id":3997653,"id":"Q3997653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$152AA876-732A-46A7-B94C-DB83096D927F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d05652188e444fc35e748b68b983451566933e27","datavalue":{"value":{"entity-type":"item","numeric-id":4856179,"id":"Q4856179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$BDBA8D07-B294-459B-A2F9-9D14A607F7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba5ad8860e2dfafdd492a4ade42b23f462631c32","datavalue":{"value":{"entity-type":"item","numeric-id":5261508,"id":"Q5261508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$7CD751E7-01BE-4BBC-A456-EFB463E07C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4c931786d4fc7c311f2d1f8f393efad02baa34","datavalue":{"value":{"entity-type":"item","numeric-id":5199185,"id":"Q5199185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$1B5EC08C-D775-4839-B59F-082AEAB3885C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c877c04c541a7428908ff8a8974c05cf812abc","datavalue":{"value":{"entity-type":"item","numeric-id":4808751,"id":"Q4808751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$A521CF79-2D85-4B96-8CEF-993606D27538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494704942889132fc5cd85d5e8b020c6a4a0b233","datavalue":{"value":{"entity-type":"item","numeric-id":2819834,"id":"Q2819834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$1D01983F-1AB0-416A-B950-F8EA1D556F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94843e74cff4f6c0a9c61a11a081fe4a8d98563b","datavalue":{"value":{"entity-type":"item","numeric-id":2828275,"id":"Q2828275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$F831E614-9A04-4ECD-91CA-A1BCE8E23D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b2e31ac893aa29128650b9cc43fa3a6b0fcfb14","datavalue":{"value":{"entity-type":"item","numeric-id":4633524,"id":"Q4633524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$6A74DCB1-5DF2-4229-B95F-1CCB019F4CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44cbf1fc2616a90273e8d3db1d96fae28ad400e1","datavalue":{"value":{"entity-type":"item","numeric-id":4218937,"id":"Q4218937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$89A97BCA-5F73-45E9-A1B3-EFD43B99123A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$A86D7DB0-D6FD-487E-82B8-F2D03CD71337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d41bc368794651eefaa5e01225b43165e58b5bb","datavalue":{"value":{"entity-type":"item","numeric-id":534712,"id":"Q534712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$69F46439-F84C-4FA4-9848-9EAB4E2CDB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"795254d11c081e37cfb0370023e0eca773546855","datavalue":{"value":{"entity-type":"item","numeric-id":2988649,"id":"Q2988649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$5ED86123-C8C0-46B7-9E3B-E88D840AAE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26dac06384dc787a405949068340510a6602af80","datavalue":{"value":{"entity-type":"item","numeric-id":4463991,"id":"Q4463991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$E3310824-5291-4438-B795-AA5E2B235C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce4c2361ad25be1e2dbfc97b6b7c482747c81ff","datavalue":{"value":{"entity-type":"item","numeric-id":5191089,"id":"Q5191089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$052365AD-2A41-4912-94CC-B43BED8D417A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7aefe830c417bbf0aaa4cb5862ce28580e41e47","datavalue":{"value":{"entity-type":"item","numeric-id":3540199,"id":"Q3540199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$2508D17B-9B58-494A-9672-74910354DCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e490f73f7bd52f2b2f1266074fe30c748649c285","datavalue":{"value":{"entity-type":"item","numeric-id":4659886,"id":"Q4659886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$4EC5012A-C9A7-41CD-A037-1B437607D5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48620b6ef8d3e93628ce4433fc27784165b6cd3","datavalue":{"value":{"entity-type":"item","numeric-id":1850960,"id":"Q1850960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$140976B0-5C17-4CA8-B5C8-8B392AF52FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3359d8b4d74be6e0e3bf9e0913876379e1e59105","datavalue":{"value":{"entity-type":"item","numeric-id":3839066,"id":"Q3839066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$091BC4E7-7E4F-4359-BE13-A94A0DDD3990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd49cacaad2bba32371c0649c7914f9763803f6","datavalue":{"value":{"entity-type":"item","numeric-id":5703859,"id":"Q5703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$16EAC801-AB6B-456B-A61B-A1A5A7F72A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfe8d7166c9d4ee791a8b4cb10be7139074756aa","datavalue":{"value":{"entity-type":"item","numeric-id":2947890,"id":"Q2947890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$63CD3F3A-8C52-48FD-A270-4D52FF8462A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f13ee7881efe3d3b4e3a7408a633bf14eb0a2b49","datavalue":{"value":{"entity-type":"item","numeric-id":2343130,"id":"Q2343130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$67493B7E-A475-44DC-B40D-7EAA2B169705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f751f0a8276c3dc7012bc64246ffe3e1ea60f97","datavalue":{"value":{"entity-type":"item","numeric-id":3166988,"id":"Q3166988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$217974E6-CE57-4A20-8699-A7B9CDA0851F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e137c878ec0577b699fe6022ebb4b45e205d0000","datavalue":{"value":{"entity-type":"item","numeric-id":2905328,"id":"Q2905328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$A50F5382-6D2A-41BB-B957-D5833FC34BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55845186a8aa93134551753376d39f2708562c4","datavalue":{"value":{"entity-type":"item","numeric-id":5417673,"id":"Q5417673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$34EF4F2D-DF3A-47A3-94AE-489A9A935F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85694606be4006c9cd1a11cd23a0af7bbcc9dc4c","datavalue":{"value":{"entity-type":"item","numeric-id":4899111,"id":"Q4899111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988649$965A638E-94E7-411D-AD10-07C4AB06BDB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3469a3d18b764a91eb7f34046613eadaace5a98","datavalue":{"value":{"entity-type":"item","numeric-id":2819834,"id":"Q2819834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6277a6cf39a7f2f81c1b2c8782ce500f15f0f379","datavalue":{"value":{"amount":"+0.7909861207008362","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":"Q2988649$E47B543E-C44C-412B-9ADD-8986E5EDE502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ff16d64fe4d89d095f2c0f8846c09b5d767656","datavalue":{"value":{"entity-type":"item","numeric-id":6166145,"id":"Q6166145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7d07030cde5e097da8775e1cafd39f821f8ee1c","datavalue":{"value":{"amount":"+0.7803765535354614","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":"Q2988649$9CBAEE53-C6F2-48D2-AD96-431B9E962EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f0fdd257d206239f5396495178802c69c4b0a1d","datavalue":{"value":{"entity-type":"item","numeric-id":2828275,"id":"Q2828275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b47d303ad7734925a33e86f409996b20f0d97588","datavalue":{"value":{"amount":"+0.7712523937225342","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":"Q2988649$77D5BE72-B511-46A7-9704-5E5B574F4362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2624f151825fcc7a29898b32e9a0f9e52145bb83","datavalue":{"value":{"entity-type":"item","numeric-id":1648879,"id":"Q1648879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68b758cae4dbea36dd2c9e268c7e8c24d700d5a3","datavalue":{"value":{"amount":"+0.767527163028717","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":"Q2988649$39357874-3D3A-4C81-8808-C2A1DAF99E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca0e16081ebb566f5707aa8bf9f857a9fa78b02d","datavalue":{"value":{"entity-type":"item","numeric-id":4484343,"id":"Q4484343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e362a60498198f460f668a6b749c90133f0d0a9","datavalue":{"value":{"amount":"+0.7633708715438843","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":"Q2988649$DF8FFABD-27EC-4B4D-9217-0EFEB47D51DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988649","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988649"}}}}}