{"entities":{"Q1884887":{"pageid":1895629,"ns":120,"title":"Item:Q1884887","lastrevid":73263690,"modified":"2026-04-14T15:11:59Z","type":"item","id":"Q1884887","labels":{"en":{"language":"en","value":"A fixpoint theory for non-monotonic parallelism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2110984"}},"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":"Q1884887$16BD1699-2E1F-4A31-8FCB-04AEBE975A69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1766a9bfb49413fc9db426893f031f32a8a52eec","datavalue":{"value":{"text":"A fixpoint theory for non-monotonic parallelism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1884887$DA15198A-0F89-4AC4-8CDF-7CCA90483253","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6e000387919c374cfff8990e24c09f2e12fd3f4","datavalue":{"value":"1070.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884887$DA824B77-18D7-4B17-85A8-4CAE6471F55E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b5e5dc26b1912ebd6f4a5a26ee6f892e89656fe","datavalue":{"value":"10.1016/S0304-3975(02)00893-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884887$6251D4A9-8290-423B-B25E-57E01E58596B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2786704b3b74043997659c4409f084037af9abb","datavalue":{"value":{"entity-type":"item","numeric-id":276463,"id":"Q276463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884887$8CCE0EA9-FF0A-455D-8D8A-EC4E646F447F","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":"Q1884887$CD15D954-02AD-41DA-8E74-0F0AC5A78F0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7e0e3052327d95a916620b2fc1dace533c4c66d","datavalue":{"value":{"time":"+2004-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1884887$8D262678-6236-4FF0-93D2-0DA4C062FFC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884887$93694ADC-BA65-4F71-B4B1-F4919AEC5A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884887$8925838D-8173-493C-A961-A5FD781EDD77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e216143a50cb9dba13f3f3ab07248f2d79b8c74","datavalue":{"value":"2110984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884887$53FB4C4B-4FCE-4321-815E-CFA2EC87FDE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a8ee0259b08d93bba9f9ea91f61af8c516202ce","datavalue":{"value":"Recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884887$755CF96F-592F-4E7C-B90F-E6C1B2C726BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc57b03cfcbca9bab6a3f7e8e3824d97ec66a229","datavalue":{"value":"Reactive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884887$B4B59BC6-2E28-441D-9BD1-781F0561DD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52fd89fe318636bb283533abfdfd7287caa8c1f4","datavalue":{"value":"Parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884887$1F00E689-F25A-4646-858F-C1C2C58FEC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e701bb48ce6c9960ab09d79f6d35bcf4e4041541","datavalue":{"value":"Semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884887$7733F705-BD16-43B6-AF2A-AF2B1B80477C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae4ba8760824d25209a0fdc77b6bff121453e9fc","datavalue":{"value":"Partitioned fixpoint","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884887$791321A4-71C1-4E0B-9EF1-B4CA95FD997B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884887$61FFBF73-A5ED-48FE-953C-84C05B4C4596","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":"Q1884887$A940024E-F221-4898-A722-426B08FC06F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884887$AAEA970A-2F73-4C29-8DC8-BCDD2DE21063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a11817647451a09b7ac16bf5b82754a12d16fa0","datavalue":{"value":{"entity-type":"item","numeric-id":1346768,"id":"Q1346768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884887$06428759-20B6-47D5-BE98-702813EF7CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee900a14eb345f1ec6416bc370340cd0e2c18c0","datavalue":{"value":{"entity-type":"item","numeric-id":5565097,"id":"Q5565097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884887$BC0EB261-7DDD-4CFE-8DF2-9050F4D20299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd11fb78461370c19c8beaf6b0de4dd26489cef","datavalue":{"value":{"entity-type":"item","numeric-id":1923100,"id":"Q1923100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884887$A8B2415C-1A62-431C-B4E4-8B6FD26E13FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a64c90a977970461ddce3351aa9ad2411b7df0a8","datavalue":{"value":{"entity-type":"item","numeric-id":4411819,"id":"Q4411819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884887$9D923DBB-9FE0-40FD-9E17-FDB5ABCDC309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d50ca9e5a037c3a2164d5548b033dce12b976a","datavalue":{"value":{"entity-type":"item","numeric-id":1402466,"id":"Q1402466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884887$CA45FD73-72CD-4280-BDF2-6A981FCDADD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d19cd3dde116549d174ed2645882931afd7758a","datavalue":{"value":{"entity-type":"item","numeric-id":4791272,"id":"Q4791272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884887$E60401DE-3828-4C67-9971-D03F6B7FACEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884887$4CC64468-4A7B-4F7B-9AF9-75F2AE53C2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c1ee4edd7511750bce8287bc936441214772ede","datavalue":{"value":{"entity-type":"item","numeric-id":674191,"id":"Q674191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884887$CF8406F8-42AB-44DE-B8CF-AA658E4AA279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884887$E434D2AD-A405-4B29-8606-83CA5627074B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7493c00c260f207a238f41e9e5a3d8b8ed81bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1075045,"id":"Q1075045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884887$DB9C7CBB-36B1-4961-8045-75B9D2555800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2628ffb9e59aa19553582ac944ed7dc8d827a3a","datavalue":{"value":{"entity-type":"item","numeric-id":5402548,"id":"Q5402548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884887$A21791E6-D520-46C2-97B1-3424FEF39BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de575d403630110b481edcb771b36c96771ed154","datavalue":{"value":{"entity-type":"item","numeric-id":1806131,"id":"Q1806131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884887$2FC5C394-D2AD-479A-87F5-60981E60C3C8","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":"Q1884887$D1667727-0EE3-4681-82A3-736D1632F8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884887$6466B893-4412-4B24-9406-D7C82BA8A9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884887$B9739BD6-1476-4143-B50F-C7523F4BC7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e451b0339876f0a92875e49346cdc0622e878095","datavalue":{"value":{"entity-type":"item","numeric-id":2767980,"id":"Q2767980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884887$C3AC5844-9DFE-4959-8CC7-0714785D6080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6be6cff01d2235451e68957f7f50c6f48767737","datavalue":{"value":{"entity-type":"item","numeric-id":1166268,"id":"Q1166268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884887$DA0D5CBB-9F78-4112-A887-AB28082FCDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b2bc1544c590c17526d3e66dbb693ecff0e8af1","datavalue":{"value":{"entity-type":"item","numeric-id":2754138,"id":"Q2754138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884887$F11D6F16-9CC9-4D43-A0BE-4400BFAD204C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55bd9695a498b39ffbc126ffafce2de1acf09660","datavalue":{"value":{"entity-type":"item","numeric-id":671411,"id":"Q671411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884887$383528EE-22EF-4FD6-9A17-15B02D05A196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c9021d4df98e75c80382a0e998bc353f10d83ba","datavalue":{"value":{"entity-type":"item","numeric-id":286953,"id":"Q286953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884887$73422AE8-3552-4B2A-B44D-52B44850B395","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":"Q1884887$324197CD-340F-44AF-8999-2E9CE62B2314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884887$80F2E447-0A04-437F-87AC-CCD861023E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884887$DE1A8A4F-FFE8-42ED-AF00-BF8BA63B9427","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba5c87621fd524b48300c8ea059e05bd577695ba","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(02)00893-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1884887$7E2CCFE7-721E-43BA-952D-85C090FE4DC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ce7ef941cbb79b11b68b9ea949dd2a586f963de","datavalue":{"value":"W4213154670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884887$B8AC0B9A-DF8B-4C5A-AB36-6C14C1966CBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aeb77f402d2831ef00418da3e485be796f2b959","datavalue":{"value":{"entity-type":"item","numeric-id":4411819,"id":"Q4411819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4cc7bc31ca707a343fcb8aebde40f04c96e236c","datavalue":{"value":{"amount":"+0.993279993534088","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":"Q1884887$E85F9D59-557F-4EA4-AE4E-04A1CC64E78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccc9a94a9c89d54eddff9c42fd33bb0783c96bcb","datavalue":{"value":{"entity-type":"item","numeric-id":1059391,"id":"Q1059391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ee44db81a14d96a466dc6d0518d0eb2dfad06b","datavalue":{"value":{"amount":"+0.7730600833892822","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":"Q1884887$5E9D3696-FA0B-4A56-B426-367E82E1280F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"365a125600db4467c223a90a807034857b6bd9f1","datavalue":{"value":{"entity-type":"item","numeric-id":995749,"id":"Q995749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cbd8f77ff6712dae1784581a307aa18cb5699aa","datavalue":{"value":{"amount":"+0.7457228302955627","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":"Q1884887$AB151031-6B45-46EC-8467-8A42954EAE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16ee3c3a23d51f4b4342339ba02f16c06b7d06df","datavalue":{"value":{"entity-type":"item","numeric-id":1346768,"id":"Q1346768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa37611b0ad3f5f5d01c30ba5ea38dcb6146eef0","datavalue":{"value":{"amount":"+0.7417662739753723","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":"Q1884887$65925B80-35C3-4453-A6FF-D2C8BABCE444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a604b87fb7ef94b032b4b96941ce0b8264da896","datavalue":{"value":{"entity-type":"item","numeric-id":1823657,"id":"Q1823657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eac624e8c7009d6c8c98fca485c81b386511a78","datavalue":{"value":{"amount":"+0.7398118376731873","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":"Q1884887$629F798A-A915-4595-B0D6-BCC947ECB96D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A fixpoint theory for non-monotonic parallelism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_fixpoint_theory_for_non-monotonic_parallelism"}}}}}