{"entities":{"Q4647586":{"pageid":6677167,"ns":120,"title":"Item:Q4647586","lastrevid":36462009,"modified":"2024-07-17T19:54:35Z","type":"item","id":"Q4647586","labels":{"en":{"language":"en","value":"Organization and development of a constructive axiomatization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7002059"}},"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":"Q4647586$CFC66868-4BCA-4299-A4E7-6F6A16791BE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"094d94acad35781d6fdd36876ccb6e82b8313f3b","datavalue":{"value":{"text":"Organization and development of a constructive axiomatization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647586$820ED198-A3CE-46AF-8F98-40B025307DA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"853fabd587067f347ee5abe693ae856e3243f949","datavalue":{"value":"1434.03145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647586$2770C038-AD6E-43E4-837A-57C200168E39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b3bb354844f6e21e240c31582665353f43c9092","datavalue":{"value":"10.1007/3-540-61780-9_76","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647586$789E7421-3274-48EB-8883-AF4FF9394697","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cc8bf89138092366dba76fbdf018c3e853b377d","datavalue":{"value":{"entity-type":"item","numeric-id":167888,"id":"Q167888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647586$FD06F06A-4852-4C06-BD80-A07059706D7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647586$C6452F6F-3053-4018-B8EA-730A3786A47D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647586$D84E92AA-89BB-4E11-A8D4-137123CABBED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647586$4EAB9F14-5157-46B2-BC37-9EC5B29E0B05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d539e37a4d9872c4340fd42be43ffb94e1710317","datavalue":{"value":"7002059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647586$259FE16C-E3D4-467F-B147-F9C9B9A947AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647586$11AFDC1F-D22F-4F53-8814-05244714F308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6a698c902b0b302313f39d985bb7e7d01e1f795","datavalue":{"value":"constructive theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647586$05359D37-0CD6-43AC-A2BF-45A594742BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"415c9e6603aa414c9b61ba2ae30ecbfc0f4a93d3","datavalue":{"value":"double negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647586$79966CC4-6756-4AF3-8933-B83A3B69ABB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b523228970873fcb2e73ce6f2382ed2b634458","datavalue":{"value":"weak order","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647586$AA0CD236-4EDF-4C0C-A6A3-FAE1F7FE3065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647586$39767C0E-D24B-428F-B379-D7514C97B831","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":"Q4647586$0AF9DF61-94A8-4C1A-A8B2-8BE8D2079D63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e685c09c008fa2594d99ad6942a215a66b3afc7","datavalue":{"value":"https://doi.org/10.1007/3-540-61780-9_76","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647586$4631980E-E08E-4E14-8A4D-87008761CCC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc26e318a7b181896e1ddff1b458ca911dd6d093","datavalue":{"value":"W1607769879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647586$1DDD22DB-759D-4692-AA25-8AF0A6A4C6DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647586$6D7F1577-28C1-483A-B6E8-08C008DFB4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f7436b1989c3f88332b3b762a72e0850b22d045","datavalue":{"value":{"entity-type":"item","numeric-id":3835453,"id":"Q3835453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647586$3C9BA230-7A25-4A1C-B4C9-35BE131DDD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fa0346ce77feb0c5f8a5e29e74eda9b002c7f30","datavalue":{"value":{"entity-type":"item","numeric-id":3268310,"id":"Q3268310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647586$074C5BD5-ED50-41A8-BB6F-429BD91854E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3541189dbca4e0105c0a9c876ec92d5ddebd0d42","datavalue":{"value":{"entity-type":"item","numeric-id":1902978,"id":"Q1902978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647586$615826C8-6DC6-4860-9D2C-D95774C1D347","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647586","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647586"}}}}}