{"entities":{"Q4938644":{"pageid":6968226,"ns":120,"title":"Item:Q4938644","lastrevid":47446660,"modified":"2026-01-01T18:53:54Z","type":"item","id":"Q4938644","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1405663"}},"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":"Q4938644$36778B70-6F78-4B6C-A4F0-7A3251CE53D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7c47a37db38faa922dbd7eec16bfe4b56c7a38a","datavalue":{"value":"0939.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938644$10994B54-0931-4142-A325-E8A846359450","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"980feb4557ce980fc3913fdc63a43f303f4040ab","datavalue":{"value":{"entity-type":"item","numeric-id":418840,"id":"Q418840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938644$EA62928E-CAE3-4558-8AE3-076BEC255DA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4602bfe2ce2cb25d86312a0cba8d02883ac98d9b","datavalue":{"value":{"time":"+2000-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4938644$21BC2176-0C6A-48DF-A34D-92DB592E7268","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938644$C30ABB01-D958-49B8-8C1E-17E090211FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938644$3C8A6C6D-C054-4CA3-A4D7-F45210A50205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938644$64D75E28-EF99-4B67-BE79-3C1BC45E0B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938644$74E6231F-B686-4DD0-B61F-108D30944910","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da4ae304950db6ef55d7e2c7a6d9304d6f2df187","datavalue":{"value":"1405663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938644$EEF34A53-8B78-4213-8B73-B8A55ED27C4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b799ee8541227b422838eb27e9e18feb5d10c175","datavalue":{"value":"natural deduction proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938644$6BD17500-24EB-40D8-82C5-3BD3B19BE2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92370f4eb50df84bff99fb425966e8e6ad8b438c","datavalue":{"value":"propositional modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938644$31F81B69-C78A-40F9-98C0-B308BEAB4F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4939422e7c810bdbc977f0068d541c8f8f5f2b33","datavalue":{"value":"Calculus of Inductive Constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938644$2903E5B6-B2C8-4DCF-AC8C-13EBA53D818A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8026960d6f36428821b4502bc1641829b1806e7e","datavalue":{"value":"higher-order abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938644$EFC88EF9-3FFA-43B6-93DC-756F94112F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcc657d744d5d65ffe575c98b7554d46c6cbd965","datavalue":{"value":"context sensitive grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938644$10CDDDAF-DBFF-43E1-9AFC-A5ECB7F7D278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"778a8cd2ee03ae039d8825933028a9ffcc2b9024","datavalue":{"value":"interactive development of error-free proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938644$D03A0BF8-E4FF-457F-BE57-07FF33E3F42E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938644$4A08F160-A6E8-46BF-BCC7-624CF83983A6","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":"Q4938644$70160345-830A-480F-BFD3-FE9417CDC0E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2869df01c614b6cedab638e72c556a862bbd265a","datavalue":{"value":{"entity-type":"item","numeric-id":1854404,"id":"Q1854404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db7bae34463a92308b7b5e9c57635113f365266e","datavalue":{"value":{"amount":"+0.9527833461761476","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":"Q4938644$60544C2A-BD98-4BCA-9537-F5FC46D6AB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab8cc3ba85a7bfbc723b79ca15f082559c7e3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1005937,"id":"Q1005937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8b3a006cb425ee6b8200a3047ca56095f15f1ae","datavalue":{"value":{"amount":"+0.7881740927696228","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":"Q4938644$56CE6E03-3F61-4234-A613-B1EA452CC978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11f8fc0117097eb96093beb1f7dde3a35ba7225","datavalue":{"value":{"entity-type":"item","numeric-id":454366,"id":"Q454366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be034ac8367eed099a4a3cc9b331c9ee2f75ab4","datavalue":{"value":{"amount":"+0.7786967158317566","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":"Q4938644$E3FF66C6-0A15-4581-810E-D06414CE8C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0095654446119627593dfe20de7d001e2b3bc950","datavalue":{"value":{"entity-type":"item","numeric-id":5144634,"id":"Q5144634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f68efd730db174e2028f4262f49cb7475a265da","datavalue":{"value":{"amount":"+0.7701761722564697","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":"Q4938644$12BF4075-52F5-4E5E-BB88-A811E91C422C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a299ada1677cb50f9badc2dfb747cce9998463ae","datavalue":{"value":{"entity-type":"item","numeric-id":3026376,"id":"Q3026376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063c0d0afbbe84e678fea2dcd38c3f6a8667d37e","datavalue":{"value":{"amount":"+0.7694927453994751","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":"Q4938644$75B909DC-BD72-434A-A3BB-AD7CA28BC63B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4938644","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4938644"}}}}}