{"entities":{"Q2154017":{"pageid":2164760,"ns":120,"title":"Item:Q2154017","lastrevid":57745089,"modified":"2026-04-01T05:58:15Z","type":"item","id":"Q2154017","labels":{"en":{"language":"en","value":"On the complexity of verification of time-sensitive distributed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7556476"}},"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":"Q2154017$3C55929A-1252-4C9A-BD14-E394E9C04FEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12eec0110b2b6840be0ca9ceb3c266b429685ff6","datavalue":{"value":{"text":"On the complexity of verification of time-sensitive distributed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2154017$A75BAC2A-E6ED-4E2C-B80A-5137EBC63C05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa69541b3ea6e2bd7d7083a512360a0bc1f73087","datavalue":{"value":"1498.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154017$2CB0CF29-5E55-4889-8D0C-6280F11E4C7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f44bef7abcbb8b4b21ca3c6da6ee28d6fd182480","datavalue":{"value":"10.1007/978-3-030-91631-2_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154017$04B99BA4-46C5-4630-9A58-8830C1C72EB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0206dced1d121eca631a5525158864f5f288ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":462498,"id":"Q462498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154017$92C59BE8-7243-4BB2-A58E-C650989FC0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ef528bc8876184f9d4707e8d3f50dda4f6f700b","datavalue":{"value":{"entity-type":"item","numeric-id":281158,"id":"Q281158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154017$E165C930-77C1-4795-96AD-A5371D61A53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd06b85e820d9a6a030d7377f177d55fded7c36b","datavalue":{"value":{"entity-type":"item","numeric-id":862852,"id":"Q862852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154017$181B0731-05BB-478D-967F-C28F2BCF16F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f77aa9981ae6690e559660487e9993c7adcfdc1","datavalue":{"value":{"entity-type":"item","numeric-id":1326779,"id":"Q1326779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154017$3BB7416E-FC6A-4A65-BB5E-2FF2C5E4367B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154017$69A4AB74-D786-418B-AE0A-E05DF4597C18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a10feb846ab08eff879cd9ad8918c74f60818d7","datavalue":{"value":{"time":"+2022-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2154017$0FC6B1D3-E695-4644-8BA0-40EA53FF7ACF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ae171c790f3d74a7c6e8968ccaf540e7803a71a","datavalue":{"value":"https://arxiv.org/abs/2105.03531","type":"string"},"datatype":"url"},"type":"statement","id":"Q2154017$FFED7FC6-9D94-4680-8ADF-D5A8237C0C59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154017$9D12D0C8-5B9F-4A2E-B6A2-6247EA343255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154017$D43D9F1D-75DE-46E6-AC39-47AAFE2CB724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154017$45C2E070-E6BB-4F32-B0EE-C877A1D50570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154017$C2B6DAF5-533D-4929-A622-AA7A74BB96B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b9d83368b0c2460e432638f8ef7b46ed815333e","datavalue":{"value":"7556476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154017$F37F98E0-5C08-4066-9331-50BB9D3E2045","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bff847663cd95b6a04821d35d3944252870a61bd","datavalue":{"value":"multiset rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154017$86A5B81C-6CB2-405C-9A6A-8D79DEB239BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af3374497a830a9c737836be000b96c2c0c9e656","datavalue":{"value":"time-sensitive distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154017$E71EF79B-3967-49F5-AFE3-73D75393A591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154017$25EA1D19-EDF9-4DAE-BD7B-FA487B9D784C","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":"Q2154017$2AC3571E-138B-432D-B248-5027886176EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7abcbc02fd8ee769eb805145c017eb97c6dfcd16","datavalue":{"value":"W3217038706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154017$865311E6-29F3-4D92-9A12-8C561718A3B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c57dfd81934c0c76c7925c937211e00638a6bf","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154017$C2D43DE9-BC2B-4174-8BC0-84C0B9899675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc3f2dcd7c92c408561e9891adfbd1a30938a8f","datavalue":{"value":{"entity-type":"item","numeric-id":5494303,"id":"Q5494303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154017$E58C22B0-BA9E-417A-A3E7-FA1D7E8C5147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9afd4fa313d72573c9bd3f393fea2eaa1326a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4418589,"id":"Q4418589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154017$8C018555-81D8-4783-821D-CCE145BF6537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154017$E2F3988E-FD5C-43A0-9DE0-C96D20640C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154017$A0413EAA-3073-4610-B958-F56D885D8D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154017$9D2E9FB6-030C-4E26-9D45-3421D0888E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0190023dc89afab4c2683d1569eb34f21828d436","datavalue":{"value":{"entity-type":"item","numeric-id":5415664,"id":"Q5415664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154017$4442F757-D7E8-4162-A6F3-F7D326586AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37354d2e32834c75d5a3fc5a65d59487cbb50a8e","datavalue":{"value":{"entity-type":"item","numeric-id":462499,"id":"Q462499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154017$34BD9DA8-7FE0-4B90-8AC5-BB5C905B90BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"843e4a660458855b603a3f5430ce989da98b91a8","datavalue":{"value":{"entity-type":"item","numeric-id":4603575,"id":"Q4603575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154017$D3C74152-3321-4C09-9492-25DB3051BAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f675b5a0095c49fe099a91827fb057b55f9d70f","datavalue":{"value":{"entity-type":"item","numeric-id":5111913,"id":"Q5111913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154017$354950A8-771B-4F67-8489-DDB14761D482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c25fd1b72ea8ffa2a6dc5876723fb14055d640","datavalue":{"value":{"entity-type":"item","numeric-id":2973251,"id":"Q2973251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154017$108C1722-6663-4ECE-BB1B-577ADD08B5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e19bd8fa21a9ca134f7bbcae159b1edf3ab375e","datavalue":{"value":{"entity-type":"item","numeric-id":540688,"id":"Q540688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154017$1CCE9CE3-CA94-4FA3-9E4D-44465885B470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d4050105be14c099d806cd9f7ef5c41f12faa2c","datavalue":{"value":{"entity-type":"item","numeric-id":1401306,"id":"Q1401306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154017$83926322-66A6-4C50-BCD5-2D68CC5E320F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8bd75bf9da31e4849e1d172ea84f0ff8d354dd","datavalue":{"value":{"entity-type":"item","numeric-id":868030,"id":"Q868030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154017$C11312E4-4A93-4B0E-9043-2EBF1852242F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee175b2d6e1ebfb68e814e07984ee4738418d1a4","datavalue":{"value":{"entity-type":"item","numeric-id":2873773,"id":"Q2873773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154017$48EA8566-492C-468A-A2E0-C5A2ED08C8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"357094579c73b50d60f5fd2182ff88b16f7ee167","datavalue":{"value":{"entity-type":"item","numeric-id":5899071,"id":"Q5899071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154017$38022D02-D6D0-44E8-9182-B1D016A8CBE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a03f812855b48104bfc6bbd9cc492ecca373b97c","datavalue":{"value":{"entity-type":"item","numeric-id":4603575,"id":"Q4603575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb09405e40053f3347fa7b44ab6dbbad0ea13a7b","datavalue":{"value":{"amount":"+0.8656771779060364","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":"Q2154017$A4603442-955C-49E4-A066-F8D76BDB66FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f47b9d0fc9bf5a34a17f42075af0c58733ec443","datavalue":{"value":{"entity-type":"item","numeric-id":2498914,"id":"Q2498914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5356fe3b9b0e953f0b87b7a918f8ccf38eab5d11","datavalue":{"value":{"amount":"+0.7147948145866394","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":"Q2154017$E29E3C7A-15DA-432A-B81C-DB0DC946C141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"182a0685bafb87ff94454e3c2c7c71f51b89cdb5","datavalue":{"value":{"entity-type":"item","numeric-id":5047168,"id":"Q5047168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7c4de30aacda7b43bc8938fc7fc063f7087869f","datavalue":{"value":{"amount":"+0.7103866338729858","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":"Q2154017$0AA573D6-F46E-4DD4-BB99-BC300AB38AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a858124ef113f8466bebca27fd598bd5a58d2e4","datavalue":{"value":{"entity-type":"item","numeric-id":1853589,"id":"Q1853589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dd6095417855556ef9aeb6c7173f64a51eba20b","datavalue":{"value":{"amount":"+0.7066980600357056","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":"Q2154017$2C2D00FA-DC05-4C56-8916-B05F89929294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d67d5da9ed25eddfe35548c942bf3395cadfcba","datavalue":{"value":{"entity-type":"item","numeric-id":3525763,"id":"Q3525763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ccd7410944c2b518de919256ce8a0e04221e94","datavalue":{"value":{"amount":"+0.7066678404808044","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":"Q2154017$E82529CE-ABE5-415F-BA80-5AEA5B7A0219","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2154017","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2154017"}}}}}