{"entities":{"Q4733861":{"pageid":6763438,"ns":120,"title":"Item:Q4733861","lastrevid":28876188,"modified":"2024-03-05T16:09:00Z","type":"item","id":"Q4733861","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4120164"}},"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":"Q4733861$48122AB6-5F80-4E2C-9878-1B96C4C9A9C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f687c0e1d7ee38b54715abf39c717cbade61dbba","datavalue":{"value":"0684.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733861$38354CCA-F22A-4124-B2C7-6EB51B682490","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q4733861$CB1473EC-EE34-4F20-9E09-77DDBEC2EA59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733861$1F375DCA-573C-4DC6-9CC9-B4D8458E8548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733861$BA5A916F-E3C3-428C-BDA4-11D6C03B10E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d771f75680bb462343fb2e27cb3c53e3749dab13","datavalue":{"value":"4120164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733861$778EA452-F69B-488A-8CCD-952ACFCAF781","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733861$38EDD97C-12EE-4969-BA4C-981755D0CEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c971c1567f0160c0bcef1db0c1d6c6136645c9f","datavalue":{"value":"type-free logical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733861$D0117311-EF75-4DE1-9879-9C7031450B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733861$B477175D-D219-480D-BB6C-F25A8CAADC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b18ab24112d3efadc5fd5988362b87352e2fa598","datavalue":{"value":"computer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733861$991E9C3D-21EE-4450-9720-D8C636E2C454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733861$77DD0D6E-6C88-4D58-9D25-987590C55E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733861$A84796FA-1178-4989-B91A-EA8FF0C19804","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bce2cc6380726fb10d79b2328ed8cc6bcf2ac9d3","datavalue":{"value":{"entity-type":"item","numeric-id":1224088,"id":"Q1224088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733861$50544745-8F33-4969-AEE4-44A5A8DCEF68","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":"Q4733861$0A2314E7-C883-4D41-95F5-D4A4BDAB6125","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4733861","badges":[]}}}}}