{"entities":{"Q4740561":{"pageid":6770141,"ns":120,"title":"Item:Q4740561","lastrevid":31947565,"modified":"2024-03-19T20:20:30Z","type":"item","id":"Q4740561","labels":{"en":{"language":"en","value":"On the completenes principle: A study of provability in heyting's arithmetic and extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3795949"}},"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":"Q4740561$79BC96A6-18E0-437C-9012-24C62535A2D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9dbd93892b32675f07f6092d4091c2e125deb723","datavalue":{"value":{"text":"On the completenes principle: A study of provability in heyting's arithmetic and extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4740561$BEFB5029-0083-4425-BD45-7046B55B3663","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96e29dc2331d52a6485ab7b0d19639de16001bfd","datavalue":{"value":"0505.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4740561$E8CBDFA2-A83F-4AAB-B7BE-28C0AB8213CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64847e37143acf52bb8930bcaddfcd9c383dab9d","datavalue":{"value":"10.1016/0003-4843(82)90024-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4740561$B305AB32-A1B1-4AFF-B8C1-D509ED75E0A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e30887b1661f9905213e819a799c929192d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":190340,"id":"Q190340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4740561$BC83D850-DE04-4186-8057-3D9328D347E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8163ce1afc0fec16367278ef74f8847085a60d3a","datavalue":{"value":{"entity-type":"item","numeric-id":3041173,"id":"Q3041173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4740561$32FC52FE-A64E-4BED-8A23-1C2E57FB7F64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q4740561$AA835E4D-ACD4-4785-B2DB-15084BE205E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4740561$E18B1984-B56A-430F-8D52-B2F1669F4CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4740561$BBE035FE-6C8F-4FC8-B179-588846F9EEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4740561$A25B1802-B303-40CC-9B92-DBA834D1D4B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1cc7f9f1b1487648f64ef10d72a2e4b253bec4a7","datavalue":{"value":"3795949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4740561$AE7289C4-F16F-457E-8D2C-9B988720DCA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4740561$D7410661-81B8-4F91-846F-2BB6EFF58F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b71225e71f986d3a97175cbb307f83a71cdeaebe","datavalue":{"value":"Heyting's arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4740561$60EA67F5-3B1E-478F-B344-0314FF9355A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94054f2eb4bd75580468d4442a974cbb84a98040","datavalue":{"value":"strong Loeb principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4740561$71A457D9-2A6B-4A58-8DE4-FF7F1CEA0C11","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":"Q4740561$2B2FFEDA-B464-4A65-B677-1B4324704680","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3f8270be02bf093279badb8e17de1fddb7c6d59","datavalue":{"value":"https://doi.org/10.1016/0003-4843(82)90024-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4740561$5B44F8FE-F4E5-4704-B78F-2C5CFEB12741","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb9911cd72cf287f5897f80505674cb5f580d00e","datavalue":{"value":"W2015175446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4740561$89A00D07-6B63-432D-888E-06D2B8C2FA93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4740561","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4740561"}}}}}