{"entities":{"Q3947105":{"pageid":5977010,"ns":120,"title":"Item:Q3947105","lastrevid":55064473,"modified":"2026-02-03T07:54:09Z","type":"item","id":"Q3947105","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3765117"}},"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":"Q3947105$241320F6-3D6E-4743-B76E-A9F310F0C8E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0201f770774e1767a316f880373f20de9c4218a3","datavalue":{"value":"0486.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947105$A752DF44-C281-455D-811D-977280C7AB7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b456eca97fafb1433d85c58dba82fee4a5004ff","datavalue":{"value":{"entity-type":"item","numeric-id":801683,"id":"Q801683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947105$752A8D1E-E59B-486F-A73A-CEDEE02459F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3947105$75207750-79C3-4C2F-B3A8-663651EFC5B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947105$773A33DA-A973-46D8-86F1-56E271F8B984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947105$DFD55B64-3DE9-4323-97B1-B0E3FD550230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947105$B7A111B9-D57E-4CAE-B82A-DAC9AD098DCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79153ab7fa57b6b59fdef7bdea2ab07aefb78ca4","datavalue":{"value":"3765117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947105$B7AB8965-5720-4835-97FE-8973F5590B76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffa0c3289e258a19de6332c67476e528f8f33f0f","datavalue":{"value":"complete proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947105$F06F4282-DC0F-473B-B0A2-BAF9F5249FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"016a619848fd5b7dc99301b9d73980544639b371","datavalue":{"value":"Hanf number","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947105$C8FDDCD3-AF82-452A-A05E-534616BE5A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5cb5b54a3a08e256bbb0215c92de493a4b5803e","datavalue":{"value":"program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947105$BD753CB4-0101-452F-B0EB-C577E8C77E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947105$14984C79-5384-4338-9028-A6E204C534DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2bae47c881fc39ccc087d89fd2743b61171ad9e","datavalue":{"value":"algorithmic processes in abstract structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947105$80B53098-A2B6-4F1E-8955-D0CB5F7BA645","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":"Q3947105$AAF88CC8-4B37-4142-8BE3-4D5BCF0A4B20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3947105","badges":[]}}}}}