{"entities":{"Q3638252":{"pageid":5668158,"ns":120,"title":"Item:Q3638252","lastrevid":90426155,"modified":"2026-06-04T20:09:18Z","type":"item","id":"Q3638252","labels":{"en":{"language":"en","value":"Axiom Directed Focusing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5574316"}},"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":"Q3638252$E53B46F4-BA6A-47C8-88B7-ED1412229E63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7d1becdf0d0a8370f98bb46825ab73180b46e6c","datavalue":{"value":{"text":"Axiom Directed Focusing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3638252$D2820AA4-0332-4DEC-B5F6-F76DFF9C303A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc4bb4567174da3240ed5aa7669c798023b339e4","datavalue":{"value":"1246.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638252$0E6C63A6-4062-4389-AB09-4D935D0C9448","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3990c7ccd8174d550d8eaba56e8fde09f74c246","datavalue":{"value":"10.1007/978-3-642-02444-3_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638252$034B3AC9-5F3F-424D-80E2-4A7D85739F2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e708c3837dd01826e990d479d06ec21c45976b0","datavalue":{"value":{"entity-type":"item","numeric-id":2873777,"id":"Q2873777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638252$F2AA1389-2900-4E0F-AFC0-2822B9E66A5C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638252$869C5AB8-5308-4AFC-BCC0-9B3024D919E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53f2e3fc7575081ebb3b175707a32845a6955dc2","datavalue":{"value":{"time":"+2009-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3638252$B1C01BC5-FF68-436D-946D-94E49E78EFCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea846d7bfcd35da052d282b1cdd7d0bc7866bce1","datavalue":{"value":"https://hal.inria.fr/inria-00212059v3/file/paper.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3638252$D2543CD9-B9FE-44EA-97B9-A5BD10E9270B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638252$B3066175-6CA7-4A16-A056-68CDB532BE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638252$CA349C8F-E285-41E9-AF82-A76236D2B5CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db14fe3c36ae76669b0f94fc04f816e59dba805a","datavalue":{"value":"5574316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638252$50A536E2-97E6-4CD6-BE2E-D7868688BAD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638252$F6367947-80D8-4092-9DA8-14A9CC563FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97b7a46a360629d222476cac2c1e10d68334605a","datavalue":{"value":"superdeduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638252$9D3982C2-8EDD-4E39-A0C2-B941B258B30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f41781e04ce8b5a53d7eeddf045b92e5e84bfa","datavalue":{"value":"focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638252$C156D0A0-5D44-4ED1-B278-26AAFEC0A8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"908a412ea1d66c8c3e12f690543d47d72647ae57","datavalue":{"value":"deduction modulo","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638252$BEAD3A47-08C0-4E4D-A2E7-D974CA733973","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":"Q3638252$1B089DF6-2453-497A-8C76-0E2D30C53F99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb1416ada5994b9caa96b5c8207f4f4f6355349e","datavalue":{"value":"W1588714103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638252$BC698EC3-66A2-4EBE-A3E8-B7F1F34376B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638252$DD8790CE-BD9A-4EA0-8797-70895AB9C887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e083ca1dc86b3d062c383762bcf1c551d67dd3fa","datavalue":{"value":{"entity-type":"item","numeric-id":3608815,"id":"Q3608815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638252$207380EA-F96C-4583-AB4E-3D59AC37F4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8265f360cd773c40702a2a3ecd0cbfa0ac7ceba0","datavalue":{"value":{"entity-type":"item","numeric-id":2752054,"id":"Q2752054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638252$7AFFC2D6-E2A0-4509-BDB4-095C636E49AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638252$385C2526-16F6-475B-93CD-814AC9DE4F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e52f792aed007740441efa3e7b7b70e2d7b6c5c","datavalue":{"value":{"entity-type":"item","numeric-id":4650285,"id":"Q4650285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638252$DA83EF28-C171-493C-A9A8-D87746990818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d4e38bc26a617ad6c486910865ea965b523631","datavalue":{"value":{"entity-type":"item","numeric-id":3612439,"id":"Q3612439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638252$1A1901CB-9B48-4937-84B5-DFCA81A7FAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00050bf08d8c66ff630f04c504e55da93f3d3677","datavalue":{"value":{"entity-type":"item","numeric-id":5432335,"id":"Q5432335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638252$2F0B811D-E22A-4E75-8258-416FAA3F3F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c602d6bd2ddcfcc7066bfb369353de5ba2dd44","datavalue":{"value":{"entity-type":"item","numeric-id":5704011,"id":"Q5704011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638252$E031E6CF-3DBB-4ADE-A005-6D55DAAEB010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b04241e6abbd6b9087920007cbbfe1a6a1f11e9a","datavalue":{"value":{"entity-type":"item","numeric-id":5434502,"id":"Q5434502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638252$9FA5AAE8-62A3-4158-B725-F93E8C7675FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748541fc241d4158ed3d6e70e259512d4e8bf6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638252$34BA724A-B204-47E4-BF84-4DBCC2F8660D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfa75a2a9d2bc0be13b915a63219211921806e3","datavalue":{"value":{"entity-type":"item","numeric-id":3983937,"id":"Q3983937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638252$8E4090D0-FE43-4893-B0CB-3118920F0002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d619179deec73e98daca550b5629aea20622978","datavalue":{"value":{"entity-type":"item","numeric-id":1575931,"id":"Q1575931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638252$0D561914-13D8-424C-BCE3-D92879F211CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a571653cb6ab1fa29a33b3cbc9d3383816e568e","datavalue":{"value":{"entity-type":"item","numeric-id":2713352,"id":"Q2713352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638252$34798B50-0628-4E85-AE53-13CD99D78F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c7e99dee790823bc8c804e87dda851e7f3087c6","datavalue":{"value":{"entity-type":"item","numeric-id":4365102,"id":"Q4365102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638252$1CE5A6F9-813E-4F1B-A335-10FE0BE6CFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b87924f23be2e9cf6d7b6faa675b811f5a3d7c","datavalue":{"value":{"entity-type":"item","numeric-id":3612625,"id":"Q3612625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638252$FC552FE6-6967-46C1-A85E-1FF743AF2AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36a434946d40dc5a858fbc4d9d7b90bf2cfd67c0","datavalue":{"value":{"entity-type":"item","numeric-id":3608434,"id":"Q3608434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638252$9339E247-00F8-4E48-9344-5F45631CFFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948ccfb4f4da9ccf917a1c648bdfcfe1da8abbe2","datavalue":{"value":{"entity-type":"item","numeric-id":5307079,"id":"Q5307079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638252$9B19511F-9F23-4640-9473-153C2E14D2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f640a1285c30f843eaafd6f39c5351d33d20f13d","datavalue":{"value":{"entity-type":"item","numeric-id":3608427,"id":"Q3608427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638252$644B8F04-4D1D-4491-8CFD-47F4196FB077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b64ad0f54114cca4f6f8a057044ad2660606ba","datavalue":{"value":{"entity-type":"item","numeric-id":1840461,"id":"Q1840461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638252$ED1845AD-20D8-456E-8DDD-A4B482032FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f103fa401cdca02160ebee26851f7a4dbd4e17e","datavalue":{"value":{"entity-type":"item","numeric-id":5813181,"id":"Q5813181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638252$3A2AA256-316B-43C1-A7CA-16722884C6F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4df5399f2ba8e77a787876807621806713762304","datavalue":{"value":{"entity-type":"item","numeric-id":3608815,"id":"Q3608815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e86751871bc807f75597b06d1b508e766985818e","datavalue":{"value":{"amount":"+0.8259738683700562","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":"Q3638252$5BC4672B-E98E-49FD-A243-24D65A33AFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d32a7c123948ffe4f8f4c089490e568305d60d1","datavalue":{"value":{"entity-type":"item","numeric-id":4964697,"id":"Q4964697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c7de530a2812e774b57c4f37a21305d1d715846","datavalue":{"value":{"amount":"+0.8073575496673584","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":"Q3638252$E586A49A-0FF0-4211-A7F4-32BE32C53BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"322f173fb3575a797ce385c52c033636a0af7c95","datavalue":{"value":{"entity-type":"item","numeric-id":5432335,"id":"Q5432335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"273567090567279f89b62222dcf3d72809b5e2dc","datavalue":{"value":{"amount":"+0.7778775095939636","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":"Q3638252$83ED9455-60D5-4386-93D4-23BF9C09DA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d801817ba38a5022c044acb2705af2a0ba08b3e","datavalue":{"value":{"entity-type":"item","numeric-id":691121,"id":"Q691121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1a1130bac33d506a99554caea2c10d28ec7d51c","datavalue":{"value":{"amount":"+0.7670531272888184","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":"Q3638252$B47D410B-CEFC-43EE-B7BC-7C34003F38D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2feb62bb3a69859753f55154a03f7ec76704cd3d","datavalue":{"value":{"entity-type":"item","numeric-id":5434502,"id":"Q5434502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0732267524df13b67e821d31d3e6fba83d0a0d65","datavalue":{"value":{"amount":"+0.7597978115081787","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":"Q3638252$BEE3CA71-9783-4ACD-B5F8-E791D699FFA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiom Directed Focusing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiom_Directed_Focusing"}}}}}