{"entities":{"Q1635829":{"pageid":1646570,"ns":120,"title":"Item:Q1635829","lastrevid":72394206,"modified":"2026-04-14T04:36:50Z","type":"item","id":"Q1635829","labels":{"en":{"language":"en","value":"Parameterized model checking of rendezvous systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6879956"}},"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":"Q1635829$B97C2AE5-FB4D-4E87-986A-BA02C10EF140","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"088b1c3e52f8a12ce6b0c0651773bfb0a3388538","datavalue":{"value":{"text":"Parameterized model checking of rendezvous systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1635829$509632B5-736F-413F-8D9F-10F39811B385","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78716af209f1a1cf351543506815d5b4f846664b","datavalue":{"value":"1451.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1635829$D082908F-4AC1-4208-BA45-71BFE60AB409","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb346d256664a1bd135e45cfac6662095ea6a3d4","datavalue":{"value":{"entity-type":"item","numeric-id":385024,"id":"Q385024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$0FF7DAAC-268A-4F45-B2D1-042F7FCABDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ad5fa45ac6ce8871f5cbcc41158f8d0dc054f82","datavalue":{"value":{"entity-type":"item","numeric-id":456392,"id":"Q456392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$0FAF3B1C-4517-474A-8D7E-917AB81C9D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc296f41d11fea7b93d22457da52ba5c74d18ae","datavalue":{"value":{"entity-type":"item","numeric-id":389946,"id":"Q389946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$057902D5-AD93-4682-9446-3367B42FC756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bcb15ab2871a2195980fb91a8d23fb8b0bf1afc","datavalue":{"value":{"entity-type":"item","numeric-id":1635828,"id":"Q1635828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$E273CCD3-8E46-4F9B-9BE2-3A01363CA8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab766bab7d2d121997187bafff958b477c6b8a01","datavalue":{"value":{"entity-type":"item","numeric-id":234696,"id":"Q234696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$7D4ED56F-AFAA-4177-BA22-2FA0DDC603D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"57115b4722082b3277b4db3ad0412a8293b7033b","datavalue":{"value":{"entity-type":"item","numeric-id":251292,"id":"Q251292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$7CC492A1-A994-4AFA-80D3-87E6B1195522","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4091752dadd3cc2ba03aa8151bea8dfd93523d","datavalue":{"value":{"time":"+2018-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1635829$2B987F7C-F1D3-49D9-B28B-52A344094425","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1635829$899F2307-B52D-44DE-94DB-D0095EF63030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1635829$46A16447-543E-4255-9B22-7CEB1D679040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1635829$D2B639B0-26BE-4DF9-9780-44C7A62DD452","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9aca805e92f2146352ed9b76b3534a697de746fc","datavalue":{"value":"6879956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1635829$5A4757EB-1A6E-4C0F-A656-53DCE1FB38AE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c28c781817c5f2e76bcb2eb58641acf57f45cec9","datavalue":{"value":"Q59605462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1635829$65320668-9704-4A83-9631-8F8E6626CC3D","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":"Q1635829$6A91E662-EF6C-4115-9DB5-C9EB4DE31A36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db32078a7faff4ca39d974f054888fb4ffa1cbfb","datavalue":{"value":"https://doi.org/10.1007/s00446-017-0302-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1635829$780AD263-94D5-42AD-AEC3-6BEB9E358202","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"555887e237283b511c9f307fab11a243fe7ff3fd","datavalue":{"value":"W2757433671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1635829$1B1E3900-382A-475A-A778-C7163E319CD7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"327cd46bf4b48e147be3bff1c9fea6e5ba45f94e","datavalue":{"value":{"entity-type":"item","numeric-id":1115609,"id":"Q1115609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$A4B7CB3F-CDCA-4127-9BCE-64AE7E0FABE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4bc1e19c37922a639da1a9ec5564fb5110b1aa","datavalue":{"value":{"entity-type":"item","numeric-id":2938070,"id":"Q2938070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$B5682C10-3B62-4A18-9F4F-652D173B07A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af8018e4b2238d1fb6a944b40d6c56807562f1c","datavalue":{"value":{"entity-type":"item","numeric-id":3190112,"id":"Q3190112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$E0B564A2-5D70-4960-802A-76700AD31117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5343ab251952414d277cc777be59d3d2de4b0f99","datavalue":{"value":{"entity-type":"item","numeric-id":2817946,"id":"Q2817946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$F4E74A36-1252-4422-8851-C2E130C19401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd52f0bdf51c4026c5646e2b31e83cf14521bc9","datavalue":{"value":{"entity-type":"item","numeric-id":3460063,"id":"Q3460063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$D3F84816-3434-4F74-AC01-5257B7BD0246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e2df2560abb1b0a937ec4034acc585fd958ea6","datavalue":{"value":{"entity-type":"item","numeric-id":3449490,"id":"Q3449490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$DBACBBF2-9C04-49DB-83F2-1A313A43913F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a34ef9306bdded0ee4f49da10d7542d8abbde8","datavalue":{"value":{"entity-type":"item","numeric-id":1954251,"id":"Q1954251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$B03A5C21-2B2B-48F7-94A2-7DCAD89D4E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ec07218b16f43bed53e04fe80a07d23a4e3ea67","datavalue":{"value":{"entity-type":"item","numeric-id":2796072,"id":"Q2796072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$F0BF3FF3-D34C-4BC5-B6ED-A9C46DBE1555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$8167FE35-5BBF-4C44-8AF8-BF1ED8D6CACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2426859933ded65ecede93f0dda338fe32c6c26e","datavalue":{"value":{"entity-type":"item","numeric-id":4568312,"id":"Q4568312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$440D6BF8-FDDD-4753-BE58-DD15441DC745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ce10f2c105db58ec72d58d5665464175b07498","datavalue":{"value":{"entity-type":"item","numeric-id":921983,"id":"Q921983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$6169CB2B-43AC-4E3C-B95E-A98977DC4A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"629f0d98aaa935fc69136e7996206257ff744c71","datavalue":{"value":{"entity-type":"item","numeric-id":5311479,"id":"Q5311479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$0F173274-C985-4434-85E4-2BF9753CC2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a156d0e955d918a0cf7c3031785e80a3fc845ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$92BEF54D-333E-4F06-9283-E8C7F52774BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8fe56184955dbba620e4cb94dc309dfe37fcc19","datavalue":{"value":{"entity-type":"item","numeric-id":1974445,"id":"Q1974445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$E9608E84-9990-4387-A51A-D38E4A29ED9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211530a7d66720062b60e82cf130f31beea4a662","datavalue":{"value":{"entity-type":"item","numeric-id":1975365,"id":"Q1975365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$9A1E0A5C-C8A8-4BC2-A0B0-88A287F13037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"555e70759b9d3f8c50939cecd8cab09c5fff9e6c","datavalue":{"value":{"entity-type":"item","numeric-id":4472236,"id":"Q4472236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$76AFCFB5-7171-4CCD-AEC1-D03A93A28494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13061f68da7af79744918152892311afb29dd4ca","datavalue":{"value":{"entity-type":"item","numeric-id":5168517,"id":"Q5168517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$53A662E1-64E3-4167-B1CB-F4E64E04A380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fb0a2baa482a2c4936cd901a76000390bf83b26","datavalue":{"value":{"entity-type":"item","numeric-id":4910461,"id":"Q4910461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$E0A53F86-7FF0-4C19-8027-D69C6F5FB7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$609704F4-637A-41E3-A48F-F24F589F593C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4acb92f5f977d91828d0f85575a2ecca384ade","datavalue":{"value":{"entity-type":"item","numeric-id":2723423,"id":"Q2723423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$51CF0F3C-BD8F-46F4-8482-6D04692BADAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ffb34a749312d4fd0afec92cccf7c98cc6cdc03","datavalue":{"value":{"entity-type":"item","numeric-id":5897071,"id":"Q5897071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$7F7C5504-C2FD-4E61-91B0-0F62A5C463E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681769f62f1bdff8943148c499843c2eab2b1896","datavalue":{"value":{"entity-type":"item","numeric-id":5311266,"id":"Q5311266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$D016A520-F07B-4256-916D-17DA837C6A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18e28476bfef33ad1b2b85b86e71d14c7098ed3c","datavalue":{"value":{"entity-type":"item","numeric-id":4936148,"id":"Q4936148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$D0331AC4-7494-4DBF-897E-3101B0D7D748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be4c10713dc8a049bf69c817dfcde9c9cf557e4","datavalue":{"value":{"entity-type":"item","numeric-id":5696925,"id":"Q5696925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$553EB0ED-97E6-483B-9347-3F93E3B022AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0916abf86beb0d039a2fec6e690f65697f6b18","datavalue":{"value":{"entity-type":"item","numeric-id":4247290,"id":"Q4247290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$5FAF53CA-5AA5-4FD2-8B0E-7CEA336782EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03d99f6827cef19b3fe0f6c547f29f0cd3def9a2","datavalue":{"value":{"entity-type":"item","numeric-id":2965467,"id":"Q2965467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$2B9AD8CB-AF0F-43A5-9967-96D8897EF9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c67e989c5ce90970afc6841d1d20b69bcabf5250","datavalue":{"value":{"entity-type":"item","numeric-id":5357724,"id":"Q5357724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$06D4B264-2AFD-4824-9296-E581BB320D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d6bf786b70bfa0c95c42fb8a5ba133c5c0b3f1f","datavalue":{"value":{"entity-type":"item","numeric-id":3082916,"id":"Q3082916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$C1A3D80D-3805-4A1E-9C24-CB7E9C9C8D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9006e92ec2b74dbe34f7f4e32b1c426c1368be6d","datavalue":{"value":{"entity-type":"item","numeric-id":5452182,"id":"Q5452182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$E3564142-4A63-4A08-842F-07FFA70A85F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$C6987A92-90FA-4CE2-93D9-85BB642323DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$CE2EA383-EDA4-4E0B-B0A6-F58DACF1DAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f6b3962d0b7810403b7eee71ced0a053db5765","datavalue":{"value":{"entity-type":"item","numeric-id":671381,"id":"Q671381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$7BDFD9FC-7F3F-49FF-9C3C-820582A11394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb4fbcae0244c17c3425a316935e472f56365713","datavalue":{"value":{"entity-type":"item","numeric-id":5175774,"id":"Q5175774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$4AAE26E6-D05D-491F-A9F0-5E5D48E3F704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd78fd7539746ce39fface229dfdce943e7717ba","datavalue":{"value":{"entity-type":"item","numeric-id":4320535,"id":"Q4320535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$0F0BE2E2-1CA0-44F4-A338-2AD011F55634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca42efd6c669fe3ae2c76d37e563f53188a1f55","datavalue":{"value":{"entity-type":"item","numeric-id":2894282,"id":"Q2894282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$58631216-5F4F-47F7-91BA-6312B027333E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2768bf8a06740f15968dcb91e83d15f35832498e","datavalue":{"value":{"entity-type":"item","numeric-id":2926642,"id":"Q2926642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$7E652C38-5CC3-4C8B-9A38-0423FA76675E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$C023A051-2A1E-46DF-900F-6B07C1439E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e87e8e6abdd0b51c8c74bea38abf0c63a2a1ed","datavalue":{"value":{"entity-type":"item","numeric-id":598280,"id":"Q598280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$E0B42425-A72D-4186-82BA-6428E1D80626","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":"Q1635829$9CE3A105-7787-4B9E-AD33-724173BEC377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eddb2a9513fe3f902ac4b8da9988f623584a6147","datavalue":{"value":{"entity-type":"item","numeric-id":2842095,"id":"Q2842095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$361CD10A-3270-49C8-B72A-435B0FC7959B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"514e972478f9e9ddc03ee1542aae46bbdecc23bd","datavalue":{"value":{"entity-type":"item","numeric-id":4917027,"id":"Q4917027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$63320D78-1CE5-4DCD-8244-27DE43C156A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$E1CD44EB-A84E-4307-9FCE-B9BE1A6A9279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e841cc635c068cb4eefe6154b0aea5f07cba2f","datavalue":{"value":{"entity-type":"item","numeric-id":1989334,"id":"Q1989334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$5C3D2A00-3F96-4FBF-8347-8F3010117CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$B469C870-3DD5-4B74-8398-4519D2652B36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47266736216184b816d4cbb757d7fd81914fdb3b","datavalue":{"value":"10.1007/S00446-017-0302-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1635829$9C334F2D-A43C-42EE-BACD-DEE0CBB23411","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82527b14d149aaa0d5929b733d923fa2a9fe5aeb","datavalue":{"value":{"entity-type":"item","numeric-id":3190112,"id":"Q3190112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa6aaabbc7ff9a3f8d40a7f8d92391a5817207b","datavalue":{"value":{"amount":"+0.9910014867782592","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":"Q1635829$91DF4BAD-B7B6-4F2B-B94E-B79B2E389720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed890a10157a83ba5968310a3c7f10b631ef0733","datavalue":{"value":{"entity-type":"item","numeric-id":2938070,"id":"Q2938070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b120e563274a37b5edd962d5ae9d60eb38511fcc","datavalue":{"value":{"amount":"+0.8333771228790283","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":"Q1635829$76223F4B-7D86-42E6-A2C7-64A4CEF42F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f8d0e4bea38103802cafccfec541e3bdb8dee1","datavalue":{"value":{"entity-type":"item","numeric-id":1989334,"id":"Q1989334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"195ced1df9ce09b0e6c0a43325a2511cf6ca67b5","datavalue":{"value":{"amount":"+0.8280264139175415","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":"Q1635829$E7AD763C-5CD6-44B0-B2E3-A6AE740255DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea01d914082b4e177b7a684824a21dab7e5087bd","datavalue":{"value":{"entity-type":"item","numeric-id":2272926,"id":"Q2272926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e90cd84b4482e78a9ac970222dceb1aac628f06c","datavalue":{"value":{"amount":"+0.819506049156189","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":"Q1635829$27F17C17-2A98-40AE-BD51-C5CF94EE5FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d85fb2f67a2f7c58dc3bea40d13f31f6037990cc","datavalue":{"value":{"entity-type":"item","numeric-id":2723423,"id":"Q2723423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a350bd850fda7dbace89fe50219144028ba5902e","datavalue":{"value":{"amount":"+0.8148220181465149","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":"Q1635829$AC9EED8C-91D4-41E4-8935-A0598CCADE31","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635829$6B8D8353-F260-4DBF-8AFB-7AB4F85917E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameterized model checking of rendezvous systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parameterized_model_checking_of_rendezvous_systems"}}}}}