{"entities":{"Q4182745":{"pageid":6212346,"ns":120,"title":"Item:Q4182745","lastrevid":28404663,"modified":"2024-03-05T13:37:54Z","type":"item","id":"Q4182745","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3618140"}},"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":"Q4182745$45638DE5-A497-4A67-99A2-D84A0C7CC168","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49f07cdd7076347bab23b2c76f0bb9f4ae2d3815","datavalue":{"value":"0398.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182745$B917B63B-386F-4619-914C-50BB438596A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"788338545ab8e0732c206b204a46e3ca54276507","datavalue":{"value":{"entity-type":"item","numeric-id":3346305,"id":"Q3346305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4182745$B973BEDE-D17F-4894-9FEE-728EF94920CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q4182745$3F516229-5073-41DD-9DB3-7F4566B020A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182745$5D99DBD3-6779-4CF8-A013-F4C824F23C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182745$947E86FE-FFA3-4BE5-926A-3F0DC5B04E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182745$4DEAFBBC-BEF5-4633-92F0-40FF741E2532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182745$7AB5BB96-08E0-4A51-B11D-56E3B7971C3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0952f53ab18c2f9159fd3ad0a0f5a32cdf9c5417","datavalue":{"value":"3618140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182745$C6F27705-5D30-4F88-AC11-727A9A924F9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1931e8922ed746fa481cd589b152ca6eb01aef","datavalue":{"value":"Constructive Universes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182745$F0AA3369-C090-4275-B2CC-98D90FAE0E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8efe26482680e2a75d2b8e6d7f5376918525b000","datavalue":{"value":"Proof-Theoretic Ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182745$11E885C6-3254-4D12-952A-38D6C9CEE16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8b812cba1d3e58a4a56d022cbfa90469629807e","datavalue":{"value":"Type Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182745$A791F921-3300-4426-8C05-EDA2F067D67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c106348dccb24f8716da51986487bc2ba3470ac","datavalue":{"value":"Skolem Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182745$9C912690-DE32-4A91-AEDE-5584EE52375B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84aa1c5ede9871593197f6f9c2072b4d0f12a67e","datavalue":{"value":"Metamathematics of Constructive Systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182745$60838346-0979-4012-9F19-BB70E55C9DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0481679c0d684d641921e1d1824086d509c0bde1","datavalue":{"value":"Philosophical","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182745$CD6C25B5-65DF-4F92-A5D6-A7577038742A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3724af35762637cf6b9ca07645897894dd04f18","datavalue":{"value":"Transfinite Induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182745$23F7411C-8793-411B-B6BE-23C1AA1E637B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e4fe85b32062f70a7af9e8c3724831520e88c7d","datavalue":{"value":"Primitive Recursive Predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182745$967E1825-0991-4A15-802B-D2305F659B2C","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":"Q4182745$7A4EC4D9-CD69-44B5-B4EF-335A451AA8F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4182745","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4182745"}}}}}