{"entities":{"Q3754601":{"pageid":5784507,"ns":120,"title":"Item:Q3754601","lastrevid":51682892,"modified":"2026-01-19T11:25:00Z","type":"item","id":"Q3754601","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4002070"}},"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":"Q3754601$542F4EFD-6891-4152-A5E4-7AC4747926E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6aa00f20c7a44fba717aca6f958c3a51a0796b6","datavalue":{"value":"0618.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754601$06ABF46F-13F1-48E8-ADC2-DDFCC58EE5BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3754601$E0428336-5CF7-4CFE-AC4B-DFC9EBB6D5CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754601$6927C328-0018-4D17-8B1C-982CDD2A05AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754601$BDD82514-28CC-4C3D-B43E-243C5DD74E96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbe4d5bd5fb90a36f3ffd852500cb82aedf47782","datavalue":{"value":"4002070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754601$3C331A0B-CFC6-45BF-B775-9E2286ABF5D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3dc00b82268771ea94e098b4e5fa82442ed9f7","datavalue":{"value":"program schemes over many-sorted signatures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754601$B8704034-F8A5-4FD4-8627-9E41F36D83D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"685cacfdf4943c7a455bd3d0f51e3426fe4ca7c0","datavalue":{"value":"many-sorted dynamic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754601$11C5AC24-53A9-4D27-A2FE-D252C610B95D","rank":"normal"}],"P16":[{"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":"Q3754601$60EFB5D5-91FF-4AEC-8E08-5AC620667371","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":"Q3754601$401E1500-4737-40AE-B1DE-A94087C5F172","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c5d0c72f0acd7b6f0cf1020caf90e6c6aff5862","datavalue":{"value":{"entity-type":"item","numeric-id":4693763,"id":"Q4693763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"001b1a68743345be77a4ced0c491d0d071b04591","datavalue":{"value":{"amount":"+0.7539292573928833","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":"Q3754601$CECAC9B5-8006-4FDB-8C05-3F133B2E9E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e53d65ddb94015c8122ac8eedd1cc94635bd5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3696493,"id":"Q3696493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f559d07a042530daaaff96dd60cec99cce5852bd","datavalue":{"value":{"amount":"+0.7519371509552002","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":"Q3754601$648D9F48-8958-4B76-AB35-B30362CD258D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d62374f852230d01c88d00426e3c35d5cd2d60c1","datavalue":{"value":{"entity-type":"item","numeric-id":4291023,"id":"Q4291023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"779a5b2ae25a2b457356949462aa3fd64f0d466b","datavalue":{"value":{"amount":"+0.742785632610321","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":"Q3754601$D7EB5669-644A-421B-9ECD-267EC4028720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa81c3b2b6590a4a56b159b3327edccab98cb2be","datavalue":{"value":{"entity-type":"item","numeric-id":3727958,"id":"Q3727958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf4ad21deb680305db15e5220edbbc53f101306","datavalue":{"value":{"amount":"+0.7417527437210083","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":"Q3754601$B4BC44EB-D668-4A07-985E-ACAF9B23B2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49bfae63cd3fa290719554f12f91012fcffb1d3e","datavalue":{"value":{"entity-type":"item","numeric-id":774393,"id":"Q774393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb3fc54d3f5de9e5fa34abfbf34a1e0e3cb247e","datavalue":{"value":{"amount":"+0.7336094379425049","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":"Q3754601$DACE2FFD-9230-46EF-9659-EEC1AC044EE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3754601","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3754601"}}}}}