{"entities":{"Q4916209":{"pageid":6945790,"ns":120,"title":"Item:Q4916209","lastrevid":91002407,"modified":"2026-06-04T22:00:37Z","type":"item","id":"Q4916209","labels":{"en":{"language":"en","value":"A Branching Time Logical System for Open Distributed Systems Development"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6156017"}},"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":"Q4916209$30BCD741-58F7-4858-8B48-8EDD1DB2B4D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7bf07af85a3cc9771690ca34c5bf91d3b3ca9918","datavalue":{"value":{"text":"A Branching Time Logical System for Open Distributed Systems Development","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916209$1F7DF9BA-6958-4C78-AD77-0A2BE3FC6532","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"804d042cd3666ebde56e87df42174a9d7959b946","datavalue":{"value":"1261.03082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916209$736F79DC-3972-43EB-9026-FE9AC22E31C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"709673821973ac5fa8e8fcf6ed92b14946221c3f","datavalue":{"value":"10.1016/S1571-0661(04)80548-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916209$92273528-277B-4F06-B71A-89F127A5B686","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2d4294ed0ff76d34a0b460e5e7d3db3fc8e9553","datavalue":{"value":{"entity-type":"item","numeric-id":4261311,"id":"Q4261311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916209$3ABD9161-B44B-46D3-A71F-1084DF7B59D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b70ccda10eee0149f281c226dd8d9cc2ff73c3","datavalue":{"value":{"entity-type":"item","numeric-id":673999,"id":"Q673999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916209$AFC318A5-0241-4808-A2AB-63C1726ADE22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916209$22BA0C24-BBE6-4846-A219-AD7B60CBB9D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916209$00FD008F-E510-4464-A273-2E3B5E84C902","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916209$67420DF7-E411-41E0-AE0F-AFB0DF0B6041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916209$20D8B451-9C95-4EEC-8EBE-C76B0A79E5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916209$AD18AA99-9323-4DCD-8C82-AA35DCF42FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916209$E11FBEB9-2A8F-4A71-BE58-529D4BB11B42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee95b88647344363d968643f344a332c2d75261b","datavalue":{"value":"6156017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916209$E1E40A07-B90C-4238-A387-A0BBCB28A95C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916209$95C178C5-4685-4380-A9A8-C60CD68DD2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916209$C83288E7-F509-448D-9DC1-F7BC9A0C5791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916209$19C26E02-29EA-4F6B-BB26-EA933AB73242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916209$68D50668-3EC3-4DF7-AFD3-A280C19EFE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8241f7b74cda1977afc141cc1c92cd7c5a95db0","datavalue":{"value":"software development","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916209$A2C60D78-0739-4797-BCB2-19D8D9EE4CC5","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":"Q4916209$0E521A65-451E-4CAD-8B4C-744BA0DC7586","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"972fe49b573800d519da084adb808f30aa3f6b0d","datavalue":{"value":{"entity-type":"item","numeric-id":4885875,"id":"Q4885875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916209$6A0CEC71-7A50-4DD3-B145-E0E79FE5FDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916209$76F92A92-0DE6-495D-88E6-34542E639970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0e35b259e0411c8b06c2e811af390c8c34976ba","datavalue":{"value":{"entity-type":"item","numeric-id":4860769,"id":"Q4860769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916209$DD541C37-E24E-4177-8CA5-0A14ADBE6D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"381e47446d96a439048b122527ca19d971798559","datavalue":{"value":{"entity-type":"item","numeric-id":4733381,"id":"Q4733381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916209$B19B5FD8-B0F2-4D52-BB03-74FF5443A9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e46c7811f0b0be981791e6cba380a16da36fa513","datavalue":{"value":{"entity-type":"item","numeric-id":911747,"id":"Q911747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916209$1BDB9C95-BE75-4101-BB18-BAE0A7918ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916209$12145AED-FC42-44A8-8824-9ACCB0F1458F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8af928acf08b68528adb4596e9ec25b92fb56f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1192604,"id":"Q1192604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916209$EF806432-FF77-4909-A663-65AAE05D4D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916209$52917F83-7A10-48B6-84CE-DE6CC62A1709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74833c204341d9aa9ef14997fbac19d0e7da176d","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916209$9D0FC1F8-AB6D-422B-B487-3CA4B0D03DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bb963f0dbfd28b3eb0930566966152abf270c19","datavalue":{"value":{"entity-type":"item","numeric-id":915718,"id":"Q915718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916209$1F1957B5-A3D6-4E48-A851-09F9CB5DB604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09dc0d5696d284e011b1160682f6fe6cbc5590fe","datavalue":{"value":{"entity-type":"item","numeric-id":4275689,"id":"Q4275689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916209$C51E2178-33EB-42E3-B7C7-370733D12332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10a2454ea55cfee5516cb80e39af7a8d156fa806","datavalue":{"value":{"entity-type":"item","numeric-id":4849647,"id":"Q4849647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916209$B0997D58-0DA7-4B38-AF8D-BC5E026EAA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b196feb3cb5fcdc437162fee9fd2894884ff0d98","datavalue":{"value":{"entity-type":"item","numeric-id":3719805,"id":"Q3719805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916209$666FFB43-6139-4755-B13E-3D04E5632FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916209$C49949B7-4D03-48A5-B165-1419B35478AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f09b53b7c446f5ba60a17b5b11a35f4dcc7ac0","datavalue":{"value":{"entity-type":"item","numeric-id":1188997,"id":"Q1188997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916209$B4AF3243-0FBC-4949-B5E4-6535B7E12A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9780875674f2eb4319bcaa913fb0db3d4e7e8f01","datavalue":{"value":{"entity-type":"item","numeric-id":2276945,"id":"Q2276945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916209$A622BAE4-3C12-4D94-95B5-E0224A0D83D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e4537b0757ba21c738936714d08bad554bee31","datavalue":{"value":{"entity-type":"item","numeric-id":4879898,"id":"Q4879898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916209$49C595AB-936E-41FA-9E44-2E8CA8F69083","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ddf23406d387c685466d96106ae4821587fe564","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80548-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916209$30F3490E-0A91-489A-863A-2B2061F69D5E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6557f840ab5775cd54b99075b50b59dd5da94a5","datavalue":{"value":"W2000553129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916209$4229C5FD-3166-4317-803A-A478C398D90A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22a4accc5371f2563266a2c494d1928dcbec0c91","datavalue":{"value":{"entity-type":"item","numeric-id":5942126,"id":"Q5942126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b10a00b62c4c87634edc5bce2a483e1fb104e6c8","datavalue":{"value":{"amount":"+0.8745981","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":"Q4916209$09734F7F-19AC-45ED-82BF-A82250E709E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f1d02ee8b435d21ced15720a59f1575cf45fad4","datavalue":{"value":{"entity-type":"item","numeric-id":6483318,"id":"Q6483318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b10a00b62c4c87634edc5bce2a483e1fb104e6c8","datavalue":{"value":{"amount":"+0.8745981","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":"Q4916209$2BC6EEC8-5A4B-4162-A344-9162CA2959CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522ff705170fac64ed4e0f9145fe5523616a2f57","datavalue":{"value":{"entity-type":"item","numeric-id":5491896,"id":"Q5491896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57a1ecc23b192fc1e7dca5eb057123c0b754a14f","datavalue":{"value":{"amount":"+0.86712146","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":"Q4916209$B84BA27A-C16D-4776-A1ED-2903688D3A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b5e015fe5ae48f4572906cbd24a682b03d9ad81","datavalue":{"value":{"amount":"+0.8530592","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":"Q4916209$E1277C2F-EECB-4F73-B6AC-63A6DCCE004A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e26899e66b8325195c4c87df0f38a835d08ce9e4","datavalue":{"value":{"entity-type":"item","numeric-id":3680252,"id":"Q3680252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa70af4d1ee37cb78f8d7eb1f1e125ab5e2c509","datavalue":{"value":{"amount":"+0.85172516","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":"Q4916209$F3A67677-542C-4589-B5D1-100AD3B65908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86c2402426d67165ee2c4837eab7e33329dc47ce","datavalue":{"value":{"entity-type":"item","numeric-id":4282632,"id":"Q4282632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c1d937d6756e1e833bd3f162508f45e066b067e","datavalue":{"value":{"amount":"+0.8475533","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":"Q4916209$F6568146-3714-4140-ABBA-7DED7AA40128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dcfa39d761eeb07ec648b44b4d9fb89d5c86c8a","datavalue":{"value":{"entity-type":"item","numeric-id":4247293,"id":"Q4247293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34f4239029ba67b6c4317b34cbc4e5254c8d783f","datavalue":{"value":{"amount":"+0.8463608","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":"Q4916209$3DA70606-34BD-4505-B63E-4A8CFCEEF755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9da5b4ac30079ec985bc118bba22bf4a6cbb2161","datavalue":{"value":{"entity-type":"item","numeric-id":4702960,"id":"Q4702960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff65bce8d89392d56c891cdaf58dd2071369990d","datavalue":{"value":{"amount":"+0.8459742","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":"Q4916209$B16D5255-5B80-49F8-8940-EB43B551E48A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Branching Time Logical System for Open Distributed Systems Development","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Branching_Time_Logical_System_for_Open_Distributed_Systems_Development"}}}}}