{"entities":{"Q4222877":{"pageid":6252478,"ns":120,"title":"Item:Q4222877","lastrevid":40793215,"modified":"2025-04-04T17:26:30Z","type":"item","id":"Q4222877","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1231561"}},"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":"Q4222877$89FFA566-1FF9-4392-9685-8A416624C7A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5978dbb26563d85ec7f55a7e9cbad6651d7b144","datavalue":{"value":"0912.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222877$CC7270D3-CBCD-4239-9919-9CB11B0BFC26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ee4c8c1a79b9afc061b0d6b7a179857b6ef91ec","datavalue":{"value":{"entity-type":"item","numeric-id":672234,"id":"Q672234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222877$C4CAF842-4A69-4B1C-A58F-9BCA40BDF98D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"52a0c2c6ada02ebc5f26d5d562081e4cb50aeca1","datavalue":{"value":{"time":"+1998-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4222877$E721B401-B114-49C6-A2C1-0CEAD73B6580","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c24345478fa3926449c974166d45d487dd7341a3","datavalue":{"value":"http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume5.htm#nesi","type":"string"},"datatype":"url"},"type":"statement","id":"Q4222877$77FA6DBB-907D-4E9F-859F-AFE90939241B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222877$6FB82609-75DF-4BBB-A5AA-61CF4FD638B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222877$550B52A5-81EA-4081-A8E0-C0F6AC1380AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ad0a34500149ecf557d283b92cb7c1bb01c94d3","datavalue":{"value":"1231561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222877$04EE4FE6-C46F-434B-965D-08D8F9CBA468","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2dd3a332401580f842749049d84797eb1b33c3e","datavalue":{"value":"Hennessy-Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222877$B84C103F-ACB0-491E-B817-0F446D8397AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9d3cdd599f080fdad1d3895a956de5a1a4f6af7","datavalue":{"value":"value-Passing CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222877$420D1EBE-4E22-4B20-AF72-35E0DCBF85CE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222877$9B2B5013-8256-4B57-9B62-D3B9E62E3DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222877$05F1622C-66A2-4D99-9F08-4404D680918B","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":"Q4222877$9ED80D5F-C89C-4726-8EA8-3F6B4FB39AA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222877$839FC7E1-322E-48E2-A53F-8DD9208A7C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ccba58fd321cc33f9e40a7cc290be4560671d3","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222877$8E6A59D5-54BD-45F6-9E9B-A139B94B6332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222877$216B53FC-2B16-4162-B19F-B9296AB7F948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222877$E5B68183-118B-449F-BF69-80FEED6CA3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222877$CA319772-C4B2-41F4-AD64-2CB926F3DDB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebb638adc3dd24baaf5bebd588c7d4ac869a9a8","datavalue":{"value":{"entity-type":"item","numeric-id":4632321,"id":"Q4632321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"998bc0b80f429da5a65b8443157f08ee9a025494","datavalue":{"value":{"amount":"+0.89237744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4222877$581DD046-94AC-4010-AB64-EB75291ED1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b3d05597a0c9654d2e27cb3247826b9141d592f","datavalue":{"value":{"entity-type":"item","numeric-id":596475,"id":"Q596475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5327e2edc389507a9167ed341a6ef995d2ab2b8d","datavalue":{"value":{"amount":"+0.87659824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4222877$0B171358-E4BD-4FBC-9631-2F4F1BC3A73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"666c42a74f4f6d0f22c8a6cf6cbccfaa10331da0","datavalue":{"value":{"entity-type":"item","numeric-id":4247086,"id":"Q4247086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc896d42df641494144d18e7acf2f4a1c7732f66","datavalue":{"value":{"amount":"+0.8724365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4222877$30FDEEEF-7443-489E-929F-10367745BDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db11469f5184274a9f6b9ec4cfa18d79f1bd9b35","datavalue":{"value":{"entity-type":"item","numeric-id":4222879,"id":"Q4222879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aeed30db32351081b46b98c8f8dfe9b5197e01b","datavalue":{"value":{"amount":"+0.8656252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4222877$C6755F3B-014B-4BBD-9F15-087DE7378920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5cc8cd7e57e068a5987b73b6090cc7cde7dc4f","datavalue":{"value":{"entity-type":"item","numeric-id":5277692,"id":"Q5277692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df35273763f8dca2617613b681d67be3a4c280c2","datavalue":{"value":{"amount":"+0.86451983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4222877$3F1E6F39-B201-4489-90C3-EA64010723B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d56ac74bbcb42860af4c5420e27e58fa09e54f03","datavalue":{"value":{"entity-type":"item","numeric-id":1311969,"id":"Q1311969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65d6b1e6091ca1f34cd69e97fc7024845696bca6","datavalue":{"value":{"amount":"+0.86414236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4222877$40744835-AFE5-4D41-BE8B-F29A9D86786C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a502f0060428f7eae3b3d0aa982048341a46f19b","datavalue":{"value":{"entity-type":"item","numeric-id":4644522,"id":"Q4644522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c33e0a7674d2cf91c15b41e73c91ad5e34742a36","datavalue":{"value":{"amount":"+0.86105597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4222877$FE1D7019-1A88-4568-BE6E-CEE5DCB88386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a377eafbcf6abddf5a3b57f95edbc3470df29f4f","datavalue":{"value":{"entity-type":"item","numeric-id":866004,"id":"Q866004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cbe52e2ea07a7e1fe2c291287f12c1c03751132","datavalue":{"value":{"amount":"+0.8595712","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4222877$DF01210B-56B6-4096-8DD7-B20A3C76F759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07bfce2bd16a86af783d90e27947458b64b5d463","datavalue":{"value":{"entity-type":"item","numeric-id":1894680,"id":"Q1894680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e633ed278f1d804ae304c315e220e3fbe6e294bd","datavalue":{"value":{"amount":"+0.85910857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4222877$4B562042-F4D8-4DAA-97F1-08F12236F06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0472987b8d13581f66012c4eea887e374d905dd","datavalue":{"value":{"entity-type":"item","numeric-id":2207025,"id":"Q2207025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f83300c33d205d4c0582b8a36f7eba6153ef0a7d","datavalue":{"value":{"amount":"+0.8577142","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4222877$9FCA7C58-21A0-4991-890B-6EB96F8323E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4222877","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4222877"}}}}}