{"entities":{"Q4126319":{"pageid":6155919,"ns":120,"title":"Item:Q4126319","lastrevid":41066363,"modified":"2025-04-18T02:30:04Z","type":"item","id":"Q4126319","labels":{"en":{"language":"en","value":"An intuitiomstic completeness theorem for intuitionistic predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3552483"}},"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":"Q4126319$9CA34D06-2420-4660-8170-98ED8B0F7EA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2b0239032f3eb6cea1b1b79008558ece0a02461","datavalue":{"value":{"text":"An intuitiomstic completeness theorem for intuitionistic predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4126319$94C8CEF7-6F94-4185-8BC6-233550F190FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3db497c3afc12b50574cb1423caaf28bdc818cb9","datavalue":{"value":"0355.02018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4126319$BAEB1B5C-FB9E-4DF3-8703-9E700479BB28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a867dbebe603e69f49aa4a1e26fbea3564aefbf","datavalue":{"value":"10.2307/2272955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4126319$4F2A7DE6-0CFE-42EA-B198-342D9BBDD4CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ed1b29a779be18eed2e3b376488f3b2b88f9170","datavalue":{"value":{"entity-type":"item","numeric-id":185815,"id":"Q185815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4126319$C6D35BCD-156A-4A06-9498-315DDBCECA0A","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":"Q4126319$B5ECA518-5E29-4946-B498-64011628E227","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4126319$979056E3-55F9-4BC9-A518-B889A9243AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4126319$5495053D-8EFE-4EC4-BAD9-61D6D107BCEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b814b6584a263f137ed355fa368343061325931c","datavalue":{"value":"3552483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4126319$D936EDBC-A04C-4F44-B5AC-E32F35A748C9","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":"Q4126319$F2EC94F1-DC1A-4851-AC45-B2C19D1CDA73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf9ef83c3d7e0f34cf990b5d0f3ca062e8f7e535","datavalue":{"value":"https://doi.org/10.2307/2272955","type":"string"},"datatype":"url"},"type":"statement","id":"Q4126319$E5FD9C9E-F508-454B-B9FE-B441823E3679","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b573cb8a071dc10046cfc644c909dbbd57fed25","datavalue":{"value":"W4238295494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4126319$4B36FA5C-330E-42B0-B178-60B3E41D00A0","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":"Q4126319$1005308E-169E-4773-AD2B-B6A02B7A3CFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4126319","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4126319"}}}}}