{"entities":{"Q5090941":{"pageid":7120517,"ns":120,"title":"Item:Q5090941","lastrevid":55416640,"modified":"2026-02-17T15:58:26Z","type":"item","id":"Q5090941","labels":{"en":{"language":"en","value":"Verification of timed asynchronous programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561313"}},"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":"Q5090941$FD616A0E-8946-4EEF-A130-DDBC60C4F5DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de80e021db34435e21a6613c8105f91a5d942b85","datavalue":{"value":{"entity-type":"item","numeric-id":479840,"id":"Q479840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090941$E3E5BA8F-BC64-4F93-BAF2-249D99AC4242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6807c838a0c13cc8536b7508e779053a5949ccae","datavalue":{"value":{"entity-type":"item","numeric-id":537906,"id":"Q537906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090941$9D499EA4-9CE2-43ED-BFE4-664D8D7DDE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"636a8f4a1d48e8fe442f8fe0b80bf5a90e87b17d","datavalue":{"value":{"entity-type":"item","numeric-id":5090940,"id":"Q5090940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090941$D9007EFA-0E2E-4D7E-AE67-A7A0603C13F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090941$B164984E-802D-4F77-ADF3-77EE4244E06F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae3e014d42c3e727189349ca8167d2ae32144d1","datavalue":{"value":{"time":"+2022-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5090941$89038E5A-324E-488D-A855-0C2934CA3C52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090941$51166F05-70C5-431F-BB04-37A5217F179C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090941$25BA7612-426A-46D6-86FE-29D1CD9BA92C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e5bc294372fcfb1b316bd64e247eefbb5cbacfb","datavalue":{"value":"7561313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090941$E1E42D6E-FABA-4E5A-AF97-4AFA410A0839","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090941$60297471-4B9F-4F4E-98B1-87A1FAB457A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090941$78ADE940-3958-403E-95DE-545C2CFFE1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f146664e0585ffe86edef13e939aea15c4544d26","datavalue":{"value":"asynchronous programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090941$BF28B690-90A0-416B-B731-ACB3F237F8B9","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":"Q5090941$AC687D02-D659-4AE9-A940-0FF75E21904E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090941$041CF292-2B36-463E-9ED3-9A25C33644C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f1d3878bda1c1cfca175306487ae754b4a6fdb","datavalue":{"value":{"entity-type":"item","numeric-id":5136300,"id":"Q5136300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090941$08B95B83-2E6B-4846-BFC3-C26A66072AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7a1015ecabed6a3d61d5bde68a36a30d314919","datavalue":{"value":{"entity-type":"item","numeric-id":3165945,"id":"Q3165945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090941$D2A4B004-36BF-4638-977D-0FBCEECB674B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44a9a5643ffb9377c949d43e5c9037c1779537f1","datavalue":{"value":{"entity-type":"item","numeric-id":3525634,"id":"Q3525634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090941$8E74B4BA-C7FC-4D07-9F39-A12031AE63FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33956c849ab9ecccf10e7be1fdcaeb3a3b333b3","datavalue":{"value":{"entity-type":"item","numeric-id":5408560,"id":"Q5408560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090941$11D0921C-9F63-430C-A54C-64C0FAF65070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0020436d5887f7535bf4a48adb9495841037c9b7","datavalue":{"value":{"entity-type":"item","numeric-id":3648830,"id":"Q3648830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090941$6E24CD11-DE76-4B15-A4C2-C246304ED553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27fa4157a77401eaaa0f2c0bc81e465456535a04","datavalue":{"value":{"entity-type":"item","numeric-id":2986805,"id":"Q2986805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090941$E752568B-5DA1-4A72-8C01-469E6EAC1AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8572891d5fe72e1a8973c25a2cc5304dfeb47a9","datavalue":{"value":{"entity-type":"item","numeric-id":2986811,"id":"Q2986811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090941$4F261366-CA22-4296-83E0-B7E01BBDDB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090941$E8607AD3-4E28-471C-B21D-0DE068AA9274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30d97f46277b151ef37d50bf9b520874a1a65a2","datavalue":{"value":{"entity-type":"item","numeric-id":3189813,"id":"Q3189813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090941$D0915B6E-1799-43FB-8EDF-DF60E2732F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c57448c3511c30ed92e5fbbbe68c6f2b95237a20","datavalue":{"value":{"entity-type":"item","numeric-id":2554710,"id":"Q2554710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090941$31963132-4CB6-41C1-A97B-A684807BBA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090941$7C04F072-728B-40E4-AD84-A0603B718CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6e8598dd145899622e0c9231c1d2cac0836c00c","datavalue":{"value":{"entity-type":"item","numeric-id":5756745,"id":"Q5756745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090941$7195BD2D-68DD-4A0E-ACBE-46C859DC82FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abb8385bf5e4486cfc8bc9640f570f9f074c5e33","datavalue":{"value":{"entity-type":"item","numeric-id":5713513,"id":"Q5713513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090941$B580C68C-7665-434C-8119-FE21AED99DFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec215a30326f2956528958b8bf2e7ce307084b7a","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2018.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090941$00463D48-2096-4552-A9FE-FF15EA084547","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3b3349e861057ef25d3e153f1e107c33a6e3cd","datavalue":{"value":{"entity-type":"item","numeric-id":5136300,"id":"Q5136300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b922e2c20082037657e44e3b27f1cd79bf474d92","datavalue":{"value":{"amount":"+0.790108859539032","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":"Q5090941$0A80C535-3F99-4CF8-8B99-2024BCF9D2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8525c2401c0132c791dbcd601edab021cb5ea3c0","datavalue":{"value":{"entity-type":"item","numeric-id":4472228,"id":"Q4472228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d658e0a7e8be2cadcc2428748946352ead6b9bd","datavalue":{"value":{"amount":"+0.7676119208335876","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":"Q5090941$97AF7AEA-4FD7-4102-AEE7-EFF05ACC8118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"665068f317d1d3c991e0efa3a5cd1a686ce8b4b6","datavalue":{"value":{"entity-type":"item","numeric-id":4417609,"id":"Q4417609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"147ee155515e42f33f433bcd1c66b12c3f493199","datavalue":{"value":{"amount":"+0.7592026591300964","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":"Q5090941$ACAC620E-58B5-4E53-BC4A-EE618E2ED9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1df577a0b103b40b33dffea021e62094375c87e9","datavalue":{"value":{"entity-type":"item","numeric-id":732003,"id":"Q732003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67de307fb5700084131d0315228cafd75397bea7","datavalue":{"value":{"amount":"+0.7551674842834473","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":"Q5090941$4569699D-EF2D-4993-8110-7E624595B04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdcd4d5d433e9e6cf366fad8fc39c7ac2c12b7e2","datavalue":{"value":{"entity-type":"item","numeric-id":2044219,"id":"Q2044219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c17c8d7b015d41b489b72bda2f9fb4f84940d65","datavalue":{"value":{"amount":"+0.748577356338501","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":"Q5090941$98383D89-D8B7-4DD2-8A39-09F8D9AE4EDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5090941","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5090941"}}}}}