{"entities":{"Q3818307":{"pageid":5848213,"ns":120,"title":"Item:Q3818307","lastrevid":53832311,"modified":"2026-01-25T19:17:12Z","type":"item","id":"Q3818307","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4089535"}},"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":"Q3818307$81A92532-9D14-47F4-8C46-5E1CBFAA9CA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8cbaf1a02b4a06fa6155d802c3a7f957ace2966","datavalue":{"value":"0666.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3818307$1C34E542-00C2-4F24-BA8E-DE68A6456269","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e84fb005a154bcd562e79420364357d5b43325fc","datavalue":{"value":{"entity-type":"item","numeric-id":174067,"id":"Q174067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3818307$5F1D314D-98F1-4174-A542-B0A0430D5B86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3818307$164AE90C-ADBD-4403-8FE3-0EFCFCB52170","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3818307$5D78B286-9039-4482-9637-AC7CF7AAA192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3818307$221EB529-0CBF-4370-8753-D5862A25FBA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87ff3e138a0ca789180264aec62ad8881ec50f5a","datavalue":{"value":"4089535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3818307$3189FF8F-5892-4951-A220-99C59D67D046","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c3903195e0b2818190106d4ad68755f39f43827","datavalue":{"value":"constructive logic of program schemata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3818307$C91AF646-F072-4F35-B30A-E72AFDDD2920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90949c38c0ee06b09d1c751628e194af8abd0d90","datavalue":{"value":"realizability by program schemata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3818307$457BCE6F-DB08-412F-9FEA-1E882D0E5A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"578e6ac0a82891e96915decedf7eaf3a9d0396c5","datavalue":{"value":"generalized calculus of natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3818307$81473F2A-F7B4-4591-956B-AE95B7B89F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3818307$AEF6783D-5B15-4FAD-A04C-CA5D0A1031AB","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":"Q3818307$8A7A8AEB-DBB8-4CD0-B1D8-25FCEC0D6342","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44e384dfcd8ec39ad22cf764af3e8249dd065f76","datavalue":{"value":{"entity-type":"item","numeric-id":3789559,"id":"Q3789559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aa5f50baae9ed2700a7c1baecbd1a17cf16171b","datavalue":{"value":{"amount":"+0.7814458608627319","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":"Q3818307$8FC38E26-B67E-412B-9D31-C29CEF98DF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90dc0ffdfd43a44a8ec1748a6e94a6dd8d7a9319","datavalue":{"value":{"entity-type":"item","numeric-id":3755454,"id":"Q3755454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bc92482bfb4f7092d50a30c4b5da13148e3bc4a","datavalue":{"value":{"amount":"+0.7747830748558044","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":"Q3818307$7EE53075-D020-41F7-9AD1-178615566859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cae299b78fc0bf1394dcf3a1b3c49e5c0979a1","datavalue":{"value":{"entity-type":"item","numeric-id":3973194,"id":"Q3973194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f6a25382083a392fab094fc30dc68b579375016","datavalue":{"value":{"amount":"+0.7654927372932434","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":"Q3818307$8FC3A546-E7EF-443C-9FE0-95587755E620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e329d2c47b35eb3fe32137436bee30ed00e9f6","datavalue":{"value":{"entity-type":"item","numeric-id":3349960,"id":"Q3349960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab9cc554b22ba96a41a745eeaf7263ac6d674090","datavalue":{"value":{"amount":"+0.76485276222229","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":"Q3818307$D9ABA745-E19E-4E28-88B1-8B05CB927AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e55c6492b28b35ac9838117b979cd1423e6220b7","datavalue":{"value":{"entity-type":"item","numeric-id":4795874,"id":"Q4795874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d30bc184ceecba6b18a5fe63a872b965127ae9c4","datavalue":{"value":{"amount":"+0.7635861039161682","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":"Q3818307$9B61B9AF-3F74-4711-8A8E-5287E24FE2FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3818307","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3818307"}}}}}