{"entities":{"Q4699350":{"pageid":6728927,"ns":120,"title":"Item:Q4699350","lastrevid":41823968,"modified":"2025-05-08T18:27:50Z","type":"item","id":"Q4699350","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1361532"}},"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":"Q4699350$C9D97F44-F408-46D2-92B0-B06BB9B7B8F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e83ad536943f3cbae916c7198caf636c923dcb3a","datavalue":{"value":"0937.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699350$5A762AEA-A6FA-4DCB-AF83-867053F7375C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eae9e9e2bcb0b4d1a7490122f456e3c72f7ac9b4","datavalue":{"value":{"entity-type":"item","numeric-id":800092,"id":"Q800092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4699350$C3A76E9E-33E4-41E7-9A95-226B4FDBACD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba4ec8312668052ec347cca58ac79b3f437a67a0","datavalue":{"value":{"time":"+2000-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4699350$ED53683A-1DEC-4D29-9F46-AB1DE15A7931","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699350$12D233FD-32EF-4DA6-AB7E-9359CF0740FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699350$4A8033B6-5D9B-4B95-AE22-C2D681F17811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699350$BFCBED95-2CA2-4160-9659-B6042F1A8D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699350$F95CF074-D453-4E16-A399-B3287B2D8FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699350$23D13518-C89D-4A27-9808-7DA33A330841","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"967f8d5349f8a1ef39e43623466f2179c9d8c399","datavalue":{"value":"1361532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699350$03A124FC-7A70-4492-BA07-2F63775A3CAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699350$5138F42F-C155-4CE0-B436-796FE2C85AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699350$8F621F92-7EC4-451D-994C-BE03C970FEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699350$19B48E10-E98E-408E-9094-3988FC22424E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699350$8C6F2E23-A91C-4E9B-BD70-396ADA1DD8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699350$B86E04BD-AC0E-4181-A7A0-C1FFA0A3049B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699350$6CA9A5EF-C898-414E-8F37-4A4A0A206375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699350$5A26FFB6-35B5-482C-AEC4-F25E29DDDFE9","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":"Q4699350$FC2C6656-BB4C-4655-B0E8-4A5527EB20F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dff92d0ec4445ae93ac2583555fd6e9188f9b63","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fc6bf6bfedbff75be6a4e1213abe9a559799605","datavalue":{"value":{"amount":"+0.93750924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4699350$0366492B-7F34-4C47-A1E2-021204A24C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110f67ba70c5c7e6649841785eaaf89cf65235ba","datavalue":{"value":{"entity-type":"item","numeric-id":2925448,"id":"Q2925448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4dfb0fbdbff1999fd500ed837ae9a213dd12c02","datavalue":{"value":{"amount":"+0.9325677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4699350$8F742ADB-877E-42B1-A5C8-3B156D86AAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a926bd00f6e86c303b65889f04de1e3051171360","datavalue":{"value":{"entity-type":"item","numeric-id":4487253,"id":"Q4487253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"990bd6af5cf07df02d7e4795dccc758acc1fb19e","datavalue":{"value":{"amount":"+0.9051494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4699350$F6966548-52B3-449A-8A0B-6ECCE309118A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12f871c239ce45fa3c73ee1d9428fbf212da709a","datavalue":{"value":{"entity-type":"item","numeric-id":5191087,"id":"Q5191087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44efc0ae1f32b453b8b900be6f362117ea97c68c","datavalue":{"value":{"amount":"+0.89238656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4699350$4B92D7AA-A11B-4662-84E3-772E5B6BCFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"663b24d131fca1efde521bcd886a24b1650676c1","datavalue":{"value":{"entity-type":"item","numeric-id":4726218,"id":"Q4726218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7695b81afd2caa933e7816432cdbe7fc4d3ef624","datavalue":{"value":{"amount":"+0.8881409","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4699350$F0D9A2B6-71D5-4E3B-9642-4B9CC5301DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"558451d5bf72b591e0effe1a25fb9587ce756dcb","datavalue":{"value":{"entity-type":"item","numeric-id":5438968,"id":"Q5438968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"190a16b01d14f167d103296f06eff098f12ca010","datavalue":{"value":{"amount":"+0.88627267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4699350$476608DB-A567-4DEA-BD67-6B3EDA58552B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed7089527a3956c8199cf3d0d6ba8ae845cc3733","datavalue":{"value":{"entity-type":"item","numeric-id":4724604,"id":"Q4724604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e818c4e9953b343b7056f1bca8cf1c57700ae39","datavalue":{"value":{"amount":"+0.88604206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4699350$0D52342D-9D8C-4EEC-ABAD-2A556DADCEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696d83aaec159cdf8ddedd031545e8cc3910de03","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93440888ea8d14349797cb6c6a59fc1f619d8824","datavalue":{"value":{"amount":"+0.88505924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4699350$2D95C567-B807-4D12-B6F2-401C7236B1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf515b172681cf39c7e1b4776fe69f5892569cd2","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ac72facc1401c93a83f90e51026319993596b2","datavalue":{"value":{"amount":"+0.8808368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4699350$F7F2AC15-E0CF-4E23-AAE7-355F92E4D04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7adb9526da39fdca1865edc78c64195f811bfef4","datavalue":{"value":{"entity-type":"item","numeric-id":5438966,"id":"Q5438966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83aa7553fda7083a788b7725732b7ee1fc7482a2","datavalue":{"value":{"amount":"+0.87981516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4699350$917BB4C0-6B8E-44C7-B4E9-62BBDBD7892C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4699350","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4699350"}}}}}