{"entities":{"Q1633067":{"pageid":1643808,"ns":120,"title":"Item:Q1633067","lastrevid":77917868,"modified":"2026-05-06T10:21:45Z","type":"item","id":"Q1633067","labels":{"en":{"language":"en","value":"Timed-pNets: a communication behavioural semantic model for distributed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6995617"}},"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":"Q1633067$C91E76A4-E384-4613-8F75-EFD21614644D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2850b7bc5514df3691af39510f674df93063158e","datavalue":{"value":{"text":"Timed-pNets: a communication behavioural semantic model for distributed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1633067$EFC91AE0-48DA-4766-9366-20E64115E11A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"264e5df5cefee62692a18dd720b274f163d15ef4","datavalue":{"value":"1403.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633067$D38D050D-2904-4FDE-9875-C2B0EE25444A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38a431f4c79aef9e1345a304c4a90ff6bfd5d5ca","datavalue":{"value":{"entity-type":"item","numeric-id":1633065,"id":"Q1633065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633067$63706DFB-7F5C-42FB-B8F6-91BF9905892A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9ce00722fe98937952294ecf94d9205a9897ee3","datavalue":{"value":{"entity-type":"item","numeric-id":1633066,"id":"Q1633066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633067$67097668-CF89-4C19-8BF3-348333BC1837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee079eae855f3dad7c8f979a67720cef98a8cc23","datavalue":{"value":{"entity-type":"item","numeric-id":330998,"id":"Q330998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633067$04E9F1BC-73A3-415C-A44C-1265928F9305","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eabcb9c93ef6c7df283793669954b3abc32ee68e","datavalue":{"value":{"entity-type":"item","numeric-id":249541,"id":"Q249541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633067$2ED88697-4017-48F5-BC24-F4324F833455","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c296dc942095780fd978c23996e3fd2f242983e","datavalue":{"value":{"time":"+2018-12-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":"Q1633067$56CAB8F8-0E41-4D45-B68C-356E4ED06DB1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"464dd4e79b654cff221c1ca28654c72043609c9f","datavalue":{"value":"https://hal.inria.fr/hal-01086091/file/Timed-pNets-FCS-authors.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1633067$34EBC99B-CE16-4CF4-8D80-377EE02E31A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633067$20EB06D0-A4F2-4A91-BCDD-52395BEE256B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633067$8F46F5E6-1A74-49C2-A87F-C71DEE482B4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9faaa18e0605fd2aeff4e7b5ca688f0d804af6c","datavalue":{"value":"6995617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633067$3E828B93-D891-404A-B27C-AE4FCA21A67B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdece6eb0f133e8caa91b5a8c4cbf4c77d3c827d","datavalue":{"value":"ITS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1633067$09B0B9C2-CED8-480E-B9FE-C1C930EEEE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aab28e511b04572600479266e1b2d21a4f7ba3d","datavalue":{"value":"logical time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1633067$9578388C-59E6-489D-BCCF-C30E17B2215F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77a2334df3bf6d3e1f4f86dff28df8564bc1f0d","datavalue":{"value":"formal method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1633067$3F876803-B731-480B-8D66-DAD7CDC2416C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08cfc1b6153d7970f9fc14d9824356d5f15fc603","datavalue":{"value":"timed specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1633067$F4E02616-A7FF-4BC3-ACCC-A130A1E0727D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d156fd75df9dd12a216fbd1d786239ab45131883","datavalue":{"value":"synchronous and asynchronous communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1633067$D757A920-BF19-4481-A15F-02419BF824DC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d56aaa8b61bd2eb58d79a5b19ae81a9cebd14366","datavalue":{"value":{"entity-type":"item","numeric-id":15452,"id":"Q15452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633067$5ACF8F51-F222-43BB-A2A0-67462730F522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab8b41d4f6ac73ee641d1700edb49bc569cd9d33","datavalue":{"value":{"entity-type":"item","numeric-id":27702,"id":"Q27702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633067$6F17CA71-E578-465E-8AF8-3BCC40CD6A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633067$4DA7C6D1-D45D-4FD1-ADEC-0354AA3DF217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633067$7C1AA69B-8146-497B-A4FB-C8D9497049CE","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":"Q1633067$0E1C801D-E51B-4ACD-AED6-DDD0C5C4A12D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1186139f8363fe19c7bb002c331acf0b1b9208da","datavalue":{"value":"W2132609679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633067$11A9B77E-1F2B-4B56-832F-281B09B475B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633067$B7F3444D-529F-4434-AEC7-C3401F033C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047d6385245b8065fbe025965ce53a2e2cd15ee2","datavalue":{"value":{"entity-type":"item","numeric-id":1183545,"id":"Q1183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633067$65155EEB-1C86-494C-BB4C-B350E552A6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4861ad6b832bac12a95a11f6298cd74a8cad1bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4289659,"id":"Q4289659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633067$28C51725-B359-446D-9B35-3949C3EC2125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e853c2a4e7bbcf36dc60afb69258526f0340d148","datavalue":{"value":{"entity-type":"item","numeric-id":2397038,"id":"Q2397038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633067$BFC89C20-A012-49AD-90E9-9E291F6D4F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633067$C2A4E6D5-0E83-46F4-AE99-5BAFEB3515F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633067$39D8E45A-9578-4739-9689-1BD86CEF1444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365498af0069d3ef3a61efdb979621a69df4e755","datavalue":{"value":{"entity-type":"item","numeric-id":1013090,"id":"Q1013090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633067$A1293D42-FFEF-43CE-9E66-6C6B2C84CFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f5659f54bea299be7971d11205d2db9a1c1e04","datavalue":{"value":{"entity-type":"item","numeric-id":4779819,"id":"Q4779819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633067$DBFED3B3-22DF-45B5-ABA7-F77DF3B8A0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28224eecd9387c25217ae7ba6eb59bfcfab5db5","datavalue":{"value":{"entity-type":"item","numeric-id":4787220,"id":"Q4787220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633067$7CF1A04F-0797-4BF8-AF25-FB5A3535BDE7","rank":"normal"},{"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":"Q1633067$9112680E-0DF7-45A0-AEEE-14A2A6725FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702d41428ea18d34f8a91928575b935879c59822","datavalue":{"value":{"entity-type":"item","numeric-id":2851898,"id":"Q2851898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633067$47FFA91B-E25D-49B1-BC3F-2E0FE6F6C678","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0dde3e623526e2a45efd4561f163c5f593c84cd","datavalue":{"value":"10.1007/S11704-014-4096-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633067$DE636369-ADC9-4ADA-AE2D-57D1E7536454","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c590abb9e9b16bb29c5d4dddd2d1e13298f5d4bb","datavalue":{"value":{"entity-type":"item","numeric-id":1770360,"id":"Q1770360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44bda86cbc0c871f7dc9fc56d9e7a55d07401172","datavalue":{"value":{"amount":"+0.87390184","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":"Q1633067$4E45610A-3831-478E-9CE9-4DC89090B665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10830d96225b58745d6fa18d7bd3380cbbf739f2","datavalue":{"value":{"entity-type":"item","numeric-id":1109561,"id":"Q1109561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"446dc38b754cbbc9ef9a9448bd892828a3965fd5","datavalue":{"value":{"amount":"+0.86413026","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":"Q1633067$D8DBA1C9-7FC5-4C67-A688-9B7ACA765E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78a101e0c46e9571e7231f7e626edb2b6546219a","datavalue":{"value":{"entity-type":"item","numeric-id":3725534,"id":"Q3725534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"446dc38b754cbbc9ef9a9448bd892828a3965fd5","datavalue":{"value":{"amount":"+0.86413026","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":"Q1633067$1D9D9B5E-B549-4BC1-AE3D-A3293B8021F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dfcba4652c65582e7e00a2f62ec5f6e2e872fef","datavalue":{"value":{"entity-type":"item","numeric-id":3725533,"id":"Q3725533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bff83ccb5787654c3daef92f0d75c730ab4da7ee","datavalue":{"value":{"amount":"+0.8611948","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":"Q1633067$35F7CAC2-70E7-4A4D-8CF7-058243ED99E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Timed-pNets: a communication behavioural semantic model for distributed systems","badges":[]}}}}}