{"entities":{"Q1051414":{"pageid":1053262,"ns":120,"title":"Item:Q1051414","lastrevid":69720621,"modified":"2026-04-13T08:56:43Z","type":"item","id":"Q1051414","labels":{"en":{"language":"en","value":"On infinite computations in denotational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3812926"}},"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":"Q1051414$07EE7139-6AC1-4CEA-A6C4-3A0D2756F07E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d60eaaf943ec61ed7eebdaba1a82a337ffac85a","datavalue":{"value":{"text":"On infinite computations in denotational semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1051414$4703E43C-3C26-4F95-BF45-8DFF6BA4A5EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3c48d180480b558ccfdf11f7f0d41db0311a4c4","datavalue":{"value":"0514.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1051414$867E624E-BBC1-4165-986C-FBB7DBB24174","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98d3f0248c91573c09bbf7c9026039eb72aa35e6","datavalue":{"value":"10.1016/0304-3975(83)90079-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1051414$F6C81C7C-E3B9-43BC-B29B-F5A40BA6E889","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a570112bd3074b9470b5a0d571863e20309ed27c","datavalue":{"value":{"entity-type":"item","numeric-id":789889,"id":"Q789889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051414$EEC1D32B-9503-4063-AD3A-3FC412318B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c4fe77fff21ad74d81092c085b4a78f8093906b","datavalue":{"value":{"entity-type":"item","numeric-id":375309,"id":"Q375309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051414$A420B961-C467-43D5-A155-51F5507DAEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fbe49172b70054d929e5137c1186ec5713f7e5d","datavalue":{"value":{"entity-type":"item","numeric-id":478398,"id":"Q478398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051414$5992BDA7-069B-40F4-81F9-41A2D36E1566","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051414$F18BE807-423E-4B91-BB7C-99C315781114","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q1051414$B54C328C-6522-40C9-9F68-B9089DFD6167","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1051414$9A340913-47A0-4D5B-8DFD-5670FAEC52CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76537507d1371da48a7742a661d7b4794c19fa48","datavalue":{"value":"3812926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1051414$51E8CF6F-7399-4FC4-90AC-A86406E04449","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bf40d767c64624931b686e81b905c7b43bef72","datavalue":{"value":"infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q1051414$F86F22CE-B80F-4DE4-A8DA-6E67B6776A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1051414$0AE66226-8EC9-4963-A5E9-018E1918DB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6557882288bf9655fd574f70dad22faf6b2e9a","datavalue":{"value":"nondeterminacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1051414$1738903A-5FF3-44A7-93EA-A1687C3EE8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199c60de1e7b1805727a447210896226c6321a81","datavalue":{"value":"weakest preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1051414$A83E31D2-1802-45EB-9D57-E70BED182756","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":"Q1051414$060723EE-CB0B-4737-9482-6918EFF9513B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5031efcad180902d77f6dcb30a87b7a76398ce69","datavalue":{"value":"https://doi.org/10.1016/0304-3975(83)90079-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1051414$7E04931F-1036-47DA-84F5-5D2DE5BC493A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a24225472d0a98473ac3a1c4aab39a700f161086","datavalue":{"value":"W2156580025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1051414$2F698F1F-5533-4AA9-A9EE-734F354D42A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26e00c153459bdbd242c7f50de953c2bdc3daaa","datavalue":{"value":{"entity-type":"item","numeric-id":3917476,"id":"Q3917476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051414$BEFEB2B0-176C-4E2B-8DE6-B80DE1AD44A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13637c329a859369d956f00d5ad44bbfb24c2365","datavalue":{"value":{"entity-type":"item","numeric-id":1136494,"id":"Q1136494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051414$C2C16A70-D90F-4503-B64D-53E5F38F0E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c657890d3e4e594c9603629a24d3f25e9e327278","datavalue":{"value":{"entity-type":"item","numeric-id":3860820,"id":"Q3860820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051414$13837360-FBAC-4D5E-9B89-C9FBCA4DE719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051414$215840DD-190C-43CA-8D50-15F42699D39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b42d18e3cc0859435e91895f17f6ec094cbbbb","datavalue":{"value":{"entity-type":"item","numeric-id":5649409,"id":"Q5649409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051414$77BD2640-4ADE-47CA-8287-4A6F75EFA69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606a1ba0b25e8d1bacb0f033a5b4ac81479cf171","datavalue":{"value":{"entity-type":"item","numeric-id":1157971,"id":"Q1157971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051414$6C0EAF6E-63C4-4ECE-90E8-54C160CA1DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051414$B6B3B1BE-E662-45F1-B259-06E295551A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051414$2673BC81-FB2D-40FA-95C6-16B4A71617E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2bf8ce9aac73bf50a8b75ec97283321f86bf552","datavalue":{"value":{"entity-type":"item","numeric-id":4168046,"id":"Q4168046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051414$972B41A7-BA8D-43E1-84FB-3E5967C888F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"381491cff3b69e06c0c0e98db657501f3cc96724","datavalue":{"value":{"entity-type":"item","numeric-id":4133080,"id":"Q4133080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051414$6E2CAA43-ED3A-4B28-9BEA-EE7EBA80048C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba5e2324f149dbe2e1e967c7649328144557e5db","datavalue":{"value":{"entity-type":"item","numeric-id":4147597,"id":"Q4147597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051414$8847E0DF-F52F-4F7D-8D66-996D30299110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2159dd9c5a98c068eb1d54cc56d1f54410d08a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4168081,"id":"Q4168081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051414$63A22565-B7E0-476F-91CD-FD0CF55009BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c2f03ddf184e0a48ae79021ba37eed12ad78ce","datavalue":{"value":{"entity-type":"item","numeric-id":3857704,"id":"Q3857704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051414$D51F29DE-F6F1-4838-A4B0-65B707C2DE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be2d7a498e1fa1a8eec9f77d2e3dbc81e945234","datavalue":{"value":{"entity-type":"item","numeric-id":3906397,"id":"Q3906397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051414$D2B35999-43B5-4CE4-9F24-E6A93AEB6829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051414$14AFFBD8-5E7F-4599-859A-61FD80C08301","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On infinite computations in denotational semantics","badges":[]}}}}}