{"entities":{"Q3203061":{"pageid":3213769,"ns":120,"title":"Item:Q3203061","lastrevid":49446088,"modified":"2026-01-07T04:19:59Z","type":"item","id":"Q3203061","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4179422"}},"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":"Q3203061$365DF1D8-B19E-4830-884F-1D0857BD3B45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab8e6d226428ae5d696a2de43aba3b37574f1e3b","datavalue":{"value":"0716.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3203061$5CF52160-D924-4CDE-AEBA-9FE79D025455","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3203061$4B4E9B04-C3A4-4FE7-868B-F2D077AC314E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d0633996bed6fcd5f9ac2de3832c718934ff296","datavalue":{"value":"http://homepages.inf.ed.ac.uk/gdp/publications/Prob_Powerdomain.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3203061$9E8C566A-52C6-41C5-9EF6-10D5019E4519","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3203061$C5443845-E7FD-4AE5-8E9E-EBF64A86F0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3203061$BC42E4A3-07E7-4A04-8DCE-58DE278422B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3203061$63D00DED-A817-4CD5-B77F-90CC0ECE3A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3203061$D375E32F-757A-45E1-93CD-45B4B3906A1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65c13bef32c59fc9b7a80161c9b270eb69088d99","datavalue":{"value":"4179422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3203061$14C4FF7C-44F9-432A-B3BC-C42AA8714479","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f27e4133359eab43d692439ccbca13dc504d4da7","datavalue":{"value":"probabilistic powerdomain construction on the category of inductively complete partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q3203061$67F2A3F1-88E9-49ED-9CD7-D17E18F44FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7a37f9ca014cbfceb8d8a8093817b10701c7534","datavalue":{"value":"partial order of continuous [0,1]-valued evaluations on the Scott topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q3203061$2410F2F0-FACC-4949-B0BD-35B80125662C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q3203061$0C3F67F4-21D7-4BEB-B90B-9E1EDAA688DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"739ba910b65a6f174f6631595501bd0c8d2901c2","datavalue":{"value":"model for Moggi's computational lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3203061$6C4BCAD3-CE31-4B31-8135-4D5A4A6B1CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9770abf3f95901105fdacc2bfa5c9b0cf665234","datavalue":{"value":"recursive domain equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3203061$8BC51923-4A7E-4E3F-95EF-A31A6E0189EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"963209ac2fd5002cbf00704f6054c75f9a83df69","datavalue":{"value":"meta-language for programming languages with probabilistic features","type":"string"},"datatype":"string"},"type":"statement","id":"Q3203061$5A3CA18F-FF5C-4CE1-ACD3-9C137EAC870A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49ec09f1dd4e50bfae467f455085560fdcc13697","datavalue":{"value":"semantics of a language with a probabilistic parallel construct","type":"string"},"datatype":"string"},"type":"statement","id":"Q3203061$E502589F-5994-415E-9E05-673DD0297E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44a510a413108e171db790a674fea76e01490b55","datavalue":{"value":"category of continuous partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q3203061$54A2D440-F232-4799-8912-556CBEE08A6A","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":"Q3203061$EE28A79B-FF9D-40A1-9AEF-3ABF6E201B0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"605821d537acfd01cecb5cc11fe4a2805497eb34","datavalue":{"value":{"entity-type":"item","numeric-id":5890059,"id":"Q5890059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20dd46984a72e836b2724d92c59f9bf382e0018c","datavalue":{"value":{"amount":"+0.8319107294082642","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":"Q3203061$ABE5FF0E-9C88-4706-9224-086D1D6CFA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ad7f0c8fb05820e52e5c723b784ac56aed15da","datavalue":{"value":{"entity-type":"item","numeric-id":2852372,"id":"Q2852372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50530fd9f12db76a55661bf58fd7455281c813ce","datavalue":{"value":{"amount":"+0.8288475871086121","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":"Q3203061$D0D5B8DB-0315-4656-A3B5-F0760657DD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1047baa7151b6fcb18ad552e3b8f55907f166ecf","datavalue":{"value":{"entity-type":"item","numeric-id":3718133,"id":"Q3718133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da2cbafd3a0ae5b72217c69d76d6ed1d3f33a5b3","datavalue":{"value":{"amount":"+0.8282564878463745","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":"Q3203061$FC494217-65AD-41C5-8F46-924224B05F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b65ae25d40881814e53d2eafcdac4669da66fa32","datavalue":{"value":{"entity-type":"item","numeric-id":5898910,"id":"Q5898910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf76a20191d5467beb44acad372fe1b71d9da67e","datavalue":{"value":{"amount":"+0.8187175393104553","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":"Q3203061$5010F675-88EC-42A3-A83C-133F5A2ACD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3155303510886b7367d088900956c08a698239e6","datavalue":{"value":{"entity-type":"item","numeric-id":3680283,"id":"Q3680283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae58e040cb4267b0c3464226b483ba5c4de0146","datavalue":{"value":{"amount":"+0.8139866590499878","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":"Q3203061$250DC4A6-942B-4FC8-B10F-8A77F0D2066D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3203061","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3203061"}}}}}