{"entities":{"Q1845874":{"pageid":1856616,"ns":120,"title":"Item:Q1845874","lastrevid":70979184,"modified":"2026-04-13T18:39:11Z","type":"item","id":"Q1845874","labels":{"en":{"language":"en","value":"The Skolem method in intuitionistic calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3448547"}},"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":"Q1845874$0EB2114F-CE41-419A-BB87-3A3769ABC3B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9febd3bcfab7605c81c1699e9172ee25d01fc36","datavalue":{"value":{"text":"The Skolem method in intuitionistic calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1845874$46D0DC94-CEDD-4D41-B492-3302F4402425","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a278605e62cd2a752b0072bfbbc4433449e168b5","datavalue":{"value":"0286.02030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1845874$06906676-C0E9-4A25-8616-A43C995FF417","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52ab463cca8ead400441fcc2b4fac1f6fbb55915","datavalue":{"value":{"entity-type":"item","numeric-id":251486,"id":"Q251486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1845874$3C19DFF2-4A47-4D84-B462-59E24B592C94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1845874$75092054-D695-4838-A583-ADB0DD61A6E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1845874$9929339C-6F37-414C-B19B-04A65F13FC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1845874$AEE375DA-989A-49E4-AACD-E4FF4F6A7808","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0949c809df589a90fe412cc7c4b9f25750eb11f","datavalue":{"value":"3448547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1845874$D2F76038-1579-4EF4-94A9-6C5AF1D66F03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1845874$AA4C4997-6B8D-45FB-A595-2C9CD2429D37","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":"Q1845874$C07AB5F9-F7CA-40EF-8609-64DB94E6F943","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Skolem method in intuitionistic calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Skolem_method_in_intuitionistic_calculi"}}}}}