{"entities":{"Q7323924":{"pageid":31356742,"ns":120,"title":"Item:Q7323924","lastrevid":104926372,"modified":"2026-09-15T10:32:38Z","type":"item","id":"Q7323924","labels":{"en":{"language":"en","value":"Proofs of theorems from high school courses using propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8250093"}},"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":"Q7323924$7587FB9E-39F6-4FFB-A8BD-FDBDBBB57A0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39ee6a7423a5d7c307cdf7d29dd5f42b68269063","datavalue":{"value":{"text":"Proofs of theorems from high school courses using propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7323924$24A7E62F-2563-4186-9004-5E2B0FAAF416","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc43682dc7411858ca61d473d2234954ebca980d","datavalue":{"value":"10.7858/EAMJ.2025.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323924$A6085A78-C7E3-4AFA-837D-EC375593D586","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c6907726bccfab886d813406f065041d2abcb39","datavalue":{"value":{"entity-type":"item","numeric-id":6498077,"id":"Q6498077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323924$FAA1A4E3-FC1F-4915-90C5-44A76FC521EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3cd2b7767e3c1648532274e13e8ef59c9f91595","datavalue":{"value":{"entity-type":"item","numeric-id":7323923,"id":"Q7323923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323924$BA5DA010-65B7-480B-A975-B923023E0801","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6d37d94b038c62d96473652b4819f7831004540","datavalue":{"value":{"entity-type":"item","numeric-id":2836409,"id":"Q2836409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323924$5736AE2F-7D6F-49F5-A0E9-97DB437CF329","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ed7ed2b6d960b2f24f76f98817f599065388085","datavalue":{"value":{"time":"+2026-09-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":"Q7323924$517E244F-6E96-4C48-B90F-61375608DBD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323924$35963BA1-EB08-49DD-BD27-95555CE7F5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cebe8d4122be7614b406d415cd75649f85958d8c","datavalue":{"value":"97E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323924$26DCBEB7-B6A0-42ED-A745-5DBEACA67422","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0e013a8fa961a0ff4738b67fce20df44429416a","datavalue":{"value":"8250093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323924$ED8FB65A-83D6-4B17-97EB-D5ADB9B96731","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":"Q7323924$48587BB0-7BA7-41C8-A723-AB86AD4D9FE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proofs of theorems from high school courses using propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proofs_of_theorems_from_high_school_courses_using_propositional_logic"}}}}}