{"entities":{"Q751807":{"pageid":753656,"ns":120,"title":"Item:Q751807","lastrevid":64101537,"modified":"2026-04-11T17:39:25Z","type":"item","id":"Q751807","labels":{"en":{"language":"en","value":"The fixed point theory of unbounded non-determinism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4178761"}},"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":"Q751807$045A15BF-F359-43AE-80F0-CA6BC569E106","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66ef68752de4e417551a53da139778fbd9f3e7d7","datavalue":{"value":{"text":"The fixed point theory of unbounded non-determinism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q751807$F12EA249-E64E-4CE8-9AAF-CEB7CC5AE2AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0e7764642b26068e509cdde8c0f453629cd133e","datavalue":{"value":"0715.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751807$FC1C732B-977E-4BE1-8F4B-351022AD775C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd76db1f442d5e751d5890d62c08e71d374d01b6","datavalue":{"value":"10.1007/BF01898399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751807$6EBB6C4E-3429-4B43-A515-C44F5F0DA4A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df2e43389d2fb59a43a9d74dac4b18596fd277a4","datavalue":{"value":{"entity-type":"item","numeric-id":751806,"id":"Q751806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751807$1C06D182-6B26-417D-82C8-C569807F4234","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751807$5260D57D-4466-472A-A839-10890AB75B25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q751807$69274A2F-EA95-4FD6-B410-0FA0E2C27050","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751807$D46BD3E9-D3C3-4CB6-A916-4367511B3A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751807$8873188D-2CD7-459A-AE44-FF9BCD79F93E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"621152979d1013c2b198401a9cfd6555bf274563","datavalue":{"value":"4178761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751807$AB3046AF-11AF-40B9-B32E-5FDA8D2118DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e980b879515b4a62762dc4272099e67ff6c5e75","datavalue":{"value":"fixed point theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q751807$9D8D7CD4-7FFE-4E5E-B9C2-04C9E5C3AD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38037b4668ad18667f871073d0676ccb14a9857e","datavalue":{"value":"unbounded non-determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q751807$21C0B2A4-3BA6-4DC0-9F9F-41DBE983682F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c08605b38c81ea553fb4332861ca929a5201a3b","datavalue":{"value":"recursive process theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q751807$FDF38726-5A10-4E8E-BA84-48FB65775A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0185fbec9c1daddfe0a59c0b7186ec2bf5c5bf83","datavalue":{"value":"semantics of concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q751807$EEDE568E-F8CF-42D1-A225-722EF6F2BEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e9667c544fe93fa1a5c91305e244268e62e94df","datavalue":{"value":"language of communicating sequential processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q751807$7B074CD3-757E-4004-8BA8-E4CF8FBDFC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ec3ac7aab2a3c4bd45c89b2a8f43cb9b1080752","datavalue":{"value":"infinite traces model","type":"string"},"datatype":"string"},"type":"statement","id":"Q751807$5668CC5F-AC3D-4F5F-ACB6-BEC427941A5B","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":"Q751807$B15C0F6F-25AD-4007-B9CA-86D89D61EAA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"877d0ca0cbbebe1823db03b89c503f98f2eca95c","datavalue":{"value":{"entity-type":"item","numeric-id":3975028,"id":"Q3975028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751807$34FB7ECF-8508-47E7-A34F-32547A6CE7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808cf189af5754ef03dc35e25b5f8b08308ea0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1060838,"id":"Q1060838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751807$2FCDB86F-F070-42DF-9389-884C0F9AD7B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb01ee74392cb2a3fd394bf9059d99519e4fbb33","datavalue":{"value":"https://doi.org/10.1007/bf01898399","type":"string"},"datatype":"url"},"type":"statement","id":"Q751807$D804CBDE-09C2-4F0D-9092-64DB23FB67B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75d01869fa9387c1b28230f14c36d4643b018998","datavalue":{"value":"W2074872294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751807$1C180D06-C68A-424A-BE26-19D2AC783CC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04587d82c000fa63c50297a5de10f0425c81e5df","datavalue":{"value":{"entity-type":"item","numeric-id":4276178,"id":"Q4276178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6521805ddda05da5413c88246d9a073cf0120dd9","datavalue":{"value":{"amount":"+0.8779852986335754","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":"Q751807$7F60B1C6-247D-430C-9DAE-CCADB3B9D9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b7e9d73589e096bfb655dd6dae887b5bd025ec","datavalue":{"value":{"entity-type":"item","numeric-id":3975027,"id":"Q3975027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b770b76f3e1f0449b6df7450987f81767243c9","datavalue":{"value":{"amount":"+0.875026524066925","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":"Q751807$6F365D94-8E7C-408A-8D84-F84B496716FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6537078e1aae9c1aac9f4291be1a120f40594011","datavalue":{"value":{"entity-type":"item","numeric-id":674192,"id":"Q674192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56c6055d9382d90686fbef80117465ac04293f4e","datavalue":{"value":{"amount":"+0.8715131282806396","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":"Q751807$CD5CD0C3-AAC6-4AAB-9508-B1D6BC1B62C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"112b277a7725be0d9d7f768a039dc932ec525b62","datavalue":{"value":{"entity-type":"item","numeric-id":5887514,"id":"Q5887514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca94cabf169721e41d25626dd983cc95b6f30187","datavalue":{"value":{"amount":"+0.8508130311965942","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":"Q751807$9FEE3170-1300-4F26-BFAA-244F8763397D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"853e1f3b77f1df1115607763c83e0c68a8e26153","datavalue":{"value":{"entity-type":"item","numeric-id":3975028,"id":"Q3975028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c70a51c4e131f2f848a728598eb9e151a57b6b","datavalue":{"value":{"amount":"+0.7753080725669861","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":"Q751807$C9E98A53-8C44-4D1F-9395-AAF8EB7375FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The fixed point theory of unbounded non-determinism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_fixed_point_theory_of_unbounded_non-determinism"}}}}}