{"entities":{"Q1331920":{"pageid":1342670,"ns":120,"title":"Item:Q1331920","lastrevid":70733529,"modified":"2026-04-13T16:24:02Z","type":"item","id":"Q1331920","labels":{"en":{"language":"en","value":"Realizability interpretation of generalized inductive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 626274"}},"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":"Q1331920$46D8FAEC-3FE6-4F69-8FE6-67D1122E69A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"870f7e2626b86fd0c9f4ebe077fef1fdbc2ecef3","datavalue":{"value":{"text":"Realizability interpretation of generalized inductive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1331920$48FF712A-8067-4178-9414-3A3DD0B64D57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6270e19e859dbdbb3cd8440f3ac083c746d4156","datavalue":{"value":"0801.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331920$5D9D4DB5-F751-406F-A4E3-BE5A0D449C14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89e90b971e7f0e4aad04d22afea3b8f351c381bc","datavalue":{"value":"10.1016/0304-3975(94)90092-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331920$CEE647E6-4021-4444-844A-B8F8332895C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4896c5ea447353f69640bc9f7bdc4a8a12847d8d","datavalue":{"value":{"entity-type":"item","numeric-id":391181,"id":"Q391181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331920$01296ABD-67E8-411B-BC6E-B4C99A678A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26d759a8f15177451aa97ef2fc9836978dfb443","datavalue":{"value":{"entity-type":"item","numeric-id":278746,"id":"Q278746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331920$42F0CBBD-4ABD-4065-8E8F-440F64577053","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331920$07B29544-953B-4C78-8F5A-373B51BF4506","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"639e2a3a6cef7461b2fe9383e8a717703cc7a062","datavalue":{"value":{"time":"+1994-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1331920$75C75B4A-4148-4FA8-891C-E4900C047FE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331920$A39C9367-FA0E-4ABA-8AED-A0746C91FEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331920$D8D83816-09D7-4655-B1E2-A4FA319739CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76324331c0eefe81fa49486142bd3fa06e1a28db","datavalue":{"value":"626274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331920$02B4A44E-5CEC-49DF-A9A7-2A75287D8A4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85588f82944fdb0402687539a4134509eeee4c71","datavalue":{"value":"proof-as-program","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331920$049945F5-FA6D-40CB-BC62-2A503C59AEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ef5b2b021b0be5bf8a320b88de3ed4eb90f0a5","datavalue":{"value":"q-realizability interpretation of generalized inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331920$FBD2D281-8AAA-4EB9-9857-6308A2CF3885","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331920$C49CA1C0-9954-4404-9110-36BF37260EF3","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":"Q1331920$61727CC7-1297-4E3F-8596-177E50BEAA13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"506d56ae81e00675dae2f6a53e57de86005c5113","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)90092-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1331920$C852B082-E2C2-429B-96FE-5304D17937A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"facf03d12f64682c28b594a0a6b01d927aca7e7c","datavalue":{"value":"W2051829567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331920$3AC09526-6C2F-4BC3-8FCE-0D3416CA170D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331920$82A94906-8817-43C5-BA09-8716ACEA62AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e24b39445cfca5147dd536f3fae9a40b727db0","datavalue":{"value":{"entity-type":"item","numeric-id":3757915,"id":"Q3757915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331920$249AAA87-6808-4EFA-8B8B-A576EC45B027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331920$E1F64A61-4F07-4A33-973C-76F7D3D954D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331920$3CF1A212-6E47-4F4C-B48C-66013A89A90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a105535a0b4cf840366405592d4900ef990604f","datavalue":{"value":{"entity-type":"item","numeric-id":3882452,"id":"Q3882452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331920$F80400BD-352C-46CD-8294-E4AA9BF6DDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f69e4e3c6e6db6273645f322c23116e1ad1c80","datavalue":{"value":{"entity-type":"item","numeric-id":3343983,"id":"Q3343983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331920$F30B4250-DFD3-4583-9684-FC21241396B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331920$53349AB9-8CA6-409F-9C3D-7C4411FE1A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947f377ca9b6bb3fda91c2ab02f06c0ede20fc8a","datavalue":{"value":{"entity-type":"item","numeric-id":1183580,"id":"Q1183580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331920$66F94406-CEA7-4901-9EE4-E8F7173A4B9E","rank":"normal"},{"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":"Q1331920$51EF04BC-229A-4BC3-B101-7B7DC2A5AF2A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d73ba99f2d33fe3bf472143a97e90261afbd373e","datavalue":{"value":"Q127957012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331920$557F1FDE-D4EB-4DD1-9E70-BD8F967C1009","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bebb7b78ec98a09784f4ed322a7578ba0e41aabf","datavalue":{"value":{"entity-type":"item","numeric-id":4304621,"id":"Q4304621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c6b26a640356d3e194399140acc3b6ac39f5816","datavalue":{"value":{"amount":"+0.8318623900413513","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":"Q1331920$A3E2A3F7-A1D6-4288-8811-D2F4CE32531C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62834154ad2f6609c15d12d58b09650b92f4a7b2","datavalue":{"value":{"entity-type":"item","numeric-id":5096211,"id":"Q5096211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a2fa58357e7a50166f14b17a895281b5bbfacda","datavalue":{"value":{"amount":"+0.771871030330658","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":"Q1331920$470F8FAA-46F1-4763-ABA6-6FAF1659E737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30e180b012ea47dc785fc3662940e4ff286514d6","datavalue":{"value":{"entity-type":"item","numeric-id":4133605,"id":"Q4133605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c5a17c3d89a012adcac3034bd149a37612bc186","datavalue":{"value":{"amount":"+0.7667831778526306","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":"Q1331920$1162ECE3-9BAA-492A-9E5C-38BE785F0C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a8dd623b2765c91675fdfefd6fc0fcca8224f3b","datavalue":{"value":{"entity-type":"item","numeric-id":3655246,"id":"Q3655246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea7723cdb80fa2602bf3497ca4f46414ebc505d","datavalue":{"value":{"amount":"+0.7579436898231506","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":"Q1331920$D30DA5DA-3C08-4964-A51F-A8C94EE213CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Realizability interpretation of generalized inductive definitions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Realizability_interpretation_of_generalized_inductive_definitions"}}}}}