{"entities":{"Q3835442":{"pageid":5865348,"ns":120,"title":"Item:Q3835442","lastrevid":54478952,"modified":"2026-01-27T04:20:54Z","type":"item","id":"Q3835442","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4112562"}},"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":"Q3835442$D484F049-D7E2-4BC6-9549-0E929302B36C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2781cdedbf13af842804240732309d9215966f23","datavalue":{"value":"0679.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3835442$89DC4B23-B4BE-46CC-B6B9-317D70DBD3DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5defdccaf764d408dde1bc9645ee2a23f7faf13c","datavalue":{"value":{"entity-type":"item","numeric-id":1091386,"id":"Q1091386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3835442$8E54612B-4F94-4141-BBF1-9B5DBE3C8794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed05578318661e72bee1a7a8c30f5289ba97ccab","datavalue":{"value":{"entity-type":"item","numeric-id":234734,"id":"Q234734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3835442$0A4DEC0E-EB4B-4F7C-8773-AB9ABDFF9982","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3835442$8F304607-56DE-43DF-BD9E-5D1D96196120","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"836ff2fc44b0bf42a9a6512251f9c82ef33684ba","datavalue":{"value":"https://eudml.org/doc/72048","type":"string"},"datatype":"url"},"type":"statement","id":"Q3835442$CB98B940-678F-4B84-83B6-CEFDB9A010D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3835442$7C46ED91-5371-4133-815C-DB6614BE3F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3835442$AFCBEE7E-5F56-4696-99C8-4A9FADA0C8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3835442$9A95867B-A628-43C0-B1F7-FE64CE40D8F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"181847719dff54867a6608cfe51f8c4743c717a5","datavalue":{"value":"4112562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3835442$35933FC5-BC29-40B9-8510-C86172803DA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ae4b0ae44e8198a12df086a35e9e769d32027d9","datavalue":{"value":"expressive power of dynamic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3835442$4968D8D3-A8F6-4766-94B1-45629720B47B","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":"Q3835442$8B16D758-1BC1-47D6-9791-54AFBD8B298F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f3c9bd0ee2893a55af34a624f65f4cc9b88948f","datavalue":{"value":{"entity-type":"item","numeric-id":791517,"id":"Q791517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bca5c4f48c0aacaeeba75a595ffbf61604802714","datavalue":{"value":{"amount":"+0.8557889461517334","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":"Q3835442$FA5D2155-F1BD-4D58-A210-3277C27F446A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9aeb22d3a4c08b436d0eda3e52c7a1ddc9b4a69","datavalue":{"value":{"entity-type":"item","numeric-id":2365759,"id":"Q2365759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6324e28c73376737a00ac22276c09f7dfe967615","datavalue":{"value":{"amount":"+0.8126818537712097","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":"Q3835442$BD56447F-4224-4265-ADCC-C268E4EE41B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc95023f382552d8bec5e508cd07628d245f0c80","datavalue":{"value":{"entity-type":"item","numeric-id":3835003,"id":"Q3835003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c71597ec4f685c4b7cc8d6e307c81673e85772ea","datavalue":{"value":{"amount":"+0.8126488327980042","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":"Q3835442$87C912CF-41DC-4EE1-BE62-E75B792D7B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d397e5cb6278da902586cc56fb917daa19cd105","datavalue":{"value":{"entity-type":"item","numeric-id":3732958,"id":"Q3732958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e31a6404db8443a7ac9164ee6d39732524da60fd","datavalue":{"value":{"amount":"+0.8091649413108826","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":"Q3835442$DC6424CF-3079-4D81-94A4-BC7CFCBF26E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7939eae48f32b34c98cd1a2c79d70d31a4b83510","datavalue":{"value":{"entity-type":"item","numeric-id":1341742,"id":"Q1341742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41ec533d44cf57d6e2ade33b1afc12b1c87e6715","datavalue":{"value":{"amount":"+0.7932339310646057","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":"Q3835442$B63B6732-AEF6-49A6-A2A4-5C6979B1619C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3835442","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3835442"}}}}}