{"entities":{"Q6364953":{"pageid":13499100,"ns":120,"title":"Item:Q6364953","lastrevid":99650900,"modified":"2026-06-05T20:26:14Z","type":"item","id":"Q6364953","labels":{"en":{"language":"en","value":"Information in propositional proofs and algorithmic proof search"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"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":"Q6364953$AC72FEF2-7D20-460D-B0F8-4F53FFFA5764","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee58528aca4afa2559801b7b7c77fc3e9ad47d03","datavalue":{"value":{"time":"+2021-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6364953$E9860B83-7636-4D27-95D4-EA227C653148","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"479e98b9e43580f92b16b42a0fe425c21741f720","datavalue":{"value":"2104.04711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6364953$699DF252-F1E1-4CFE-8AD5-640047535A34","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"beea17b17b8d1b5a9f9834b620089ca44509579a","datavalue":{"value":"cs.CC","type":"string"},"datatype":"string"},"type":"statement","id":"Q6364953$4A09A1AA-8D0B-453F-AD36-96D1EB157058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6364953$460ED8E5-7143-4069-B2C4-2FFDA64B413C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6364953$E6EAF764-0F44-44AF-8D1C-8FA7AB86086F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6364953$EC662886-2F22-4DC3-A0A9-C82BDCF426BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ff42dddfe5f41df416984cf4dad89a0ad78ba0b","datavalue":{"value":"68Q11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6364953$84193C8A-4E51-42D7-9C6D-1D8611E07957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6364953$5D8B0E0C-B6E4-4752-902E-6D1263FF4A8F","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":"Q6364953$06E714B1-173B-4012-917F-1F69FEC1A509","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7cc32301d8aad3b5f5a46d0de19abc1a1ae266e3","datavalue":{"value":"Q113858283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6364953$151F6C87-DBF2-455B-932F-533DE9E3ED25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0fd1030231d6d805d95503dbd4dc54ad43f1f0e","datavalue":{"value":"10.1017/JSL.2021.75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6364953$A30B8EB2-1B3F-4D9C-9BC5-F4D9FB3A1605","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"0f90517a5dbcbb302e7786b0fb94227d9b84e587","datavalue":{"value":{"entity-type":"item","numeric-id":5082067,"id":"Q5082067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6364953$3838F83E-1F40-4C15-82EB-1BF34AF43486","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Information in propositional proofs and algorithmic proof search","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Information_in_propositional_proofs_and_algorithmic_proof_search"}}}}}