{"entities":{"Q3871899":{"pageid":5901804,"ns":120,"title":"Item:Q3871899","lastrevid":54582251,"modified":"2026-01-28T21:54:55Z","type":"item","id":"Q3871899","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3675290"}},"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":"Q3871899$B7ADC1E8-D212-4F07-86B3-0A5F92C68B2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d02a09afca2963e483d9eeb10f8432aa650d5cf7","datavalue":{"value":"0433.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3871899$78842F07-0900-4F1F-B0B4-CC7E40FED5DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66475c89deaa1b82e2a733011ec9769bb2327168","datavalue":{"value":{"entity-type":"item","numeric-id":655408,"id":"Q655408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3871899$7C594437-526F-4439-99E6-97BEFD0DF345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aabe6d988e05fe3a7b00666b4b0ee76e06b180c4","datavalue":{"value":{"entity-type":"item","numeric-id":655409,"id":"Q655409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3871899$C729D8D8-C5F6-4DB5-A913-F654E6B58D73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3871899$0A179D23-B343-407C-9A8B-4C8F86AAB8C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3871899$6C05E7E8-BD62-4EA3-B3A2-855E99CEBB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3871899$75967430-4099-4481-BD2E-5E5C717F0AEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41f81025ff62b2e8fb64448f40addeec365e5f55","datavalue":{"value":"3675290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3871899$BE616EE8-5540-4B54-86E3-3F9A4F6C6E9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"678f16b6556ab920294eb9babd83e5369fe583b3","datavalue":{"value":"semantic analysis techniques for concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3871899$20D0247D-F73E-407F-892C-DC392696629C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3f7745460a4b13aa698a820c88c2ae8137ad23a","datavalue":{"value":"networks of nondeterministic sequential processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3871899$3E4F3DE2-E23B-4695-91E5-21A3DBBE5AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e6a8c04406f2ee7f8fcaa34e0c5c028a29c1d5f","datavalue":{"value":"invariance proof method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3871899$A4403759-1897-4ABD-A092-129EE8CA2D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3871899$DAB7D96E-90C3-4BA0-A5AC-B95E22E77185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb789c4f5b63b1f62a0c8b037defb0c473b2f0e1","datavalue":{"value":"absence of deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q3871899$C3E983C6-FA60-4A2A-9847-19BBA3D62D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54efe8b49a37b1aa489fb0e653d938725cf2fcaa","datavalue":{"value":"non-termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3871899$F9C933FE-3B4B-4702-ACF4-D8773C1317FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3871899$66DB021D-EA82-40DA-8E1C-51C88F4F39D5","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":"Q3871899$02439AAC-3E0B-46CB-B930-BFFB7E4EA858","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3871899","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3871899"}}}}}