{"entities":{"Q40555":{"pageid":40611,"ns":120,"title":"Item:Q40555","lastrevid":56359002,"modified":"2026-03-13T06:13:47Z","type":"item","id":"Q40555","labels":{"en":{"language":"en","value":"Propositional Resolution"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"72003de4a5cb17eb5877f578768a7ef4d15fa1b8","datavalue":{"value":"28841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40555$80F9415D-C7B5-4DA7-8F6F-6D4218DEBA2A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40555$8944BD05-EE55-4E53-BCB4-8A7DE913BA00","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"171a4a1bb0385d13ef09b31d9723f4fd61278600","datavalue":{"value":"https://www.isa-afp.org/entries/PropResPI.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40555$CFC0F3AC-9024-477C-B588-EAD9F17FBDB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40555$81A172EE-F008-4107-B998-D4113BF09A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40555$C774562C-02E9-4EE1-B388-6723DC3CB59C","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40555$3E5B2030-4CC1-411E-97B2-F1AB0C6B62C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7ef1082544496cdbd626aabd0ffce07a1cf4d46a","datavalue":{"value":{"entity-type":"item","numeric-id":40285,"id":"Q40285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40555$BF3BF28A-A8FA-4A82-A313-A8D7FDF3965D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a0a329d132b963c571723538ca5cd1b467b324fe","datavalue":{"value":{"entity-type":"item","numeric-id":40325,"id":"Q40325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40555$322E8BB6-63C8-4CB7-AFF0-E449004F8327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0204f081facf570c6ab1a272475183b48ae5e4f2","datavalue":{"value":{"entity-type":"item","numeric-id":40286,"id":"Q40286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40555$436C5435-0412-40C2-96A5-21CBF3C725A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8bf2731143fd82a1f95f40f13b2fce56fbb7345a","datavalue":{"value":{"entity-type":"item","numeric-id":40299,"id":"Q40299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40555$7AAD6406-707B-4DC8-8A6D-3100A54F0F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9a2aad95369d69c08086a6600b609b3220c2705e","datavalue":{"value":{"entity-type":"item","numeric-id":40276,"id":"Q40276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40555$A432788D-A349-4DDA-8F65-E9353FA04E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ab75a27745b95bbc51eed60e2ef7157b7c449125","datavalue":{"value":{"entity-type":"item","numeric-id":33768,"id":"Q33768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40555$6ED72F5F-C25D-44DD-89FD-A40ABD34D16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40555$64CBF589-0EA4-469B-A10C-AB86F3C8C34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8867f0360bdc88f3de7f59059d26234eaba924c2","datavalue":{"value":{"entity-type":"item","numeric-id":5973201,"id":"Q5973201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40555$B05CFE46-5FCA-4CC0-A749-89DC856FD8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28fc316ccc1f38bd6830fcffe3187b6d32168084","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40555$F4FDB542-FC32-480B-A650-832166BCB9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b3df43f02eb541c419b766c9dd663037c99c0a0e","datavalue":{"value":{"entity-type":"item","numeric-id":40545,"id":"Q40545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40555$CDE68E2D-C297-40E4-893C-7057C0096373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d6d29b9e294eea1a26ce05a4d8663847cfc55575","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40555$EB9B2886-3D74-49FC-AD80-6A6A7093A0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ed15eb8701a335444fde1bcc3327d1067ce64751","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40555$BEB67306-D46B-4A9C-8FF4-46A6984DD452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e58bd8100179970e6dd14964997f435e21491d5c","datavalue":{"value":{"entity-type":"item","numeric-id":18928,"id":"Q18928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40555$E4D74DDE-B305-4582-BFBF-3D53A9706F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40555$9C1885D7-8B9E-4766-9AFD-E0A3BFF738C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2fd4f2f31989858180fba533a04e1a60c8d16377","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40555$85B8B585-6C30-491B-A030-F90388AECB11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Propositional Resolution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Propositional_Resolution"}}}}}