{"entities":{"Q767454":{"pageid":769303,"ns":120,"title":"Item:Q767454","lastrevid":64177467,"modified":"2026-04-11T18:09:40Z","type":"item","id":"Q767454","labels":{"en":{"language":"en","value":"On disjunctions and existential statements in intuitionistic systems of logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3119294"}},"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":"Q767454$A7895886-5568-4260-ACC7-749A081853B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebc193b11390344f693712eafd9aec108fb51564","datavalue":{"value":{"text":"On disjunctions and existential statements in intuitionistic systems of logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q767454$7FB4D8A9-9DCF-4FD7-A1C0-300109366A86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4883aabe779155a741f88b8e69149c6b52e93125","datavalue":{"value":"0071.24504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q767454$472FA686-E4B7-40D8-A366-D7169897AAE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a37ff0782abb64e8a137ef49188223c1122c5bb1","datavalue":{"value":"10.1007/BF01360048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q767454$04889091-0A77-4B63-BA50-007552314128","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q767454$8EE1C75B-21FD-45E9-BAA3-E5E7C410A86F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fdeec1d184478b3fdb458fc97fe9e12c6f6e278","datavalue":{"value":{"time":"+1956-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":"Q767454$E2D8077E-D0F7-4DBF-9D67-BDBA4AE4D744","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1df0d79c3d8f7a500ddf9da8ca3a80a1bc40520","datavalue":{"value":"https://eudml.org/doc/160525","type":"string"},"datatype":"url"},"type":"statement","id":"Q767454$303B49A0-3AA3-48FA-9B67-759680CFD4A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05537e5c2ed9a1de78a8eb9ff74e3fdc8252d0b9","datavalue":{"value":"3119294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q767454$9D724260-272F-4B7E-914D-A718E5BCFBA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caf0eab1c6fd9a5511ddbd8b23b90181f169df13","datavalue":{"value":"foundations, philosophy, logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q767454$99E097AC-3F00-42D0-9572-69B4EEF8659F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63c111699e7bf30cfc35b51e9daae53779a41492","datavalue":{"value":{"entity-type":"item","numeric-id":1239306,"id":"Q1239306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q767454$0D0FF2E9-EC34-4D05-BB7E-1F5331572878","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":"Q767454$65804493-C10B-46BE-B41C-1D39E3306990","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b66baeca03f1839e899b76b922bd3d158e995d5","datavalue":{"value":{"entity-type":"item","numeric-id":5766346,"id":"Q5766346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q767454$FF69863D-625E-445B-A517-27C7F4690DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19903a9f1da6c1cbdc1dcc729576a6b106a0e22","datavalue":{"value":{"entity-type":"item","numeric-id":5827946,"id":"Q5827946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q767454$0A3C64AF-D4D0-473A-8E26-112F0054FD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"701ac897bf0e18e7a62e37899796a22f39bc1f4d","datavalue":{"value":{"entity-type":"item","numeric-id":5792477,"id":"Q5792477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q767454$3236ACA4-05BD-454D-9B53-40BEA41BE0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q767454$3AA3EA57-A5A6-4F8B-ADCE-F0365E029663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q767454$E1BB2230-3667-49D0-8DBC-66B9D693326C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c468e27964cbd159539a67909fa01fa4e125173","datavalue":{"value":{"entity-type":"item","numeric-id":5848896,"id":"Q5848896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q767454$B4A10F26-C65F-49C1-9DAE-6246837A454D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"069310831258c423c7187d29baf5f55ff0e5ebee","datavalue":{"value":{"entity-type":"item","numeric-id":5827958,"id":"Q5827958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q767454$C6B0FB33-04F0-4766-B6CF-F2CD3D0FC3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"203318c557c82294d1a13a7b0ee8923a35f083bc","datavalue":{"value":{"entity-type":"item","numeric-id":2648344,"id":"Q2648344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q767454$6189F82C-5E80-401D-AFED-3A11A159E89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ea676d7dea028bdc934c4cff4737ce3b2e6c3b","datavalue":{"value":{"entity-type":"item","numeric-id":5771193,"id":"Q5771193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q767454$BE85E4C3-B50E-4BB3-B09F-A9F2923ECD0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On disjunctions and existential statements in intuitionistic systems of logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_disjunctions_and_existential_statements_in_intuitionistic_systems_of_logic"}}}}}