{"entities":{"Q4939409":{"pageid":6968991,"ns":120,"title":"Item:Q4939409","lastrevid":41910839,"modified":"2025-05-14T16:02:11Z","type":"item","id":"Q4939409","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1406469"}},"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":"Q4939409$68363015-D7A4-46A9-8574-A1F571E895AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c262c8a062dfc39bb95cba1219e1ced8d2e6692","datavalue":{"value":"0939.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939409$A44EC5E3-2EC4-4D85-A20A-749DAB2A5024","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64c5e93c8542516a588e5c718357172e4a4b9108","datavalue":{"value":{"entity-type":"item","numeric-id":220748,"id":"Q220748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939409$BE20E6A7-FA39-437B-8F9A-6572416A4F72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be5ba67ef43776cb1ea5c3063837b367d1caf4b","datavalue":{"value":{"time":"+2000-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4939409$43C1A2A9-37F9-48BC-90A2-F9C118CC9425","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939409$37736E5A-675A-4693-8F28-FE3A652C6A44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e99577f75668c3b74e7463a210ea8b7dc7fe66ba","datavalue":{"value":"1406469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939409$13FE97E5-E6EA-4D5B-A385-CF2219236464","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939409$E4677E87-70ED-43A1-88BA-16730347C7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939409$0EC68633-77D3-4094-AC45-2890A65078F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939409$45EBF450-5B77-4B48-A14B-14CEDE68D012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86883f625eb9ea1d0f9d5e4e00110dbc1e213e44","datavalue":{"value":"conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939409$A9F3CF38-0745-40C5-AFF0-D60A370DD252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9043834bc33aaa4d085a12185cc25716f3b76af8","datavalue":{"value":"variant of the G\u00f6del-Gentzen-negative translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939409$454B53FF-2CCB-47A4-BB4C-9D95DD68AB58","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":"Q4939409$381DDD5F-CFA1-4ACE-8B03-BC9506D652E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cb9d0a196a117cb577af5c3175b6d8f4bcc229b","datavalue":{"value":"10.1002/(SICI)1521-3870(200001)46:1%3C135::AID-MALQ135%3E3.0.CO;2-R","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939409$96BE31D2-3841-4534-9765-C6F3A8ECDFDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4939409","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4939409"}}}}}