{"entities":{"Q4003521":{"pageid":6033344,"ns":120,"title":"Item:Q4003521","lastrevid":55154356,"modified":"2026-02-04T05:06:05Z","type":"item","id":"Q4003521","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 53296"}},"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":"Q4003521$7A8771B3-7318-4502-92B3-46F9BA73A292","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c5c3a3764e241e8ae5aecd06ce8c94fb7fda55e","datavalue":{"value":"0764.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003521$34217992-EF33-4E1F-94E2-D1B9F77B6066","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37a4e43a8ea1ffc31e3009aa955d277e7dfb7ee8","datavalue":{"value":{"entity-type":"item","numeric-id":280841,"id":"Q280841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4003521$8E2AF805-2B98-45FD-9C5C-C34E5FC259E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4003521$E1B8F96A-3D9F-4834-B745-CC6575B54E0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003521$B0257656-0B7C-4AD7-A418-086417646B15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4150896a063f3eace0c688312ee5ea287fb7dd7","datavalue":{"value":"53296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003521$BCC5AB1C-4C8C-4290-A435-3298D0869628","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003521$E6E66B44-BB8D-4501-92C1-1E34B7774EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"337188a250a96de432be12dc91feaddecdc8f4be","datavalue":{"value":"first-order languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003521$B472FD78-A968-481F-9BBD-755B37455D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003521$A900C32E-26AF-4898-AA7C-90F97DC033DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e10b01afe378318b61b3603d39f472c70c53a80","datavalue":{"value":"first-order calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003521$44161DC7-3C4C-46B6-8B25-AEE7DD9775EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003521$8230D506-7942-4B30-8ED5-52ED70226667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92f25b9ea895f2b57606a79389bb66216727043","datavalue":{"value":"recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003521$D07106B1-B25B-4093-9AF3-0C809C997228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003521$11EA8605-ADCC-4629-8040-C0D18942ED37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003521$0294A6B9-5CF8-4245-AD92-C216FBD24601","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":"Q4003521$3D70A71D-9B6B-4186-A2A6-0BA2F6B5B322","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb8d549a04857835a019f4b4a8bcbb8ab44252d7","datavalue":{"value":{"entity-type":"item","numeric-id":3516027,"id":"Q3516027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"979916d49c16b062659742b35b0dcdfb73ccee84","datavalue":{"value":{"amount":"+0.8497841358184814","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":"Q4003521$E9D9F025-0349-4DD0-A056-CC8034C57439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1fa7a6dfc26f761bd7616cfbeb486b4083cd4d4","datavalue":{"value":{"entity-type":"item","numeric-id":4306655,"id":"Q4306655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2fbc85f2c4b1201875d474ebf2d6150b42ba88c","datavalue":{"value":{"amount":"+0.8450701236724854","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":"Q4003521$D2B3DFD1-7A45-46FF-BCE7-F5DDD24A6AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1abe0ec999140dbcc2d8ea3834a666abb8cd6238","datavalue":{"value":{"entity-type":"item","numeric-id":3768858,"id":"Q3768858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2fbc85f2c4b1201875d474ebf2d6150b42ba88c","datavalue":{"value":{"amount":"+0.8450701236724854","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":"Q4003521$04D232B3-E9A9-41BF-9532-5CFA70D01F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f39a56e03732b4946c9b2c2f09777d208c44b60","datavalue":{"value":{"entity-type":"item","numeric-id":4239317,"id":"Q4239317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f76065ad048369c7d242bdead5facef5cc0649d9","datavalue":{"value":{"amount":"+0.8351674675941467","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":"Q4003521$BFBAF1FD-4E71-467B-9B92-201D7F342CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d157dbabd4997af3757c3ae2a0b15087f5cee929","datavalue":{"value":{"entity-type":"item","numeric-id":3594444,"id":"Q3594444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f76065ad048369c7d242bdead5facef5cc0649d9","datavalue":{"value":{"amount":"+0.8351674675941467","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":"Q4003521$383A7537-53C9-4334-BAFC-6DC423CD93C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4003521","badges":[]}}}}}