{"entities":{"Q795499":{"pageid":797347,"ns":120,"title":"Item:Q795499","lastrevid":64399542,"modified":"2026-04-11T19:36:39Z","type":"item","id":"Q795499","labels":{"en":{"language":"en","value":"Fair termination revisited - with delay"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3862420"}},"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":"Q795499$91E99303-4528-427B-AAF2-7617F2032215","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d17ddc4d0a121c8e40a160fe1075a845c453474f","datavalue":{"value":{"text":"Fair termination revisited - with delay","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q795499$FB137E2A-5E8C-4B6B-9B06-47C95F909B9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e4c5763be6b52414e5e2a7a9e85193078dd99b4","datavalue":{"value":"0542.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795499$08187B69-3CFF-4F33-9024-2F979890A02C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15d300d47aade5ab0a03303dd56da45102a4d32e","datavalue":{"value":"10.1016/0304-3975(84)90103-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795499$E9DD52C1-3826-44FA-891F-DC6F7B5DF05B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795499$8B986DD5-5B70-4140-96F6-803CD12676BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c66c4f54d3057409e2ea29dce9ea720e46c393","datavalue":{"value":{"entity-type":"item","numeric-id":762059,"id":"Q762059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795499$EEB7BBE6-ED5C-47D4-BF9D-821A523B848F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6066cea2292dad22804c025246b70830e1a1139","datavalue":{"value":{"entity-type":"item","numeric-id":439941,"id":"Q439941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795499$6808631E-48DE-4A3F-9C19-6E69CC4347C1","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":"Q795499$29947B78-C064-4B2D-92B4-AC99F4137757","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q795499$8A19D3A5-AA55-42EA-9FA5-3431DA4D4FB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795499$635F8BC1-098C-4D10-90D2-C53B8A46F048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795499$19E9CB44-F26A-441E-BA5D-4D5362490155","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1618e884de84bc2c003c487c68dd324eb7cf9c1","datavalue":{"value":"3862420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795499$5B6697E4-C367-4950-82ED-73642575951F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e381b994a9c0ce3eb69287257f5288ebf06f2b7","datavalue":{"value":"nondeterministic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q795499$85AC3751-1F25-4915-81B4-D0762603F020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee72a1b24e6e892e72761de3a64781267ea5d944","datavalue":{"value":"proof method","type":"string"},"datatype":"string"},"type":"statement","id":"Q795499$72BC3608-C972-4052-BD5E-8E326259041F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a277367c3d4e3c3aec102118ab5101d7a653037","datavalue":{"value":"fair termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q795499$0E64B1FA-E629-43FE-B385-37E9A5E0FAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4734a47521c48b7b32ae545a74ae18917855b200","datavalue":{"value":"total correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q795499$BBA4E3E6-3764-4918-A19E-4135E697F601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q795499$D08CE3B4-4318-4CE4-B504-E33790304A0E","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":"Q795499$E9C148A6-FA6A-43D4-B450-C86E46115A27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0e27d89a3216643670e6f88a857f4f6b581e253","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90103-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q795499$5104DAD6-DD71-4E83-9FD0-6CE812B6CDB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c10c32e51bfd211b890afb9e94a22836d7edc20c","datavalue":{"value":"W2143417417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795499$D0CECB95-A0EE-424B-BBA8-8CB59E92BC33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b3ed42e6afa67e0a876b228125ab53413fe2a0f","datavalue":{"value":{"entity-type":"item","numeric-id":1050109,"id":"Q1050109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795499$DACB9834-062B-44FE-88A4-A2FE5629A61B","rank":"normal"},{"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":"Q795499$8348C097-286E-4A73-9421-B5773E23B540","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":"Q795499$E8548579-89BF-433E-9178-2C85E49846E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795499$F07A169E-7022-4D7B-9518-1B43C0C4B315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10be44b382ceb44eaafeb4044db6f2b193dbf650","datavalue":{"value":{"entity-type":"item","numeric-id":3907039,"id":"Q3907039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795499$0613978B-D4F2-4D10-B0C4-2713BEFD1E19","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":"Q795499$EBF3AF37-B859-46B6-942A-3508BDC3273B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cf7e2174b332e3482b23b1e1c76c1020c488","datavalue":{"value":{"entity-type":"item","numeric-id":3922147,"id":"Q3922147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795499$5768CC1F-5A18-4B44-B9A5-43C9E710DF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795499$D935BD3B-D0FF-42B0-9DA2-777C6F1D3183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9180a995c6bf4fddce09c209e0c80247b0b06901","datavalue":{"value":{"entity-type":"item","numeric-id":2561482,"id":"Q2561482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795499$23C3132B-622E-4DE6-8C55-14458D7E83EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795499$9BCFE9C9-F4D3-4B0D-9358-2438C5C1869B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"485c24f178250c1c34a15a838503a34eba16ed9e","datavalue":{"value":{"entity-type":"item","numeric-id":3316557,"id":"Q3316557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795499$11EC9D44-63CF-4BFC-BF71-D10B30FCD960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0264fd323e8ae4eb2601febca08581f6f64d5e28","datavalue":{"value":{"entity-type":"item","numeric-id":1822937,"id":"Q1822937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75f717b32e3910e168b6ad3788f3db5e8ab5657e","datavalue":{"value":{"amount":"+0.86131924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795499$3A8B02F6-8340-44B4-81C8-529020B5C595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f695c5dc9f6113183bf944dfdf9f57e3b74278c3","datavalue":{"value":{"entity-type":"item","numeric-id":3732949,"id":"Q3732949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72dd0ac30740eefa428aafe2b78bf1c439c1b33e","datavalue":{"value":{"amount":"+0.8121153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795499$A3BF89E7-CCCE-403D-80BC-4FB97722A83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d655d6117781b76ca3392525638ad29831d7d16","datavalue":{"value":{"entity-type":"item","numeric-id":1129259,"id":"Q1129259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a546b72d486ffd2eb1736b02554734d7b27990","datavalue":{"value":{"amount":"+0.80615366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795499$C60D0293-31CA-4994-8611-5DD6D059D10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b787542c952f9bf2f6092144896dac2cabe1507a","datavalue":{"value":{"entity-type":"item","numeric-id":5055739,"id":"Q5055739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6831012c798cdd60d1b996f8ac0fa0c7c675d7f8","datavalue":{"value":{"amount":"+0.7880418","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795499$94DE6C82-072B-4A0A-8706-B84DA8410813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74402ad885a3f5b5acf63420302fa5876910466d","datavalue":{"value":{"entity-type":"item","numeric-id":3303911,"id":"Q3303911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8338d7da1853a2b6b8fa971e23b383f35c7dfcdc","datavalue":{"value":{"amount":"+0.77775514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795499$725EA165-B6A2-43DF-8608-B5C602585D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01c607d270dfcf1b0c607b94116fe89f4e7e520e","datavalue":{"value":{"entity-type":"item","numeric-id":5387839,"id":"Q5387839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dbeafcd4df47a767914c2cf2955faad50d78a0c","datavalue":{"value":{"amount":"+0.77380306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795499$576C87E5-BB7A-4AFB-8DE1-112B73033D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec448b2f17350599c68932629cc1645e059c4a8e","datavalue":{"value":{"entity-type":"item","numeric-id":5210790,"id":"Q5210790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e81fd57e393f3a760ff157c7351021a728d5b673","datavalue":{"value":{"amount":"+0.7717183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795499$0D8D9261-C552-4380-9DC4-479D4D903324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92c1eb3039dab44bae3da241ef77a51f630ba4c5","datavalue":{"value":{"entity-type":"item","numeric-id":924727,"id":"Q924727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1d1b55af75257bedc30e023564ac479818561ed","datavalue":{"value":{"amount":"+0.7679137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795499$60E19067-6DE3-4F31-BADB-04BF6BABCA68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fair termination revisited - with delay","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fair_termination_revisited_-_with_delay"}}}}}