{"entities":{"Q3979923":{"pageid":6009810,"ns":120,"title":"Item:Q3979923","lastrevid":46247065,"modified":"2025-12-24T09:42:40Z","type":"item","id":"Q3979923","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 20761"}},"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":"Q3979923$74E59C9F-64FC-4975-9923-2D6BA18BAEFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d4687862f6afa43bc9de552c972cc0ef44eab2a","datavalue":{"value":"0749.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3979923$362C8A5E-3FD6-4EEF-BB8B-B312BCEF675A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57008100bad657019fcfe84c68d8a3ec95ff2eaa","datavalue":{"value":{"entity-type":"item","numeric-id":766463,"id":"Q766463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3979923$C7A89975-9C10-4B01-8A64-CB384978B5B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3979923$25DE1788-F395-4F13-B1B1-8FDD51F2DC79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3979923$A8DAB780-6FDE-4BB8-BB5E-34C91BF6E312","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"032dc78dacfeca92767bb30f1d96874b6d8e2ef6","datavalue":{"value":"20761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3979923$D15CB179-9381-40E7-9727-054A1B1EC87E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3979923$D748EB1F-4A05-4380-B9DC-EADEA0D4A85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0309441d3004b61a20364fb8ef61ff3463aa0b48","datavalue":{"value":"intermediate predicate logics of higher order","type":"string"},"datatype":"string"},"type":"statement","id":"Q3979923$1D3E9E42-E1DC-4A6B-8165-18AA799BEE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"090b7f7b0f765c356e3ab0569e858838ee992077","datavalue":{"value":"complete Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3979923$80040F3A-8BB3-4C58-90F5-E8D987B542F3","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":"Q3979923$C48D79D7-789C-440B-B5B1-6147E1294D90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02914676961ea20adba25e8af504c2bfc869aafc","datavalue":{"value":{"entity-type":"item","numeric-id":3340837,"id":"Q3340837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54cc688a3f0db5756e6af8afa13a9cea90f529d6","datavalue":{"value":{"amount":"+0.7649145126342773","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":"Q3979923$3096E62E-FEA2-4CD1-AA62-724B0C08DFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9459aea11bcf896c98b8bce3f378048c3e77b69a","datavalue":{"value":{"entity-type":"item","numeric-id":1207339,"id":"Q1207339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92fd1d47e87639aadb852343e13368fede4b3ee7","datavalue":{"value":{"amount":"+0.7636502981185913","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":"Q3979923$E5FC60BA-B7B2-4CD5-A279-F7FEA8D0E2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f81cc5f4859fdf9ccbdadb8d68b3b38128a5822","datavalue":{"value":{"entity-type":"item","numeric-id":3312202,"id":"Q3312202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"928c45100a8d14d1f0c596bf7de907b5778b9502","datavalue":{"value":{"amount":"+0.7621440887451172","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":"Q3979923$9134B61C-6A0E-4D47-9FF2-791F1784C699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd550c3094da56996b5f0d5428cc44d0dfee405","datavalue":{"value":{"entity-type":"item","numeric-id":3755436,"id":"Q3755436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33d1610ec14e0f59d242cf72547c40e9c58d2b0e","datavalue":{"value":{"amount":"+0.756288468837738","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":"Q3979923$473C9E84-DD2A-495C-AC55-AABB37A73C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e345e22db9222282c2dddb603ecbe58b5a5c65","datavalue":{"value":{"entity-type":"item","numeric-id":3731579,"id":"Q3731579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e340fc36cf22778f0b37164be9798e33feec2c","datavalue":{"value":{"amount":"+0.7557015419006348","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":"Q3979923$7A655626-646D-428C-8B44-FB7C3119691B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3979923","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3979923"}}}}}