{"entities":{"Q4038676":{"pageid":6068394,"ns":120,"title":"Item:Q4038676","lastrevid":55251547,"modified":"2026-02-05T08:23:33Z","type":"item","id":"Q4038676","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177798"}},"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":"Q4038676$C006AD7A-F571-4043-997C-0B9BC91ED094","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a7b23fcdbbf637572678218372861d866c93369","datavalue":{"value":"0774.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038676$1FA4DCF2-6277-422C-B7C4-1C99AB295B35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"398d5a9bd6a3354a9e18d0e067838ab447814818","datavalue":{"value":{"entity-type":"item","numeric-id":2943210,"id":"Q2943210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4038676$C919BF99-E703-410B-B167-8D4BDCAE2688","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4038676$2E181216-800D-412E-BA78-96E304196B5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038676$A85E4989-5961-4C64-B80C-5FA0695D6C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038676$0B510BBD-243C-47B3-98B1-A7119F1841D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038676$18CE1C94-B4CA-4404-B015-B6FAFE0F9ED1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50c1496e567388f4a1d0dee0f2b2e053d80d792c","datavalue":{"value":"177798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038676$082E2189-0047-46A1-954A-F379E0688365","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6154a6f64b47d2876885db73e542c63aea87f09","datavalue":{"value":"extracting programs from proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038676$88D7D646-00E4-4C05-8D46-D2C0AF64B763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bb162c196a3357547697a42a48b523e2788d32f","datavalue":{"value":"constructive semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038676$E85FAAAD-F120-48A7-8CA1-1E9CB44BB7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038676$D4092CE1-038C-4C09-B4C4-B38F25FD677F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59fa54662036a9abc226f2dd60b95c8c15a85c03","datavalue":{"value":"enumerated models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038676$0FB11F0D-BB34-48BF-977D-C6963D5EB534","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":"Q4038676$3991F239-0A8A-4008-82D4-B880491E5570","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81235c4d3f4c66b6911717e8cbf43cd34a5bdfea","datavalue":{"value":{"entity-type":"item","numeric-id":912594,"id":"Q912594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe21fe7ba2d0779c2bd7700c0e2abd75420c8f8f","datavalue":{"value":{"amount":"+0.8188304305076599","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":"Q4038676$12095E82-36A1-4B7A-BC30-87B08A102A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e06b4fe6c983bb3ab4de626b40fdcb19de88e0","datavalue":{"value":{"entity-type":"item","numeric-id":1823656,"id":"Q1823656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9adf2a3f31bb9d897dd39cbfec2f92a0b81ac8a1","datavalue":{"value":{"amount":"+0.8160901069641113","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":"Q4038676$79B7F607-E6F1-4C99-BEEE-2657D30C384D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6b78b3ecf79be68faa3d83e8bddef8dbf6a0f74","datavalue":{"value":{"entity-type":"item","numeric-id":5752570,"id":"Q5752570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f006a832257d92aede490262157c7da6c766d6","datavalue":{"value":{"amount":"+0.8121193051338196","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":"Q4038676$DE5CB981-3DD3-4F78-B93E-6DBD039FF8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c823eb76233e4855e66828e769991a47beaee71b","datavalue":{"value":{"entity-type":"item","numeric-id":1190474,"id":"Q1190474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f9a6d576457ca0722754980634658601f74c999","datavalue":{"value":{"amount":"+0.8066462278366089","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":"Q4038676$D221D7F9-B5D1-45FC-935B-B7FD3F3AD7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"453af8c03d498c8d21ec56b964e9b31f940ab75c","datavalue":{"value":{"entity-type":"item","numeric-id":5751976,"id":"Q5751976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef46f75d18337a7202b24bc750a5e94d5a97f1e","datavalue":{"value":{"amount":"+0.7887030243873596","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":"Q4038676$36C8E596-2B56-41CA-A938-CD11A4533AE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4038676","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4038676"}}}}}