{"entities":{"Q7010076":{"pageid":21563400,"ns":120,"title":"Item:Q7010076","lastrevid":81645110,"modified":"2026-05-06T19:00:43Z","type":"item","id":"Q7010076","labels":{"en":{"language":"en","value":"Toward parametric verification of open distributed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8013875"}},"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":"Q7010076$06199EDA-A1EC-4887-AEFF-2E7A34D3FBD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b5058c65283d691390a684d88cda8e307f06927","datavalue":{"value":{"text":"Toward parametric verification of open distributed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7010076$2451EDB8-015F-48B9-8E72-563EE54FA04A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f6bc6f8c10e9bad9b185834ca0c3c9272564e62","datavalue":{"value":"1566.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010076$7F50A218-F58F-4F40-BCEB-3E93C9D9CE64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8cf2d067cf2f9f67a5ef8cd58a7b63dc07e436f0","datavalue":{"value":"10.1007/3-540-49213-5_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010076$8ED4C16E-D30A-482C-A856-EBFD3B0386AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6786702c945efafa0740aa01768ef3c300be6d14","datavalue":{"value":{"entity-type":"item","numeric-id":931114,"id":"Q931114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010076$B0AC1C97-1DE1-433B-8EA0-B546966B0549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f809ca6240274953ee14d763a300b54c0957f16","datavalue":{"value":{"entity-type":"item","numeric-id":1391795,"id":"Q1391795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010076$FCD5A6CF-C946-4D39-A003-76A48DDB1FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8de0358d5843909f727261d501d479a1091d2554","datavalue":{"value":{"entity-type":"item","numeric-id":385022,"id":"Q385022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010076$3A7D371B-FB26-42DF-9BD0-E1E714C9DE63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83f0e791e64ca797fed3ba93ed16fcafd4bb1800","datavalue":{"value":{"time":"+2025-03-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":"Q7010076$3DF22A37-595E-40C0-B31A-0BF917073682","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010076$946CA8B7-F31E-418D-A3C8-1EF094BFE249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010076$D7C58F49-2741-40DD-8349-88939132C2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010076$6C382101-7853-43ED-9997-4C6DBF90EB02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a63c94ecf51e6be04776c6d2abf3b011de8ea00","datavalue":{"value":"8013875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010076$A3794C0E-0FC6-4F9C-9E7F-BC24E175DE42","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":"Q7010076$A7304ECA-A93E-4182-837E-100BFB293B7C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"549d0031328335eeadb553d8d00ea4f734879007","datavalue":{"value":{"entity-type":"item","numeric-id":4339018,"id":"Q4339018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010076$6A80A6C7-5FB3-450A-A9E8-506FF91D861F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010076$69DBD45E-FFE9-401E-88EC-34AC7441CCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f8c72a9350326364dae4fb324c635b65cfcd95","datavalue":{"value":{"entity-type":"item","numeric-id":1236111,"id":"Q1236111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010076$C27ACBCF-2415-456A-8B0C-912A14AE1E69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Toward parametric verification of open distributed systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Toward_parametric_verification_of_open_distributed_systems"}}}}}