{"entities":{"Q4971674":{"pageid":7001253,"ns":120,"title":"Item:Q4971674","lastrevid":56870055,"modified":"2026-03-24T09:26:07Z","type":"item","id":"Q4971674","labels":{"en":{"language":"en","value":"Tools and Methods for RTCP-Nets Modeling and Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7259406"}},"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":"Q4971674$F2D2340B-04FA-456C-A958-E935B28B4340","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8c572a1e26810ca3507a3233bf8b8cdc7c5597f","datavalue":{"value":{"text":"Tools and Methods for RTCP-Nets Modeling and Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4971674$B331117D-B3AB-474C-B0BE-65901DF1B45B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"660c75c452dab703574a3674f10bee6b0e294ec2","datavalue":{"value":"1456.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4971674$AB2ACD0E-D59A-4E3E-B41F-0870EC03AFE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98639ef90e575e31e9b1162ce0efb2b06ccbc881","datavalue":{"value":{"entity-type":"item","numeric-id":862529,"id":"Q862529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4971674$10ECF43F-7FD9-41BC-A526-0659BF659262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b3ee34a11d34a8cc6e37ddcc6bc84e7247d2b61","datavalue":{"value":{"entity-type":"item","numeric-id":4971672,"id":"Q4971672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4971674$BC92DA0C-6DF5-4FC2-B305-E017996F3655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fca84c9e2ef889760918288655f1108cd136d13","datavalue":{"value":{"entity-type":"item","numeric-id":4971673,"id":"Q4971673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4971674$90301195-8A8B-42E1-877D-3279C685B7AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4ce85adb30cb37595d2d1a26af27ed6aadec5179","datavalue":{"value":{"entity-type":"item","numeric-id":2847091,"id":"Q2847091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4971674$1A6C3E00-7EBC-43C0-9251-03B073191068","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0163f8e6677e49732de512ceb92368b6cf6a6ee5","datavalue":{"value":{"time":"+2020-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4971674$6D519CBE-DCF8-4B80-980E-CB3714EF3AC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4971674$4EF87183-F205-489B-9363-2BC9C63F689E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4971674$B58BBE60-E251-40DC-BF3A-66FA85DF7783","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dab5e39ad6cf7d90623eda6c8e751a404ccfb3e8","datavalue":{"value":"7259406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4971674$6E6C377A-96C8-437F-A8EF-5AB4CA3D423B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6c559233e3689ee6101bc3a36997a084fb319f0","datavalue":{"value":"RTCP-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4971674$566B2087-E328-47E6-AD61-22C97B92921F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4971674$A9B5B722-C39F-43CB-9E8C-5A394B4913BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4971674$108C4157-20C5-4C01-AC65-CA10620F1D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"689c5a15df7354fdcac1e54ab8c6ab2dc06296fa","datavalue":{"value":"coverability graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4971674$D3DED9E1-0A45-4249-AB7E-7DF39405329D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c30e5bf354bb63d819d334209976b5e8a07fbdfc","datavalue":{"value":"nuXmv","type":"string"},"datatype":"string"},"type":"statement","id":"Q4971674$C06CD558-A531-4235-A58D-7AD077B70C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8485bc03597e007fbe73da87eac41781e70f3ef","datavalue":{"value":"CADP","type":"string"},"datatype":"string"},"type":"statement","id":"Q4971674$47E5BC63-B8A7-4C51-9E83-3A3FC43EEC0C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4971674$2022BC66-4520-4ABE-9609-73C3E6160380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4e1fe9e7e19a9673e889bcce0afc1d800822389","datavalue":{"value":{"entity-type":"item","numeric-id":30365,"id":"Q30365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4971674$995A560F-56E6-42BF-98D7-7DBB4942114E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4971674$87E1EBBA-E016-45E4-975F-5FF4FE001A0C","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":"Q4971674$F6D5E3C6-2817-419A-9B65-94170C226121","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7d85abc5adcaa830bc43ec02941b3a9f83bb93a","datavalue":{"value":"https://doi.org/10.1515/acsc-2016-0019","type":"string"},"datatype":"url"},"type":"statement","id":"Q4971674$213FA966-6CB7-4B59-84F1-68B49913C2D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62185e38417816ead2d05f2e592504f1d460f0fc","datavalue":{"value":"W2526184101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4971674$C3F4DE34-7B35-4CDC-AD51-14013DC79F47","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0618ab971b1402c4c34251dffc850ea86689a4","datavalue":{"value":{"entity-type":"item","numeric-id":1856168,"id":"Q1856168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4971674$F2C42165-9BA0-4021-9FBF-36E9F112AF87","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":"Q4971674$B81C2E19-AF45-4DF2-8B41-8C2AC0770049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c243869ba0963401792b9d55bbba80b8cb068d1","datavalue":{"value":{"entity-type":"item","numeric-id":4353562,"id":"Q4353562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4971674$8FEDA2FA-B80E-4D03-9429-32600D36F038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57a8ab0bcf71eb2d777c01d7b194ee5f97a12222","datavalue":{"value":{"entity-type":"item","numeric-id":4789075,"id":"Q4789075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4971674$33D58E1B-E1A5-4CBF-A6D9-9A0EAAB9CD69","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":"Q4971674$9EEC4D42-B906-41F1-9133-32AF4F6B2190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a99f310947f3fc6d764435e871fb3790fd14d9d","datavalue":{"value":{"entity-type":"item","numeric-id":3617245,"id":"Q3617245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4971674$7B13630A-D662-4E00-AE9D-BB2C984419FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4971674$57FD92C6-BD4C-4008-803C-03A97F12CE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8805054e194d83397e4c359f39f7bd8124c4bc49","datavalue":{"value":{"entity-type":"item","numeric-id":3416087,"id":"Q3416087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4971674$ED310EEC-3868-4832-BB20-A42430BB731B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7812f1bb7c89c42fbc844a067b44b8e397a2e64","datavalue":{"value":{"entity-type":"item","numeric-id":862530,"id":"Q862530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4971674$76314612-F5CB-4ED1-867F-54AFE6091675","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fcabb5768f6197b2255d9abe9ed82afdc9ec0ec","datavalue":{"value":"10.1515/ACSC-2016-0019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4971674$DB118DD9-8D94-44DB-968E-0C80F2AF3DF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62fbf3be9c7e4b472bc09f8dc61241f44a265a7","datavalue":{"value":{"entity-type":"item","numeric-id":3416087,"id":"Q3416087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d84811097dcca46088d2119f29a7316590f2616d","datavalue":{"value":{"amount":"+0.8817465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4971674$7F071E43-AD61-4D4E-9749-EEFD83D3A24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9687afcc9840d63d999784a4f17f317bbb7cc89","datavalue":{"value":{"entity-type":"item","numeric-id":896913,"id":"Q896913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2578502ccca504f9eb7477536141c680531f222","datavalue":{"value":{"amount":"+0.87013906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4971674$1959437E-12AF-4D35-A153-9F34C6C6A736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ddef41592952b3a794f4ba2e4feb2f65f021c3a","datavalue":{"value":{"entity-type":"item","numeric-id":3341874,"id":"Q3341874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6b72e4c6244dbf4ef5dca081aaf2d6c46c8687","datavalue":{"value":{"amount":"+0.8695269","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4971674$4BC61075-6EF7-4AAA-8D8A-73A8229DD18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1d32ed923af45e746c567ba98b0286ab891269b","datavalue":{"value":{"entity-type":"item","numeric-id":2226729,"id":"Q2226729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62993e1993c37e5248fdd07db24f7177b77b1063","datavalue":{"value":{"amount":"+0.86918163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4971674$86353F3C-0007-4825-9B2B-3430A945694D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ca72b8875e3dc9ba63b6bea6dea98bc9b411c8","datavalue":{"value":{"entity-type":"item","numeric-id":462483,"id":"Q462483"},"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":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4971674$7EEA6198-DC0A-407A-8BDD-3FF77E94F32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb8285d2b7c787b44a15dd0f1e9960cb972b7dbd","datavalue":{"value":{"entity-type":"item","numeric-id":4551148,"id":"Q4551148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f19e32f41bc2c4417daa41b511a761350dfd0b2d","datavalue":{"value":{"amount":"+0.8627747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4971674$519ABB71-A09A-4A13-9379-5E08AC5B4B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f77bfb851c5f394bc297c6aa37b5ea4e17edb161","datavalue":{"value":{"entity-type":"item","numeric-id":5307028,"id":"Q5307028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ad6a084c44566e0a7925a456ff9a90cc83fe3f6","datavalue":{"value":{"amount":"+0.86192065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4971674$3F453055-1246-4597-96F5-FEC5B0DDE1CF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4971674$33CF87F9-907C-4E51-99AC-C9EF307CD3C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4971674","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4971674"}}}}}