{"entities":{"Q4698614":{"pageid":6728191,"ns":120,"title":"Item:Q4698614","lastrevid":46355841,"modified":"2025-12-24T15:21:40Z","type":"item","id":"Q4698614","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 753781"}},"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":"Q4698614$3501C9F6-0DCF-4CA8-8C24-3278D79E0253","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b81607ad162f8b368f2782a9f57ec15532c1dab","datavalue":{"value":"0817.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4698614$6EA80C94-7CBB-4352-B863-D50BE443F45E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf075aaec86a3ce2575469311f0a5edc1faa7cd9","datavalue":{"value":{"entity-type":"item","numeric-id":816215,"id":"Q816215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4698614$9A03B578-B656-4001-9CC1-A9F3060439AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4698614$4F92D72A-848F-4A17-AA1B-CDBFDC356F8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b99a96e44ac25cec2bad39b6415c82143facdae","datavalue":{"value":{"time":"+1995-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4698614$6C21C121-FA5C-43D4-B1D1-2E7AA8C64436","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4698614$C38AFD54-96ED-4AFB-B400-C9E5500F1FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4698614$8DF7497E-E161-4450-824C-1E4C875EB47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4698614$2C1CEF8C-0D5B-4919-9B61-D43290827CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4698614$D74228B5-DBA7-4673-9300-71BF8A0A576C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4698614$17E60A54-9155-4B5D-B426-868EAC75A47D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c67aedb53854bae182e582c36c6a1b665ac71b4e","datavalue":{"value":"753781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4698614$03819B13-90ED-41C6-8D76-F0DB3DC0F11D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee3b8a7612c6bd07ae7efc09998cdfb3df1c3ceb","datavalue":{"value":"general logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4698614$7E7D4D25-4A59-4E12-97F9-727B4C03F877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2b4e6eb73b5958980e371fa19dd5ed515db82af","datavalue":{"value":"institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4698614$D3EBB788-E295-43F7-97D1-43E415BEB3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b129cec9031ce5a2f8f9d9b5adfecc9a0d19d9d8","datavalue":{"value":"mapping between logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4698614$574EA655-46D4-48CB-8173-3BCA957852DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q4698614$B569E255-1B32-44E0-AEA6-9AC7F22CC8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4698614$97C7134C-72BB-4634-90F1-5ED37DC723BE","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":"Q4698614$0B9D8D7C-22EE-42A4-B34D-99CCE4F8E91A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb096b8e21da96a6f6d7c59e4039b039b553f565","datavalue":{"value":{"entity-type":"item","numeric-id":4222859,"id":"Q4222859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f36ccfc400f528716ef957f535ddd8e71e50ffd","datavalue":{"value":{"amount":"+0.8443233966827393","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":"Q4698614$04531E03-3A2C-4845-95E1-5E82363B9E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6309cfea5637855d5b9a9883e1fa2b37973eb5b4","datavalue":{"value":{"entity-type":"item","numeric-id":5400853,"id":"Q5400853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"855c2adfcc8d090b4bb0e7feb53abc6b25b40222","datavalue":{"value":{"amount":"+0.8174114227294922","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":"Q4698614$805F9AB2-2F4F-4BC3-BBAC-A0B857F8F886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af1351d47aacf876806f801804d8cc5a47b42b73","datavalue":{"value":{"entity-type":"item","numeric-id":3032225,"id":"Q3032225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"048d683ce571b540b74cba0aa65ea95e4261ad56","datavalue":{"value":{"amount":"+0.8018651008605957","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":"Q4698614$3CD6F23F-20FF-48BC-868B-2CBDD50C355E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14203cceb4bb2d5c2ff08d9b9eb0e1af88598d47","datavalue":{"value":{"entity-type":"item","numeric-id":3133182,"id":"Q3133182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86d23853d3ed7d6b5e9e79622630624b72b64ace","datavalue":{"value":{"amount":"+0.7935773134231567","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":"Q4698614$F8653FAB-AD7B-4E35-AFAF-45CB4A670EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02aba1d1286cb7da97a46d772a9ea5099a64514b","datavalue":{"value":{"entity-type":"item","numeric-id":4472433,"id":"Q4472433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fb1ebd88a6cd2715be6c24062402a73e7044170","datavalue":{"value":{"amount":"+0.7908160090446472","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":"Q4698614$6701ED5F-6AF9-4DAD-82F3-B7D0C36C2ED0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4698614","badges":[]}}}}}