{"entities":{"Q3416116":{"pageid":3426819,"ns":120,"title":"Item:Q3416116","lastrevid":50003041,"modified":"2026-01-12T14:16:56Z","type":"item","id":"Q3416116","labels":{"en":{"language":"en","value":"Predicate Logics of Constructive Arithmetical Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5117110"}},"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":"Q3416116$773EDECA-F52E-4A4C-A806-2ABE33D3F900","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b7ec8b1a93872096152e443d5ad1b2c3379d92d","datavalue":{"value":{"text":"Predicate Logics of Constructive Arithmetical Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3416116$784ABE2C-F3E1-44DA-B236-90D060D20126","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4688f8fee95a0c818c1e2eaba39dbcb28d33717","datavalue":{"value":"1116.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416116$04DB63FD-2B2D-4A98-A79B-84C005A9C10C","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":"Q3416116$7F0829F9-FAE0-45F9-B53E-6128F0B6D04E","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":"Q3416116$A4E7E686-67B7-49E3-9045-3151C1215DA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccfbcab9dc0e00345be770d3637c6c67cbc30af7","datavalue":{"value":{"time":"+2007-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3416116$5CA48F30-4AD1-450E-9928-CE9086766A07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416116$25253A8F-83F4-47C6-A37E-699B45E47823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416116$462B4D0C-1789-4932-89A1-F454C48AD60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416116$E4200F2A-526D-4DD5-933D-8C4502A0BC1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7df776cafb48f34438ad8514bc7e7c5edbc5461","datavalue":{"value":"5117110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416116$2BB55E43-7D7A-4CC4-A8E2-7B81DFF5AD96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7620e3cbe7dfda21bcbdff43bf5c6ae35a75f9c0","datavalue":{"value":"relative interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3416116$14BEEB81-6E34-4E48-8608-AADA85594F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8304f9b066cb8e7634e871361ec41297f397c30d","datavalue":{"value":"predicate logics of arithmetical theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3416116$46AAF50D-5141-4EC1-BB47-8F27DA4E400F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3416116$41BCDA45-C780-438F-8541-D715366E979D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3416116$4E3E4C3E-23E7-4709-80F1-551F44271920","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":"Q3416116$28CC718B-9833-4304-84A5-7F6EEFA044F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d94d35f530dc06731b5df504a80e10a4f180e9c6","datavalue":{"value":"https://doi.org/10.2178/jsl/1164060457","type":"string"},"datatype":"url"},"type":"statement","id":"Q3416116$9F80BC4A-E3C9-416C-BB30-EF10E7B7F0AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4617d441e07a9d2f60f24b5b2a40fa1449f2ef29","datavalue":{"value":"W1991452220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416116$CE4B17D9-C0A0-4253-93B0-E877BDD02AB6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416116$D1268E3B-D2E2-4494-B4F7-CEC5C4FC3088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"861675e070d01c6709765fae78f1b2b9e9a93b52","datavalue":{"value":{"entity-type":"item","numeric-id":4527922,"id":"Q4527922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416116$8F3B7B15-8292-4D06-83FB-F780EDA7F0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e103295203a369bf61068979ff5d4c91b935602b","datavalue":{"value":{"entity-type":"item","numeric-id":3768873,"id":"Q3768873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416116$A0965292-66F4-4EB5-8F0C-0E3757361010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"650b5ae1facfbeea3cb646034d4643f8ddd98980","datavalue":{"value":{"entity-type":"item","numeric-id":4075443,"id":"Q4075443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416116$6D51B44D-E354-46F2-995F-8A8CDEDD7460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d8694aef156ed89f7a3aae092fe95f095e29d7e","datavalue":{"value":{"entity-type":"item","numeric-id":3048831,"id":"Q3048831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416116$DC3118FA-3798-4406-87A8-F1AAA1362193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16bf812c2b69c92ff0425718e7bc841118b4f467","datavalue":{"value":{"entity-type":"item","numeric-id":4161322,"id":"Q4161322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416116$619D67D9-D242-4F17-9A5F-0B7408586107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0ada4134899fcac6e526867a8ca101f15d1e6f","datavalue":{"value":{"entity-type":"item","numeric-id":1182705,"id":"Q1182705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416116$43867FD7-B51F-4B8B-AA4D-EBBAEC17FB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0cf0f0361f6088836a7c4b387112946d3604b02","datavalue":{"value":{"entity-type":"item","numeric-id":2501168,"id":"Q2501168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416116$2AF0D7F9-352A-40B6-965D-DEF3CD0BCD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c334e900d69147354fcd1b09f921638515832504","datavalue":{"value":{"entity-type":"item","numeric-id":705533,"id":"Q705533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416116$0A2F2D9C-5930-4B8D-8A0B-6C552A7B686C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b937da0dd9bb2e82591f8d65bd9050f5bc70f6","datavalue":{"value":{"entity-type":"item","numeric-id":5957858,"id":"Q5957858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416116$7613F20E-6807-497D-877B-C16366B645DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79493e162a67bd2a4c7953039e78c8573fad17b4","datavalue":{"value":{"entity-type":"item","numeric-id":5937848,"id":"Q5937848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416116$267546A5-652C-495C-800C-803A7B3BC7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6bdde33d7655e7b51f89c495e13b554090e3744","datavalue":{"value":{"entity-type":"item","numeric-id":4740561,"id":"Q4740561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416116$08CF73FC-DF2E-4BB0-AD6E-583C73933772","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cf0ed35bd360314b747d50f430964265b8e2bad","datavalue":{"value":"10.2178/JSL/1164060457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416116$44024540-BD63-4AA9-B06E-E8B6985B8B2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eebe24f6f6aa43c28211b0a0a604c810eef559c8","datavalue":{"value":{"entity-type":"item","numeric-id":5957916,"id":"Q5957916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc8939cb840265d6c03f73b68b63f9beb447615d","datavalue":{"value":{"amount":"+0.8579872250556946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3416116$F9332CAE-BE16-4846-88C9-3E6EC133C99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c04c3cea3e46fa9091d90969e3027262d67b3c7","datavalue":{"value":{"entity-type":"item","numeric-id":4761670,"id":"Q4761670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25cf54334f09c9aaca9a912cb31fa0312cb0efea","datavalue":{"value":{"amount":"+0.8472180962562561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3416116$76C98AC5-C740-4920-AD36-10D908989FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"812b150cc8fb2b80b80e6cfc9ae6a72ad6db2ef2","datavalue":{"value":{"entity-type":"item","numeric-id":803126,"id":"Q803126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dabf8f203930960caf47b993a9353ce70cc616c","datavalue":{"value":{"amount":"+0.8007168173789978","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3416116$3E5C0927-E834-4290-B711-31D6E4E3E096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf14a7d97251139c6e3ea177e9a45e6e49fd2827","datavalue":{"value":{"entity-type":"item","numeric-id":5202185,"id":"Q5202185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6f9d24f506a72c3dfeeb560bfa19e1bec3794b3","datavalue":{"value":{"amount":"+0.7709285020828247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3416116$2EED4C28-4F38-4DB7-86C5-76C70581C5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ffb149e3455263fb5188f7a2a8c30a04c1f04a","datavalue":{"value":{"entity-type":"item","numeric-id":4242460,"id":"Q4242460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d6424a018125c3848c95c705098736f955acde","datavalue":{"value":{"amount":"+0.764995276927948","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3416116$6698BB22-CFDA-4C34-821F-F2FAC582A72C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3416116","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3416116"}}}}}