{"entities":{"Q6162221":{"pageid":13297102,"ns":120,"title":"Item:Q6162221","lastrevid":47867875,"modified":"2026-01-02T22:36:45Z","type":"item","id":"Q6162221","labels":{"en":{"language":"en","value":"Analysing AWN-Specifications Using mCRL2 (Extended Abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7703777"}},"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":"Q6162221$B47D87F8-B623-423C-8591-6312E74A37B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d823872aa810459b260e8189446ddb232453b833","datavalue":{"value":{"text":"Analysing AWN-Specifications Using mCRL2 (Extended Abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6162221$9896242D-4857-47A0-879D-B1C3523EAB7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba618ce9ffbe911d029a8be08fe06888439b92e3","datavalue":{"value":"1514.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162221$023E06BD-C69C-495F-BECD-2F6F60BA48B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11f2f34fdf420b08badb74dbb7cb2a47c52594c0","datavalue":{"value":"10.1007/978-3-319-98938-9_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162221$D38259C0-47B0-4FBB-84F4-E92F22035D5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f107a74a1e1c64c94230a71c5504892f32efa126","datavalue":{"value":{"entity-type":"item","numeric-id":287371,"id":"Q287371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162221$08695611-A566-4DD7-84DB-5C3C0FF5176A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5ff26ceda91726cd3bf91a0f416b57791b93992","datavalue":{"value":{"entity-type":"item","numeric-id":246439,"id":"Q246439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162221$2E765775-EB7E-4026-A4F2-56B5C320DD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d699a38b270df875e07d5d87296fe66bacaa0e6","datavalue":{"value":{"entity-type":"item","numeric-id":6162220,"id":"Q6162220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162221$4182CED4-486A-49B0-88AD-B9887D8AE77F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162221$15F4AC20-3BEA-4BE2-8825-9013D9D32021","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b878ec3713c817dca00288e268c11822e517167","datavalue":{"value":{"time":"+2023-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6162221$FF9367C9-227E-4B87-8022-CA06FF50E16D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53bae7e9ee558bf88bedd351dc7decc4d955e042","datavalue":{"value":"https://ris.utwente.nl/ws/files/89005525/WalAnalysingAWN.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q6162221$6C72A009-443B-448C-B994-162790A40194","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162221$EEB675C9-14FA-42DB-A55C-0D7B668022C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64fd8b857dbe5b573ac17619a888cf4a785a5133","datavalue":{"value":"7703777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162221$51E5C259-6046-486F-96EE-C094A816657F","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":"Q6162221$4643EE5B-8CAB-4C5D-8416-7E476C2D80F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162221$61251576-78E8-429E-93CC-C37301F2BE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8acecb45d527064474401487c6d252f74914ae2a","datavalue":{"value":{"entity-type":"item","numeric-id":3742698,"id":"Q3742698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162221$3B30669B-9966-432E-B0B8-60FF1E1BCA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bb93c1c9a636f5b79a28b6c196a3cc1b83fe8cb","datavalue":{"value":{"entity-type":"item","numeric-id":287372,"id":"Q287372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162221$44585223-DEDC-41BA-BAF5-0475D05CEC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40d7cf6b2703ec01687f367e330e9c1f7ca4275c","datavalue":{"value":{"entity-type":"item","numeric-id":2802472,"id":"Q2802472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162221$CD427383-5B4F-4B95-A900-A9053DE76B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c47b1ec42f76c6c902744c519a0f20cb7d46322","datavalue":{"value":{"entity-type":"item","numeric-id":5326326,"id":"Q5326326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162221$DF063645-6D7F-493D-92D3-A84E9FCAE9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162221$25C3DD35-4F60-4425-B825-77F3C07C56EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"594bbe0de00808e165e0f6c0bb86088b61a969f0","datavalue":{"value":{"entity-type":"item","numeric-id":2892733,"id":"Q2892733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162221$3C11C6C6-3F34-4BB5-B2F4-1CD7B88DE517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf796ed124a44edfdde0c00c7fe4bfe6b2a091f5","datavalue":{"value":{"entity-type":"item","numeric-id":3163871,"id":"Q3163871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162221$CDAB9500-C0AA-47EC-8B16-D01B39724B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b0b2fbfd352688d54303eea6a26f058ae25545c","datavalue":{"value":{"entity-type":"item","numeric-id":324632,"id":"Q324632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162221$CBDE7624-E76C-4C43-A8D7-18EF2A0799FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a266e0e9078f4d9f3bb78cbcbf63c2d0f70b33","datavalue":{"value":{"entity-type":"item","numeric-id":3191614,"id":"Q3191614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162221$F6AFA89C-3661-4B40-AAAF-01D3C98A37E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162221$ED46ACC0-DAF0-41F1-ADA3-2AF3C1211A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162221$0B4B3615-EFB5-4991-832E-5E41BE26732D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ccaa844a24bfd6b8573ab0788084400d702bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":4737565,"id":"Q4737565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162221$3473F3D5-D6C2-4372-B629-C6FA17235C23","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":"Q6162221$E6060DA2-D029-4DD8-A0DF-A28301905257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162221$01A15104-3551-47F7-B4D8-93B25C887BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162221$74DFCF31-890F-42EA-981B-692B43E73C06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d174261487b62fd08ce52ca52bf601871b74d81","datavalue":{"value":{"entity-type":"item","numeric-id":3614665,"id":"Q3614665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c05f0274d88cebe3124f00882f38da5ca6eb805e","datavalue":{"value":{"amount":"+0.720931887626648","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":"Q6162221$DF571CFF-A1EF-4915-A969-14BDED1B8028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06a4d8e04baf05a0f3dddf960e87d95535dccb50","datavalue":{"value":{"entity-type":"item","numeric-id":4551157,"id":"Q4551157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f362de0af453b69a2f8caf685d15a1ee1a9ded53","datavalue":{"value":{"amount":"+0.6993921995162964","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":"Q6162221$EF999A22-B705-43D5-9CF5-53AAEF6D0165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6afeb225de387cd850ee506eb1f2f37d6519e92","datavalue":{"value":{"entity-type":"item","numeric-id":2764137,"id":"Q2764137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"506f22755df022ea6f3d395c878a11663be970e8","datavalue":{"value":{"amount":"+0.6974814534187317","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":"Q6162221$537E0757-B8F2-4A23-B1BA-2456724D1A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96a99cf25d737fad764ccaba7dd45bc4d5654ecf","datavalue":{"value":{"entity-type":"item","numeric-id":5312997,"id":"Q5312997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d78b36dce0568b797efd82d98cd8c8e1c235c09","datavalue":{"value":{"amount":"+0.6812276244163513","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":"Q6162221$FB41CACE-72C2-4D0A-87DE-D1FD64971022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dbe7c634ceb73cf27a8198a2e1e9d4429917653","datavalue":{"value":{"entity-type":"item","numeric-id":2848480,"id":"Q2848480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1bda7c08175be985d29c98ad27ead181576b90f","datavalue":{"value":{"amount":"+0.6795998811721802","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":"Q6162221$46A257EA-7699-4B17-9675-3783AD46B01F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6162221","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6162221"}}}}}