{"entities":{"Q4027619":{"pageid":6057378,"ns":120,"title":"Item:Q4027619","lastrevid":55220380,"modified":"2026-02-04T23:41:34Z","type":"item","id":"Q4027619","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 125881"}},"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":"Q4027619$08692634-5CAE-43B8-915A-26B8BAA64308","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3db2c9af85c71bd9c5ea21fc3a2859bd97dc3478","datavalue":{"value":"0759.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4027619$2037F6DD-09B7-4376-AB39-05EA9D4C6845","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bd217ce1412a85115d044de2c17df9698399a47","datavalue":{"value":{"entity-type":"item","numeric-id":685357,"id":"Q685357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4027619$4B8EC94B-2C5C-42F6-BFB5-6F0DEBB3690F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4027619$7BE514CE-B54E-4436-A91B-6D665A2A49CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e89af0ab63fc0fca1fbd1433809f3667ad4723a1","datavalue":{"value":{"time":"+1993-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4027619$8941E42B-BBCE-40D8-83B3-914E68D10A03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4027619$4ACC4F53-8864-4F70-8D77-2DDDA7EB998A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4027619$A37675C0-41BD-4B61-8539-467F8F0D0CA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"099dcb44992670e4aff4c5d4e7115dda94b6b974","datavalue":{"value":"125881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4027619$407DC4EC-DA17-46F8-8908-85AE56BFB29B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da8a92ec5cee23c75e9895c935e7c992ec741770","datavalue":{"value":"specification formalisms and verification methods for concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4027619$EAD6C1C9-399E-487E-AD44-0CC3F590761C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f677d184811d532a946e0e27ca6aa0f19b902a3","datavalue":{"value":"Larsen-Thomsen's modal transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4027619$94ED82B7-07B1-497B-8537-3A891FBA05ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2dd3a332401580f842749049d84797eb1b33c3e","datavalue":{"value":"Hennessy-Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4027619$4BAE250B-B0FD-4AAE-8DAD-1C2C55414A3E","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":"Q4027619$E978FF07-57C2-472F-929E-6F1B94377742","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c242e7b48f739a8e2d1e57458eff6cac72598c2","datavalue":{"value":{"entity-type":"item","numeric-id":685358,"id":"Q685358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b9af5dfedca15ea996da97790f54b30ddd05b8","datavalue":{"value":{"amount":"+0.9978263974189758","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":"Q4027619$92DE0CCD-23B0-4397-9D5D-214B7335A9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a76a226c67b09897d6d33e12544554c85859fb","datavalue":{"value":{"entity-type":"item","numeric-id":2304534,"id":"Q2304534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a666a77d84e2705d755e3f1417bc5d69dff7162","datavalue":{"value":{"amount":"+0.8096517324447632","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":"Q4027619$1B52FC67-5E7C-44D4-BF3D-A9137C621E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8078a654664f4d4e92c2196221d7d798266854","datavalue":{"value":{"entity-type":"item","numeric-id":4965855,"id":"Q4965855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25617025653ed70b319617c42006ad4ec5316ae6","datavalue":{"value":{"amount":"+0.767345130443573","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":"Q4027619$592CD00C-42EC-4BBF-92F5-33DEADF132F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc4b99d402032667d565d74b4d6118fd5a1d1cf","datavalue":{"value":{"entity-type":"item","numeric-id":4645279,"id":"Q4645279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11fd69e550be9d1adf13b81a8892d7559b0105e4","datavalue":{"value":{"amount":"+0.7640059590339661","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":"Q4027619$69B091BE-021B-427B-A9D4-1D70209AEAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e313dc43357be23af45e4be1b5b460479817e39c","datavalue":{"value":{"entity-type":"item","numeric-id":5753511,"id":"Q5753511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46fc2c520ea339e10c46e4bba877d6a19ef3e4c1","datavalue":{"value":{"amount":"+0.7620692253112793","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":"Q4027619$81AE7EF5-F56E-47DE-BA93-0726FD7BF910","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4027619","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4027619"}}}}}