{"entities":{"Q2498278":{"pageid":2509021,"ns":120,"title":"Item:Q2498278","lastrevid":49895107,"modified":"2026-01-11T19:07:47Z","type":"item","id":"Q2498278","labels":{"en":{"language":"en","value":"An approach to the verification of symmetric parameterized distributed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5046618"}},"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":"Q2498278$43951491-947E-4ED9-ABDD-9069821915BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fc88d675334c60113bc37c5c438c62b8012e0a7","datavalue":{"value":{"text":"An approach to the verification of symmetric parameterized distributed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2498278$8D11871E-CFC0-4DDB-B9CD-C1866C99257E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1947a8e001587626a88fedf73c8708fe0814714","datavalue":{"value":"1103.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498278$545EEDDA-8C6E-4F9C-B66B-3133E6ECEC62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498278$42C5DEB9-4CA2-4E09-892E-8DA8E6213838","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498278$79206173-01E2-45B6-A11E-9466257EB5DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51baedb45b1970a218dc00cb5762a1bbcc63a6f4","datavalue":{"value":{"time":"+2006-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2498278$1C10B427-C7B4-4D78-BD4E-2500DC76ECF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498278$346F13A2-ED35-4BEF-9398-4FC06CAC1C50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f515dc548ec634bed120b811c04474449df1e8d","datavalue":{"value":"5046618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498278$E6B0A863-242B-4CED-A483-FECF6F709B4E","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":"Q2498278$C5271C4B-4A94-4171-A639-C4921632C35B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1d02f6785fe9322ee5266ba5afb14973902a66c","datavalue":{"value":"https://doi.org/10.1007/s11086-005-0034-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2498278$7383D866-C656-42C5-9590-FF01D6362847","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e0e10b64a6d43cf57b977b2eae74dcb8ef61c78","datavalue":{"value":"W2056234391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498278$DD34AFF6-A782-4ACB-A014-876287F20446","rank":"normal"}],"P223":[{"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":"Q2498278$9DDCC568-4B2B-4EB6-9517-EBAA9C2B6D0B","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":"Q2498278$E0B095A8-0CE8-491A-A655-C0BF7E22134F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e4c31746727041f1ff1157480ae7fc11bf88dce","datavalue":{"value":{"entity-type":"item","numeric-id":1891157,"id":"Q1891157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498278$5CAEF58F-95A1-4030-A5C9-92D64F30EE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1f1b59865b8594934a8e5b644571e926ab4a08","datavalue":{"value":{"entity-type":"item","numeric-id":4215790,"id":"Q4215790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498278$41E168BF-0D56-4611-A063-F6569E1E52FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25d9abcb7a573d4b1aa6994801b95dbbce1649ae","datavalue":{"value":{"entity-type":"item","numeric-id":5943260,"id":"Q5943260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498278$6000A4E6-91E8-4A39-ACB5-0D6BB43C015B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae862bfe3b16e27b443a860fdee258d71894153","datavalue":{"value":{"entity-type":"item","numeric-id":2729077,"id":"Q2729077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498278$F0F08666-FBD9-4D81-A7FB-679F512503E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7c75468b64299a6c5da2128e0e91430f00371f3","datavalue":{"value":{"entity-type":"item","numeric-id":4518896,"id":"Q4518896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498278$D5B44084-BBC1-46A1-B5EB-D21B067CF170","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ad93c1fa30c5533857a2597e90adad6bb9972ef","datavalue":{"value":"10.1007/S11086-005-0034-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498278$383C42E2-E820-4811-9994-EA124ABD7CD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65cbaf1e979b491d7a6e5f7ade5d53365f7dd855","datavalue":{"value":{"entity-type":"item","numeric-id":1886449,"id":"Q1886449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a379c93d44101eeef27952946abbb7659e9bedc","datavalue":{"value":{"amount":"+0.7996962666511536","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":"Q2498278$32ADA82C-901F-4530-8353-F00F65340A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b2e0aff707e14711904e4306b8c631806584f7d","datavalue":{"value":{"entity-type":"item","numeric-id":3176379,"id":"Q3176379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b28b353fb85446946e875b1b48cf8680dd3c8731","datavalue":{"value":{"amount":"+0.7996411919593811","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":"Q2498278$6D2D251D-821F-48DF-88CC-F1E1A1BC7C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4334adc3bdc9cba5c11300bca11ac7499fb609e","datavalue":{"value":{"entity-type":"item","numeric-id":5899051,"id":"Q5899051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c27d59a13c864e3a490cb661930d49d8812006a","datavalue":{"value":{"amount":"+0.7856148481369019","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":"Q2498278$A19A183E-5416-4DC1-8AD1-30B3E9659026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91fa8a0c4336e646769ad9d9c388805218b1918e","datavalue":{"value":{"entity-type":"item","numeric-id":4472240,"id":"Q4472240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d86488314450d4abb1c6f6cd09ebde238f82dd1b","datavalue":{"value":{"amount":"+0.7837729454040527","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":"Q2498278$744A5FA0-08C9-49C1-A7CC-E3BCE9C437EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d402d3128056cea002509d365282cf1f6da3259","datavalue":{"value":{"entity-type":"item","numeric-id":3517238,"id":"Q3517238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abedc08e7a3a5b2da1c258aa3e9f46da4f870365","datavalue":{"value":{"amount":"+0.780864953994751","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":"Q2498278$7DA2F08A-0A42-47DF-8578-503BAB889DD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2498278","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2498278"}}}}}