{"entities":{"Q911801":{"pageid":913649,"ns":120,"title":"Item:Q911801","lastrevid":65319627,"modified":"2026-04-12T01:46:17Z","type":"item","id":"Q911801","labels":{"en":{"language":"en","value":"Equational reasoning about nondeterministic processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4143481"}},"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":"Q911801$FD28A22D-1D5C-4718-AEDC-A8E0DA2798BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1611c62ba66032df4624f7f6edb9ec12915d88f8","datavalue":{"value":{"text":"Equational reasoning about nondeterministic processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q911801$E4264E6A-C64C-436F-A1D2-EBF3046EC8E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29ced31bf64496d5425cdb5e673cfc5f9539aed5","datavalue":{"value":"0697.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911801$41B841DD-DDE2-4943-82A2-996DA5E6625B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f6b0bf32ac4f0fc2f7a7005534d84aba62f770c","datavalue":{"value":"10.1007/BF01888222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911801$1054B532-9665-4E0D-9905-CDB381764F94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c68a16c5cbfcd2b4f037f5d1ee5ded1c873b2444","datavalue":{"value":{"entity-type":"item","numeric-id":239151,"id":"Q239151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911801$DC4DB46B-F30C-4234-8EA2-F571101EEB78","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":"Q911801$20A22784-C9A6-4B5B-8E70-6B90FF8A358B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q911801$558CEABE-F448-4C84-BBF0-27F9163B4CDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911801$BD389CC9-7B7F-4082-B77A-713FDA7E57FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911801$7164D9BA-38E4-4EFD-BD20-A0DDAD5A1C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911801$C65BFF99-7654-45BB-81A9-B551DC7BFD5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c258334a03865c0a763e7e95eb26285a6f22376c","datavalue":{"value":"4143481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911801$F79B7CAB-8012-437E-BAAC-F18CD7A2D937","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca82b8126faca2bdab3ffa77f0c22600be2e10e6","datavalue":{"value":"equational reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q911801$123F2BDD-A781-4AC7-9E4C-2A3BEE262488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c49916021edccb418deb9b5c9398917147892e7c","datavalue":{"value":"trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q911801$93AB63FD-77E4-4EF7-8002-4DC225954B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a2c0828069974ddfaf63dc2a8645abd9e02448","datavalue":{"value":"network composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q911801$3FACA26D-E894-46A9-B85A-8CFABEA3582E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"783b39124a9157da821d48ec111b2814907b8d7e","datavalue":{"value":"smooth solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q911801$E61A3AB2-AD32-4153-B3FE-E16E33A0F4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e4c413952907419b0d3d5f4811638c527a44dcb","datavalue":{"value":"nondeterministic process","type":"string"},"datatype":"string"},"type":"statement","id":"Q911801$242D9F3F-3762-4F20-9640-322A57AD5101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3e53e400f9e25866e62b5c59fd54a2620c5c172","datavalue":{"value":"least fixpoint","type":"string"},"datatype":"string"},"type":"statement","id":"Q911801$10175A15-C292-4C97-8F36-29AD65786A6D","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":"Q911801$84F236A5-A3DB-4B6C-9869-8B067BDA53B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2204ee7d30bcfa8fbee857183801f78bafc2ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3763571,"id":"Q3763571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911801$56B44AF8-FA7A-486F-9AF4-9FEBCCE773DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3c41ba124efe561f5519328828298cbd205dd4","datavalue":{"value":{"entity-type":"item","numeric-id":1090105,"id":"Q1090105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911801$78BEDC60-9B22-4F69-AD54-113285229576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911801$53AAA6F1-900C-402F-BBB6-E2824697FB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911801$95B1983C-F64A-4C91-8AB8-0573777067E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de070f3ffb505a637314246518c3ca42a40c61c8","datavalue":{"value":{"entity-type":"item","numeric-id":3824309,"id":"Q3824309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911801$1D077CAB-4D9A-48E9-9EDE-D2761EE829AC","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":"Q911801$FCB25816-A507-445E-9277-2166600B748A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ed8059afbe0c195cb4a846254457c939cf24366","datavalue":{"value":{"entity-type":"item","numeric-id":1333374,"id":"Q1333374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911801$C707441B-BEFA-4496-9F45-AC2F9E6142E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5c2b7ba3775d6670cc3f4433080eb488fd8ace","datavalue":{"value":{"entity-type":"item","numeric-id":4054644,"id":"Q4054644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911801$C7F94270-6597-49C5-8699-87A6EBE19701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23248c88fc41b2950a22cde2c8bc56c687ea48a","datavalue":{"value":{"entity-type":"item","numeric-id":4151149,"id":"Q4151149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911801$D1366E73-D196-4AF2-9E35-0E6C414435C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc7c80135ed65b38d7fef7c0e832d27cd87588f","datavalue":{"value":{"entity-type":"item","numeric-id":3995530,"id":"Q3995530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911801$3F6A4D2A-1044-48CC-85C9-985922378F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3099aa2e78f841e4ee74375c05b58739a420835","datavalue":{"value":{"entity-type":"item","numeric-id":1822994,"id":"Q1822994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911801$846B7D24-A329-4474-A57B-F20157AA26E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7425a288ca3eeb2637b9f75518c6b2aeb90ca9e9","datavalue":{"value":{"entity-type":"item","numeric-id":1201292,"id":"Q1201292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911801$F0CE9D97-62C4-4B68-B952-971B2B7614F2","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":"Q911801$F8819AB1-B96E-485D-8320-D21538412E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7596f0c58143be066babeb249092911486aa254","datavalue":{"value":{"entity-type":"item","numeric-id":3204054,"id":"Q3204054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911801$50D10292-D023-45F6-B639-4350DD61E835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52a335a51251a84b014874dbd3d83234c0673410","datavalue":{"value":{"entity-type":"item","numeric-id":3766815,"id":"Q3766815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911801$63DD2E44-059F-4FEE-88C0-AA208F26A5E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a64f3b8f1fad34ab1e90e049483e07bfc2a873a","datavalue":{"value":"https://doi.org/10.1007/bf01888222","type":"string"},"datatype":"url"},"type":"statement","id":"Q911801$38BC7CCA-DE12-4C08-A4AD-35AD05E7B091","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7884e021d733b6b6a96598d8d67215c23e70db2b","datavalue":{"value":"W1981514325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911801$25F55D54-541E-4B3D-A696-E765E16459F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3f7ffb1ae2438638000729071d144da2ca1b56","datavalue":{"value":{"entity-type":"item","numeric-id":2805160,"id":"Q2805160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7def0502a0e9600659becbac2d7ff9732afbad09","datavalue":{"value":{"amount":"+0.8968872","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":"Q911801$DF3E5F73-EFD1-4633-B1A3-9422A8A4EF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42f8feae36e64604d397a6d332cb5c9ded4a5e00","datavalue":{"value":{"entity-type":"item","numeric-id":1277769,"id":"Q1277769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e07e23e1c600908bebd491de23d39e3828850e5d","datavalue":{"value":{"amount":"+0.8962274","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":"Q911801$0E59BD91-737A-420A-9125-E9BB2FC6A1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7792df913e6e1bd149a3c67f77fc72235f2a5c15","datavalue":{"value":{"entity-type":"item","numeric-id":3974854,"id":"Q3974854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"024d14f894f5352968299857504dff4b711e9352","datavalue":{"value":{"amount":"+0.89618343","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":"Q911801$3E734CD1-6604-45AD-AAF1-ADF7CDFB63E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17560807ccf48c420f836c61b8945bcc849f2c19","datavalue":{"value":{"entity-type":"item","numeric-id":4612425,"id":"Q4612425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"306f95bd95cd2d7750fe3a500c7805f16688a07b","datavalue":{"value":{"amount":"+0.8946212","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":"Q911801$5597664C-878C-4CE4-B0B7-F7F89F66A701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c064f5104d7f2b867288e49e48b75494b733614c","datavalue":{"value":{"entity-type":"item","numeric-id":2736352,"id":"Q2736352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2429ad0a7ee12cf8129f1974878a6db985e68caa","datavalue":{"value":{"amount":"+0.8945717","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":"Q911801$DD4370E6-CB41-47CA-9088-EF60CFD5C110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3440cd2d08643694d8fd5247eafa23afe82017c","datavalue":{"value":{"entity-type":"item","numeric-id":4236057,"id":"Q4236057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0db3fb0fdfe886ea01271952622b25c228c02b59","datavalue":{"value":{"amount":"+0.89337945","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":"Q911801$68B80939-B6FF-4243-8BE3-3C502484D9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7731c4e5b1739669acd5248e62edc63aa9fcd5b","datavalue":{"value":{"entity-type":"item","numeric-id":4345010,"id":"Q4345010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0db3fb0fdfe886ea01271952622b25c228c02b59","datavalue":{"value":{"amount":"+0.89337945","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":"Q911801$B89E6E62-5C34-4199-88FB-FF5BAA34F31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d89aff16db31ec39cbaa3761ad188aa6303723a","datavalue":{"value":{"entity-type":"item","numeric-id":1342523,"id":"Q1342523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ceeb0181c49ab93704a9fafa3aea3f36b64d15","datavalue":{"value":{"amount":"+0.8928327","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":"Q911801$B46B67AA-645B-497D-8D9B-06814D6A8E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61f7b37129505716277210d94e42ed15037df964","datavalue":{"value":{"entity-type":"item","numeric-id":4349577,"id":"Q4349577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec0a790a7d367635df2596d9e375422ccdf9b537","datavalue":{"value":{"amount":"+0.89259297","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":"Q911801$9A55A5E3-515C-4F84-8F58-C825AA72860C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4589cea0f423559ece592c8a624de896198d392e","datavalue":{"value":{"entity-type":"item","numeric-id":4362899,"id":"Q4362899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01dbe8f5e2936956e9bc8843e8fe857c697dd362","datavalue":{"value":{"amount":"+0.882778","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":"Q911801$EF2559D3-F7C3-421B-A5BC-CB21AA82B367","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equational reasoning about nondeterministic processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equational_reasoning_about_nondeterministic_processes"}}}}}