{"entities":{"Q5477459":{"pageid":7507018,"ns":120,"title":"Item:Q5477459","lastrevid":58587339,"modified":"2026-04-05T21:28:49Z","type":"item","id":"Q5477459","labels":{"en":{"language":"en","value":"Deductive Algorithmic Knowledge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5038545"}},"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":"Q5477459$31B4D19A-28F3-438F-B327-FC269D77BFAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"347e794728e5a1d42630335f9914b9320d252084","datavalue":{"value":{"text":"Deductive Algorithmic Knowledge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5477459$48A08768-0A16-4A02-8F2C-85E7BBD21523","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90e332a295ff8aa20a982d32f3343284ea15ae51","datavalue":{"value":"1102.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477459$8D1D20E8-6010-4E51-8149-1C443E8E1B7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42ac1d097672349450783a9de9be1c3a85df316e","datavalue":{"value":{"entity-type":"item","numeric-id":543592,"id":"Q543592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477459$6B584F7C-85C7-41F6-A93C-6E063AA9177B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac17ed5a40bf8aad6f70ec47d507eca00a25f0bb","datavalue":{"value":{"time":"+2006-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5477459$F8D56D5C-4B1E-4AEA-B44E-A00A861C882D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5191e4ef72a3b320c67d194c1fb15c2523dde396","datavalue":{"value":"https://arxiv.org/abs/cs/0405038","type":"string"},"datatype":"url"},"type":"statement","id":"Q5477459$0B13F9A1-5171-437B-AAF0-75126BB90C12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477459$EFA4EAF3-8196-4E98-9BD3-1E949FCC5FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477459$0FCDE393-43F6-468E-B9D8-74299E004913","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca57dd6909e516b040902c6b1134d0c64792c075","datavalue":{"value":"5038545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477459$131828AD-EB4A-4878-9F70-B23EC5E859F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477459$07CDB203-EC47-4CF0-8B7E-F15EA0210D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5964d93c1d3489dc8d645de94558c2e7679e293d","datavalue":{"value":"explicit knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477459$28782CF9-26DA-451A-84F2-8F76ED5F2386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864bd2308ad6ae0190090d51f6b5e01742de2ffc","datavalue":{"value":"deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477459$B1C4AADA-6FCD-4DFB-9DFE-676BD4105075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebfd339d5fdc320cb84ced0319a371d684c705ee","datavalue":{"value":"axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477459$80CABFFA-2380-47B5-BFAB-942E2B1DD6A9","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":"Q5477459$7E424CA6-E1CB-4A82-86F0-EBEB80820E73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3b84e46c6b9c5b93607749987af97bbfd6e5bc3","datavalue":{"value":"W1985022920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477459$33DFCFD3-80D2-427D-9165-30500E742512","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d90208d436822a110a70e72693452bad72160154","datavalue":{"value":"10.1093/LOGCOM/EXI078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477459$026A74FD-83C5-4834-83BA-EE9CA6BEA1F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477459$B0247767-DDB4-4D8F-984C-00A81D203590","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de75bf27951848c70ab48ebaefc2ac6473dbd3f6","datavalue":{"value":{"entity-type":"item","numeric-id":5310644,"id":"Q5310644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c86c632d5b2b9512a6d43059523005082dd823f","datavalue":{"value":{"amount":"+0.7818430066108704","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":"Q5477459$E3F972A6-E508-488B-AF1A-76A786F80D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf456413e2882ea252bfd1e889ee1927b47cba5","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"271b59e091df2b22d813a64a1c17cee089dc816d","datavalue":{"value":{"amount":"+0.7361451387405396","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":"Q5477459$C9D97534-45E4-4BF1-A2B3-CE7496C125B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fad505a3ab5fa333821cb6a5397edb6131296a9e","datavalue":{"value":{"entity-type":"item","numeric-id":1263299,"id":"Q1263299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27842b8ece06067e2f19de1f72f2c233c64af912","datavalue":{"value":{"amount":"+0.7305988073348999","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":"Q5477459$954402E7-C1D0-499D-8C2F-B5346602F778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db22f4a61987f73eface1310a875275db775f7e8","datavalue":{"value":{"entity-type":"item","numeric-id":5019283,"id":"Q5019283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"780f5022ec235b350c92c0e55e08a9d2665a54e5","datavalue":{"value":{"amount":"+0.7274600863456726","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":"Q5477459$430B6797-47E0-4B26-AEA8-0ADFA56304AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c0d1ca283970df6d14db817e32cc7196f56c3d","datavalue":{"value":{"entity-type":"item","numeric-id":3703315,"id":"Q3703315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2813d3e8608848c90da0ef0dec6baa339fbd4663","datavalue":{"value":{"amount":"+0.7272725105285645","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":"Q5477459$411C5265-1C6C-465B-B65E-F6F9DEB2DB8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5477459","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5477459"}}}}}