{"entities":{"Q4909326":{"pageid":6938905,"ns":120,"title":"Item:Q4909326","lastrevid":51667226,"modified":"2026-01-19T09:08:41Z","type":"item","id":"Q4909326","labels":{"en":{"language":"en","value":"Probabilistic termination of CHRiSM programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6144107"}},"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":"Q4909326$5BB0AC67-C8BC-4209-AEEF-4B9DA32B8BB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68118508ddf42d8af9de43a8a70e48fa55590a95","datavalue":{"value":{"text":"Probabilistic Termination of CHRiSM Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4909326$153121FB-9349-4B79-A9A4-5689F57418BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da5d4bbdfdf4a2a7b805b3e8d219069ecd0d1805","datavalue":{"value":"1377.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909326$86594A27-D660-43F9-AF6F-F03FD9865D82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1585d14e71465c29425f2d7faf16598a2a3723cf","datavalue":{"value":"10.1007/978-3-642-32211-2_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909326$D1169E3A-870F-46DF-9C63-4F8EBC8C9FC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f89451ec37a2723de4d26efc8aa2bec8f6806508","datavalue":{"value":{"entity-type":"item","numeric-id":3400958,"id":"Q3400958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909326$610A033F-231F-46D8-9C75-91E9186C2FB9","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":"Q4909326$CE96A473-E66E-46B2-999C-AE60E324CBFF","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":"Q4909326$8572961C-D798-48FF-8B1D-584E5CD79C22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1483deb76331c5364b733486f7a01dd6a7f43ab5","datavalue":{"value":{"time":"+2013-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4909326$6F01C284-6780-4170-BB9D-6A272BBB1B2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc9c30f8e46a8947244cd8884f65872a073fa300","datavalue":{"value":"https://lirias.kuleuven.be/handle/123456789/370411","type":"string"},"datatype":"url"},"type":"statement","id":"Q4909326$2785AED5-CBBF-4FCE-9E11-1F1D6DA7FACB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909326$95E28136-0896-4EFF-95A0-A131395A382E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909326$CC5568F4-E3A4-48A2-A76D-1B4BEAD24A91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ff9f7cb846ef34816d6a0e978f96d8a4df3d510","datavalue":{"value":"6144107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909326$038A2E0D-3000-41AB-A2E8-02123C69D85F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f2233143951bddc905b7237274c784a4a18186","datavalue":{"value":"termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4909326$502A7FBE-3FD3-40CF-B5AB-5F5DD46D11EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d231754412a029643fe5186ee89e0712b2de558b","datavalue":{"value":"probabilistic LP","type":"string"},"datatype":"string"},"type":"statement","id":"Q4909326$74EA716C-6943-4877-8808-771C4816A78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa6c1af556f0abb9c251174f4df14ad1908b31ef","datavalue":{"value":"constraint handling rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4909326$62D9E52B-BD75-40AC-9227-5754C939FB2C","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":"Q4909326$4205A329-E670-4DE3-A98B-F29EFA298A64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"998f8fa6b87148a0a664a6bfc848a07b311094f2","datavalue":{"value":"W1522121558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909326$CDEED6EC-18CD-454F-A802-6E7E6FD2BFBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e896688832767c7418eedbbcbb6bc5ea6d3f7ed","datavalue":{"value":{"entity-type":"item","numeric-id":5504676,"id":"Q5504676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3356e7cbc6b1329f9e78cff366403091fbc82403","datavalue":{"value":{"amount":"+0.783616840839386","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":"Q4909326$0525A928-4BB7-4193-BBD6-389047FD5A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c991114eac56227add10f5402c9e986afc8f2e9b","datavalue":{"value":{"entity-type":"item","numeric-id":5325775,"id":"Q5325775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5a2a90c3a3877739598483b220bfa739cc58663","datavalue":{"value":{"amount":"+0.7687901258468628","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":"Q4909326$9290F4AF-2233-4941-800F-E1292C6237B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b58d7fddb0ec0ca24ff7ceba2e8810147b2a09b","datavalue":{"value":{"entity-type":"item","numeric-id":4909324,"id":"Q4909324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baa26092930bb81c03f76c38236a0bea4a81947d","datavalue":{"value":{"amount":"+0.7521982789039612","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":"Q4909326$340D76D5-AE4E-489D-9904-5FECE1B98818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b0f2ad64d5c4db28cf8a40f2d6ac8937b2eded1","datavalue":{"value":{"entity-type":"item","numeric-id":3585158,"id":"Q3585158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a1de87bbf5eba6ca44691e66da9aae83551ea22","datavalue":{"value":{"amount":"+0.7508352994918823","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":"Q4909326$2DF61983-D4EF-4A65-B5A8-6724058395C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"946b146c774660b2d632eea9647041f3e64ba173","datavalue":{"value":{"entity-type":"item","numeric-id":5325774,"id":"Q5325774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f3591eb8d856a3fa1234158d68d43690af1a6d0","datavalue":{"value":{"amount":"+0.7453044652938843","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":"Q4909326$C64656F2-5D6D-4061-9928-4DD2E1DC0407","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4909326","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4909326"}}}}}