{"entities":{"Q3333036":{"pageid":3343744,"ns":120,"title":"Item:Q3333036","lastrevid":80449193,"modified":"2026-05-06T16:13:24Z","type":"item","id":"Q3333036","labels":{"en":{"language":"en","value":"A note on a proof of Shepherdson"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3865271"}},"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":"Q3333036$0FA896CE-6534-4656-B3BE-382500C11FB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9527a25b629d1684d87c2fd0ae0acbc92465975","datavalue":{"value":{"text":"A note on a proof of Shepherdson","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3333036$081682DB-02B6-46AB-811E-825FC3C8266F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d85791c0d6300dc26a5c5a4e1ef5032ed151ba6","datavalue":{"value":"0544.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3333036$8497B49E-1CF4-443C-BED0-67E214E0C9FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd96989c75ad0cba1c7019f416dccee978a1ee5b","datavalue":{"value":"10.1007/BF02023012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3333036$8A2095BB-C3B7-42B9-973B-298988762C90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06f8670f6c5140b73699c55863b8f60291a1fc8d","datavalue":{"value":{"entity-type":"item","numeric-id":3333035,"id":"Q3333035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3333036$DA40953A-1D9C-42FA-A70E-DCBDD3A9760C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3333036$4DCAA701-BB83-4ACD-9B9F-6790C20DED58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3333036$47801296-B927-423F-AD18-7CE91C5FBD53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"877f95075e0865eaeb9976f960789a9c60a4862c","datavalue":{"value":"https://eudml.org/doc/138006","type":"string"},"datatype":"url"},"type":"statement","id":"Q3333036$F1DD6511-7311-408C-A018-B6FADA2E4CD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3333036$135F0829-7815-454D-8F2B-45E857C53CE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b3211134dbb878beaceb948feab8b22fa2c1e31","datavalue":{"value":"3865271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3333036$044FE35D-110E-453A-A7B9-4B5860B660AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3333036$B3C8A2C2-B00B-45BA-8F1C-5D9F53EBE0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"495a450a7c3e6e34579caf77ac2f5d0c7190f7f4","datavalue":{"value":"axiom of induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3333036$8CEF0587-C56D-496D-94DC-AF08BA0B082B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbf2e5a42c9e3049b018a0ca62249714065e405a","datavalue":{"value":"open formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q3333036$27AB5A88-A36E-45C1-8930-36AC6C92D7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f948a67d5a240d1ff0ce63767f929bc67cfecb95","datavalue":{"value":"rule of induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3333036$E63D780D-2022-4B84-A895-2F8B78BB939B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04b78eea4990b0a75c08f0d9c871b1dea25a48a4","datavalue":{"value":"open consequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3333036$7125B9B7-3C21-4F8F-9285-AD9218FF8CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97ccf05b4a4a3f96ba8e7854b5babeeddcd79eeb","datavalue":{"value":"syntactic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3333036$EE576B20-260B-49F9-8458-87E53C3A303D","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":"Q3333036$FB22DA7C-DCFD-45A7-B41B-456A459AD7DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6d8b98ef7abe20aef3a6fae3d6e3280104abf14","datavalue":{"value":{"entity-type":"item","numeric-id":4091896,"id":"Q4091896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3333036$DA795516-B5FD-4901-B1E9-659BA6D79040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5721c69a1fea95591b2353c2a947c998df08d0ca","datavalue":{"value":{"entity-type":"item","numeric-id":5582304,"id":"Q5582304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3333036$8F0B6C84-F972-4DFC-A6E1-E7A3BBB460B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3333036$44BF8AFC-6BCA-42DF-B688-17FCACD92859","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7fa2d0d64b4823aa5d23ceb4a6740f3fa14af56","datavalue":{"value":"W1989069466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3333036$294062A4-D4BC-47EC-BD84-5EF234910B4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3652a9f629a8e2e8f9ab22b24e50fa7b03901202","datavalue":{"value":{"entity-type":"item","numeric-id":3819064,"id":"Q3819064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eac7df8618ea0050b128a0545cdcfdb349a4df02","datavalue":{"value":{"amount":"+0.7254688143730164","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":"Q3333036$720AF4AF-A995-4A1E-985A-35A2163150BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92d711bb1035b58430aa57ab03300a2d6d047b1a","datavalue":{"value":{"entity-type":"item","numeric-id":4391078,"id":"Q4391078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab145715288f33655039c349a894214e4f70cfe5","datavalue":{"value":{"amount":"+0.7205639481544495","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":"Q3333036$77265C2F-E9DC-4687-B855-71408E6A85FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a346cc7391b3124b47922db21bccc3493f530ec6","datavalue":{"value":{"entity-type":"item","numeric-id":3483288,"id":"Q3483288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"521a6360863a8a09e92d13fa0a776837c260edc6","datavalue":{"value":{"amount":"+0.7123289108276367","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":"Q3333036$12E0C85F-0AA5-4BA5-9F42-897A7A00B930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4daf52e3bc61acbb2507b45254f144ee7b4f798a","datavalue":{"value":{"entity-type":"item","numeric-id":3690794,"id":"Q3690794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea27626fefd54e7c21fb40505e1bc971ffcc3c00","datavalue":{"value":{"amount":"+0.7099758982658386","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":"Q3333036$5884178F-F8D8-47C6-947A-E7E8D7234780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b221097adb8151741c109487a261e170d2831a0","datavalue":{"value":{"entity-type":"item","numeric-id":2491080,"id":"Q2491080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"464d317d7f4901c0549813bd9507796667fe7e5e","datavalue":{"value":{"amount":"+0.7031341195106506","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":"Q3333036$EFF2D8C6-076D-4FD8-ADCE-315D6673250E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on a proof of Shepherdson","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_a_proof_of_Shepherdson"}}}}}