{"entities":{"Q4093415":{"pageid":6123015,"ns":120,"title":"Item:Q4093415","lastrevid":41064581,"modified":"2025-04-18T02:15:59Z","type":"item","id":"Q4093415","labels":{"en":{"language":"en","value":"Completeness properties of heyting's predicate calculus with respect to re models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3513749"}},"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":"Q4093415$B086FB81-2B09-4EB5-AF90-31A19DB8B0E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e713b24c16e587d492b7cb37e3cb4b9dd2f90ae0","datavalue":{"value":{"text":"Completeness properties of heyting's predicate calculus with respect to re models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4093415$032B8119-2AD0-4969-860C-5AA85439A7A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc97768707ef784d3ad6150aa2fbb90edd3c1b68","datavalue":{"value":"0328.02013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4093415$05A28BFD-3C2F-4865-BF34-D5EDE5C2E0BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b50a3f0fda010dc325f654f09136d3e86fee7991","datavalue":{"value":"10.2307/2272948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4093415$43D5E94E-2198-46CD-B635-19DD9405C8EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-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":"Q4093415$85B2C0A8-5F4B-4AB9-8B93-8B44D0C45058","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4093415$D24C6CFF-A84D-4DA9-BA61-0310BE015BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4093415$57EB3474-831F-43F1-A63C-17518187E17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4093415$541B932E-46E9-4FF9-8F53-FAC607EB7868","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fc83b0e3227699e334cdfc16fa2d07e20df8fca","datavalue":{"value":"3513749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4093415$B7445A6F-5AB9-4B35-82BC-DF3AFEF6231C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4093415$83272E81-E483-4BFE-855F-3F1411E9ACA4","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":"Q4093415$1A8EC66B-4910-4039-9FD6-11268D97AF78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8143242304e143c470f5fb1a71a4e1f167bcd3bf","datavalue":{"value":"https://doi.org/10.2307/2272948","type":"string"},"datatype":"url"},"type":"statement","id":"Q4093415$8D013E22-F889-496F-949E-178746CE8514","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a341b4c478b5cd135ca2ebf90dc71fbc52f117e","datavalue":{"value":"W4236007790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4093415$DEDAA62C-1BA0-4335-821A-99182F4FF63B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4093415$9C0344DD-4599-4E95-9EFC-63F6C27E9EC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4093415","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4093415"}}}}}