{"entities":{"Q3829054":{"pageid":5858960,"ns":120,"title":"Item:Q3829054","lastrevid":54466331,"modified":"2026-01-26T23:44:54Z","type":"item","id":"Q3829054","labels":{"en":{"language":"en","value":"Probabilistic semantics of terminating programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4104366"}},"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":"Q3829054$FDC4C7B8-BF11-4422-B9D8-81DC86C37678","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1929ac49fb330a2c392fae9707b38b426c8deded","datavalue":{"value":{"text":"Probabilistic semantics of terminating programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3829054$8B609D22-C5C7-4998-8AA1-B501212EAC5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac9c357ae2f56b46054a844afb9685d428087a6e","datavalue":{"value":"0674.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829054$8809CFD3-4BEC-4FE5-A64D-68CBFF3DF4C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9daca31b03c1c18e37626ae433290ae882c3074e","datavalue":{"value":"10.1016/0041-5553(88)90146-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829054$1363E9DE-BBF6-44F2-863C-097659C73062","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67759bf55d4ef27729ca69109b89fdc47f65c962","datavalue":{"value":{"entity-type":"item","numeric-id":3757370,"id":"Q3757370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3829054$F1FA002B-328E-42C4-ADFD-A7AAAE79AB76","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6f4b1db0ab0436e2a2713ddf38687a4e091b14eb","datavalue":{"value":{"entity-type":"item","numeric-id":133658,"id":"Q133658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3829054$5BB5F5AA-4833-4629-9DFB-E4910ECF75E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3829054$11A3AEF5-D9F4-441D-83D2-EBCEFC03863E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829054$68629812-8EB5-4495-B060-B2A86533C059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829054$99FD2565-300A-4F46-8020-D3DCE39D84D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25670b01cbd5a9e4afdf1bcf2ca8a752082889f2","datavalue":{"value":"4104366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829054$B25146A5-0121-4110-A999-B1A0EA06CFF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829054$BFEA394D-96DD-4FF6-9899-EFAF6FCA1694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2521c5f0bb760273e433a26fe394acbb2d74a962","datavalue":{"value":"measures on set of memory states","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829054$F5C2ECF4-EF36-43EC-B2F6-57BD4AB1B5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829054$627FD090-9AB8-4AAA-B0D6-7BD5F9AD102D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6232a2ad26f2a825f52c3322d7bb34517098c761","datavalue":{"value":"language model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829054$92A3C2B2-921A-4F93-9C28-7D108FD71909","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":"Q3829054$CB33ABE5-6AB8-4CC9-8E7B-8E63A945B3CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"738fc2c63da6c4d7ba02b30b96b0893cffe86ecc","datavalue":{"value":"https://doi.org/10.1016/0041-5553(88)90146-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3829054$7ABE20A6-84E3-4884-9131-3261DA6E9BED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c03bc63eb2b6829da553a64801d636fde0a37c2","datavalue":{"value":"W1997743912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829054$6038FD14-7731-42B6-A163-8ACA85C7288A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3829054","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3829054"}}}}}