{"entities":{"Q3035279":{"pageid":3045995,"ns":120,"title":"Item:Q3035279","lastrevid":49350160,"modified":"2026-01-07T00:26:52Z","type":"item","id":"Q3035279","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4134038"}},"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":"Q3035279$34C2A4A1-385B-4F41-ABC0-B22CAD8BE83B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bc8966a88fdd5eee937f8563358f69a4e7bfada","datavalue":{"value":"0693.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3035279$EE60C62B-0105-4744-A8D8-4AEF978596BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34cb696ce5008e0ad8b0b39e02b98fb8b38cd33a","datavalue":{"value":{"entity-type":"item","numeric-id":194997,"id":"Q194997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3035279$EA2DA391-F75C-43DF-8F39-105364959375","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3035279$1BAA4FA1-5B44-4894-886A-5AF0EF6398D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3035279$2DC21C8B-D087-4CBB-B70F-68A6677F9391","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdc5bfdd2e452319788bdce422dc3a6dcac01b4c","datavalue":{"value":"4134038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3035279$A481E637-FB4A-4AD5-86B8-838E1BFC57CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"412978e917aa6faab6974f8754d702b872c51bd4","datavalue":{"value":"second order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3035279$94646B02-B244-428D-812A-08E82DDABF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4c95942ab172c120cf5c0a061ffa7c68c666aad","datavalue":{"value":"partial combinatory algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3035279$32ACC244-2379-49A6-A453-389114F7ECBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca349b7534ee4c6daef46219f1870f6141cd3cfb","datavalue":{"value":"induction principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q3035279$669E495D-B082-4EF0-9F9C-28B9AC133204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3035279$BB1DEED2-AE16-4087-B837-B4F640757AC4","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":"Q3035279$34AEE61D-5BB9-4A85-B5D7-EFA9BD00DF05","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":"Q3035279$9E141611-44AA-4C3D-8AD0-C3CB7A307033","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c4e0b458245bda34b9dc51ed71cd4994ea274ad","datavalue":{"value":{"entity-type":"item","numeric-id":3749047,"id":"Q3749047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e71402f7d6fea778f94371d0ced775e0ccc2f923","datavalue":{"value":{"amount":"+0.7331937551498413","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":"Q3035279$F2CE5425-8F0A-4E97-A5AC-25DAEE41CA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ce84887953fea95566a05af0f9ca26fd3351445","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4525239a8fe83035a43bfa175b7b9ca90d50bf3c","datavalue":{"value":{"amount":"+0.7262155413627625","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":"Q3035279$CD0A0EB7-47F2-4031-9087-E810644BF290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0bc1f4262c020a297002138e11c4f957db4662a","datavalue":{"value":{"entity-type":"item","numeric-id":688729,"id":"Q688729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe76b1a829f1acd6ee89fe6d7b33c32fcf44429","datavalue":{"value":{"amount":"+0.7229637503623962","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":"Q3035279$18A16061-6DA3-4F05-813D-3F6D5C9670D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45ac39f5da7b728237809db3a4cfec9fad35c828","datavalue":{"value":{"entity-type":"item","numeric-id":4283245,"id":"Q4283245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c415c307a8308a484a93d04ca589f3135ffce5e6","datavalue":{"value":{"amount":"+0.7119744420051575","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":"Q3035279$F32D26D4-63B6-422A-A3C2-EBC33FD13909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8521e873a9ede93d7d82c0b6f388184c11eee487","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9056299c3e0dc2a68701a1c25c50940d727d178","datavalue":{"value":{"amount":"+0.711816668510437","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":"Q3035279$5F6456E7-9E27-4507-B6B9-16BBF302A633","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3035279","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3035279"}}}}}