{"entities":{"Q3297609":{"pageid":3308317,"ns":120,"title":"Item:Q3297609","lastrevid":80754005,"modified":"2026-05-06T16:55:26Z","type":"item","id":"Q3297609","labels":{"en":{"language":"en","value":"Model checking data flows in concurrent network updates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7222941"}},"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":"Q3297609$03B0D3EB-D551-4068-A15D-DBDA9D537CB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6d34a948a9ae3cde65565f1a24895128ebf0821","datavalue":{"value":{"text":"Model Checking Data Flows in Concurrent Network Updates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3297609$935F0004-3FD8-486F-B339-D0FC6472D5CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6268792f2e4a1262b532f8ea419c305a7f8723d","datavalue":{"value":"1437.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297609$6BE029B9-5039-4BD7-86DF-32E76D866902","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31afc904e67eeefaa8f0ba5a8bb1bfb7991b6f78","datavalue":{"value":"10.1007/978-3-030-31784-3_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297609$AE5C636C-4012-4470-AFA7-A26B61D957CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$C6DBE86A-4F59-4775-ADE1-E366163F7FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35b83053af91f602a09fd90794399308484e579e","datavalue":{"value":{"entity-type":"item","numeric-id":2117154,"id":"Q2117154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$A7154998-51A2-41A8-BA04-934AED0C4D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aaaf79945ca22e0f3477140cbecb983df8b222d","datavalue":{"value":{"entity-type":"item","numeric-id":2226721,"id":"Q2226721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$B75E4321-8CD2-4517-A83D-DFD9D5E1524E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"144020476487cf65953e80776af1d8c90afa5bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1838824,"id":"Q1838824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$D38D40D3-5569-41F0-94E5-B9811593173C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$28EC977A-50DD-40E7-A06E-6344CD5BCB34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93d5f4948d316121f295e91de8563e97eff620a8","datavalue":{"value":{"time":"+2020-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3297609$2691E66C-4C7D-489B-9561-977D0937B6E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dcbf6fcdc07807b73b337d163e3d854fd65c490a","datavalue":{"value":"https://arxiv.org/abs/1907.11061","type":"string"},"datatype":"url"},"type":"statement","id":"Q3297609$FF44D49E-FEDA-4601-B6E1-19762CAE509D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297609$478AE03D-6453-4334-8273-DCCC189F5482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297609$546DB258-7088-4B9C-A678-A64AAD8C94FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a2621a23bf1811a8ea419d2651e4a83c801eeab","datavalue":{"value":"7222941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297609$829846DE-212A-4DE6-9A39-65E3F7B51E9D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"95971f6b611ca7d919754c769fae0e473be28779","datavalue":{"value":{"entity-type":"item","numeric-id":19265,"id":"Q19265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$2DE357D3-B574-4EBC-BC13-79E86198E538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed66b4500809c164ad61ba9724c3cf07f26c2a82","datavalue":{"value":{"entity-type":"item","numeric-id":24833,"id":"Q24833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$82EF73E0-3085-41D9-87E8-4F5ED72773AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc6457699f88d97246e85294ca204f69ca2918f4","datavalue":{"value":{"entity-type":"item","numeric-id":28140,"id":"Q28140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$7C4847CE-7526-464D-A3EF-769AB9E5FB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e78f0d32f4e8b2ef1c9ba9a53a5db9ca8506e1d","datavalue":{"value":{"entity-type":"item","numeric-id":28167,"id":"Q28167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$C6FDC749-267B-404E-9A0F-51702EDADCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ca6f770bb1191c12b22fb9edfc51e5641f798f63","datavalue":{"value":{"entity-type":"item","numeric-id":16557,"id":"Q16557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$FD5A2313-E293-455F-AA1F-48CA734391AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1b326dd1fec7b3b9613ebc80aac4d1e60ecce15e","datavalue":{"value":{"entity-type":"item","numeric-id":40856,"id":"Q40856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$AE762352-34BB-4CB6-994E-629608763769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5e71d19aef9d5399769c324a119f85239d2f418e","datavalue":{"value":{"entity-type":"item","numeric-id":45889,"id":"Q45889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$2A145C1A-051A-4234-A18B-F95969412CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbe5a5c32a8b8f1aa33f6211e2db9d5c2cefe525","datavalue":{"value":{"entity-type":"item","numeric-id":45891,"id":"Q45891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$A3EA6A97-FABC-4191-BCF6-70F1FC6EA700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e2bd03ed191e07cdff2552de8c39513f0fa781f0","datavalue":{"value":{"entity-type":"item","numeric-id":45892,"id":"Q45892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$F05148F6-7ADE-416E-B66B-CE7CF205600B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3c4d8c8302e752bf38b7d876f8ff2541200f399","datavalue":{"value":{"entity-type":"item","numeric-id":45890,"id":"Q45890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$3AD74D75-FCE5-4D67-8DBE-82939468F47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"54facb50706f9d0f3d872eb476b711c3e0de8c35","datavalue":{"value":{"entity-type":"item","numeric-id":41082,"id":"Q41082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$C998DE08-9093-4DD4-ABC9-81B2909070BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a36fa381a97fbba1c7c0230106872705499dccf3","datavalue":{"value":{"entity-type":"item","numeric-id":44084,"id":"Q44084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$0800221B-5B19-4B34-8745-4BCC46E771C9","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":"Q3297609$969DF4D8-0050-489A-9D1D-5DCC4276ED1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"138213e4e2a6f886b1247c8163cbd3d1cc2981f3","datavalue":{"value":"W2981785382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297609$41E71497-260F-4F71-943C-8EA019F0CB84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e59694ba693ed2b8af4b0c9c848f2b45a00bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4817533,"id":"Q4817533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$B4E0E1B6-9B18-46E8-B6C4-5D3E3DD4B373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$7679E3BE-DE18-40CD-AE4A-E7EE8AEB3D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320b13b113b123bb78837c9783fa70d124ddf393","datavalue":{"value":{"entity-type":"item","numeric-id":1660929,"id":"Q1660929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$18D669D2-D747-4FB1-9DAE-4C98EE8AFEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f62bb6f5b81880bc126af12267b829c31343668","datavalue":{"value":{"entity-type":"item","numeric-id":2164228,"id":"Q2164228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$B7069645-4230-46F5-AE6D-F7E972371575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd92129a26dbf41cdf266b4912c7209843a4f651","datavalue":{"value":{"entity-type":"item","numeric-id":1175711,"id":"Q1175711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$66893E02-23C0-431D-B978-56766ABDC1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca0ec24a69cf1f915d924307d29172a5f8a3ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2426635,"id":"Q2426635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$BF1D7CED-CDDB-41B8-A030-8AC105A5C77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283a70169555a778fdf69ac73e0207aa4707b60a","datavalue":{"value":{"entity-type":"item","numeric-id":3297609,"id":"Q3297609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$EE7E0BE1-87B9-47C4-B966-5606635E08B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa28f7cce45b79df67b0f4e78b2d37ed34847f2d","datavalue":{"value":{"entity-type":"item","numeric-id":515654,"id":"Q515654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$E8936575-D19A-41D1-903D-B940C9D26FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8be379e4dc29012717f03e4095ea9a22614ac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1702908,"id":"Q1702908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$E4960AE9-4241-4483-BB1E-46EAC319E1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1db68b2fbf2ada055692d4c3d7df3c8aa84c4f","datavalue":{"value":{"entity-type":"item","numeric-id":5176982,"id":"Q5176982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$05E798B0-BBE1-4DDF-8216-941E28CF95EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af50059e8e1b6fd884ee17d2bf5d3eea2af941ff","datavalue":{"value":{"entity-type":"item","numeric-id":4023496,"id":"Q4023496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$17C679CC-7113-4C1A-85C6-8F44C12DA16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08909277c8e32acd5dae43cf70f2dcd56ef1cced","datavalue":{"value":{"entity-type":"item","numeric-id":2164231,"id":"Q2164231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$50C2D45B-7714-477C-A898-30CA7E85B79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a44aefeabf00513ee0a04ab335016e9c53626b","datavalue":{"value":{"entity-type":"item","numeric-id":4813406,"id":"Q4813406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$2B88C673-3E3D-4567-B24B-F22ED83777A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2272b3ece659ce63040003ddf21ed42bbd8bd444","datavalue":{"value":{"entity-type":"item","numeric-id":2819856,"id":"Q2819856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$35923FB3-F957-4FC8-A1FC-028053C6C21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$209E6421-8A0A-48EB-A84D-3032BCD77BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62e1d1356375b0666384d5e241c31f12cea0833","datavalue":{"value":{"entity-type":"item","numeric-id":2766586,"id":"Q2766586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297609$508AADCD-332E-4FF1-9491-74A8A64A7F84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8841e57a500a24cab66dfd72066a606ad3802891","datavalue":{"value":{"entity-type":"item","numeric-id":2226722,"id":"Q2226722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c4e61178115508dd36e728643ce5a50656b06c","datavalue":{"value":{"amount":"+0.790195643901825","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":"Q3297609$BBAF78FF-B04F-4D7F-99B6-97AC22041852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dbcea1af8b2e103db740cb149d936eb03e6e805","datavalue":{"value":{"entity-type":"item","numeric-id":2117163,"id":"Q2117163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62474acf39c4d30ab0164e7c679a16c00db13afb","datavalue":{"value":{"amount":"+0.7351190447807312","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":"Q3297609$AC67EC8C-82B8-4CA6-8262-9D841174A17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273ea9e0bd36686f4913d9f65e3eb46e9b3c7b46","datavalue":{"value":{"entity-type":"item","numeric-id":5166716,"id":"Q5166716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9045cfa633eb59f2aca35540fe5d9f9c3518307","datavalue":{"value":{"amount":"+0.7228297591209412","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":"Q3297609$F3500554-D165-466B-AF59-F8EABB419D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44cc6a53bd90cebb6a27d0feb69def5f383a5c72","datavalue":{"value":{"entity-type":"item","numeric-id":1996852,"id":"Q1996852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77cecbc265c5f8472d5ea0ed7785d915504729dc","datavalue":{"value":{"amount":"+0.7154091000556946","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":"Q3297609$27FAC698-4DF7-4B6C-B7A3-0E5BF487F5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"176b00cd54d750231cee6fb9b6afc040d6e2b2b2","datavalue":{"value":{"entity-type":"item","numeric-id":6485894,"id":"Q6485894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e4773a5c3d7e70c922ef95da931f7c7a975653","datavalue":{"value":{"amount":"+0.7133181691169739","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":"Q3297609$BEC6FD51-8130-48DB-A750-0F27DB2B6C18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking data flows in concurrent network updates","badges":[]}}}}}