{"entities":{"Q3826528":{"pageid":5856434,"ns":120,"title":"Item:Q3826528","lastrevid":54420101,"modified":"2026-01-26T19:13:29Z","type":"item","id":"Q3826528","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4101151"}},"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":"Q3826528$04E9FD2A-EBB0-497B-881A-A506D05225A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3970ac02b210a73c140573ac0059381c316bf1e","datavalue":{"value":"0673.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826528$B4937569-290E-41F0-9EB9-1F22C75D7862","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":"Q3826528$1630D267-C949-4DC5-974F-050E27499174","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826528$984A4CBA-D0B6-44CA-89DF-F415D7089E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826528$03C780FC-0464-411C-BDF3-7D8838A61E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826528$A895E42E-1751-48D2-AB71-0375CC9E0DEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0dc939a40b5b9db613341187140d92027370daab","datavalue":{"value":"4101151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826528$7814D5E4-AD0E-467D-9BF5-08AED06DD86C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3826528$0B1E2213-5F32-4088-9F08-41E4D9811B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd1806dc15b019feced409c0c24d64f5154e45df","datavalue":{"value":"dynamic logic of while-programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3826528$C122C041-6224-4D50-806B-98C429B18B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a93a3a578090ccddf3d4194d008321e51c7bb64","datavalue":{"value":"infinitary rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3826528$C43721BF-2B36-493E-835D-3A70178F8380","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":"Q3826528$3A38EE6B-49A3-4977-A62D-4E97282A49DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2504b474aa61d4f911749ed52355509bfb984b92","datavalue":{"value":{"entity-type":"item","numeric-id":3783632,"id":"Q3783632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83db3768058145ed357de0186d0cbad202d1ab4f","datavalue":{"value":{"amount":"+0.8355799317359924","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":"Q3826528$79F31471-3EB5-4284-B02B-04793539080E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce7bdad2532f4d7df7db035258fed4015030a55","datavalue":{"value":{"entity-type":"item","numeric-id":760793,"id":"Q760793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2970a448bcfb708bf8440aaf461dbafef602cd2a","datavalue":{"value":{"amount":"+0.8245704770088196","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":"Q3826528$716E568D-0A54-42CD-9B99-57DE3FD17A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404ff757e0096ac52c816e0efd724c0037342fb6","datavalue":{"value":{"entity-type":"item","numeric-id":2757834,"id":"Q2757834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"101a20f864acf9186f0950d495b906746888da40","datavalue":{"value":{"amount":"+0.820681631565094","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":"Q3826528$72122234-5896-4355-BF08-197AC569BF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab5cf9af7c3753ca49859a1990c2ccf9d498a943","datavalue":{"value":{"entity-type":"item","numeric-id":4928449,"id":"Q4928449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb113ef211f06c83bcc70c2cdc03d6352893ccbf","datavalue":{"value":{"amount":"+0.8171464800834656","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":"Q3826528$4539EC2E-EE36-460C-A262-9A1075E1D4E2","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":"941d2247ead663c845bbb8ae084f1cbc7d680efb","datavalue":{"value":{"amount":"+0.8134326934814453","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":"Q3826528$C307B245-03A8-4747-BE68-A379632FA62A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3826528","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3826528"}}}}}