{"entities":{"Q4397034":{"pageid":6426633,"ns":120,"title":"Item:Q4397034","lastrevid":46567173,"modified":"2025-12-25T01:23:00Z","type":"item","id":"Q4397034","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1169382"}},"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":"Q4397034$8D7F7C90-FEF7-407F-B7A2-93ACFA675EED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"831998e64532d861a3be9d6cda3de7417aafd1fa","datavalue":{"value":"0896.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4397034$0A5BAB63-1BC2-45FA-B480-1E03AD8C8C06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee706b3c2af5a99685d8000cec2ff462d2090be5","datavalue":{"value":{"entity-type":"item","numeric-id":1182689,"id":"Q1182689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4397034$28BFA723-8899-492C-B5FB-23549B4E9D37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d52ac3468168b6d57078b674dd0db9d8701d0f12","datavalue":{"value":{"time":"+1998-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4397034$9B2457A9-EC71-4583-B6F2-E9DAFE97A512","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4397034$94D9502A-2C24-476B-ACD7-4399A5229B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4397034$C7769121-9739-4214-BD1A-AA8E2839C82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4397034$9D0E2070-7B33-4973-9A29-DD417A4ACAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4397034$DA9B2B11-944C-4976-B3D4-373C6AB97BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4397034$39288F46-512A-411F-8F11-890E650D98B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fae44a280c664b80bce6c00b51364cc3c37de69e","datavalue":{"value":"1169382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4397034$09D5A7F4-FE53-4109-9615-BD48BBDF314E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4397034$449B9BD4-04EA-469C-BA15-8CD640915F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"053d26ae3da6f48b735de037468e045cda222acc","datavalue":{"value":"Heyting's predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4397034$ACF8957A-759D-45E1-8EB4-EA2DFACCC726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4397034$F27F0C09-B94C-4E3D-85A2-A132A8B48C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e53aa526fec1730a8db10c3dc293ea4a18f08e5","datavalue":{"value":"Markov's rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4397034$16E432D7-2AC4-45D3-940C-49377F122641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b86423b5686667f7394bb6da25ec5323abb4a73","datavalue":{"value":"Church's thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4397034$5EB4517D-E844-46B3-A42C-C8E36930E388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3400fd9f9629a0c20ba5baca349a5314c4e3fdf","datavalue":{"value":"intuitionistic incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4397034$9D3574D3-8DA4-49A3-BB33-5CBF9691E6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dbc3adbc1a3d818f58c82ea32f370536bc34dfa","datavalue":{"value":"lawless sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4397034$A71306D7-C938-4694-843D-F0F6B139407C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3770fd5b77bacdd0657ec0c57ee5d79fbc28ae6","datavalue":{"value":"topological models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4397034$A88C09DD-01E5-4422-8BAF-D43E7DEF581E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4397034$70A34256-8633-4689-9E5E-931B9F5D81D3","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":"Q4397034$B4572D1C-7917-4682-A9EF-68E5EE958C9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcbccae06c8006755b7d9c5e9a2ca64089e33274","datavalue":{"value":{"entity-type":"item","numeric-id":1815411,"id":"Q1815411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f27bd54999aaeb0759e5e72eb0c4d3e6ab009bc9","datavalue":{"value":{"amount":"+0.8673385977745056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4397034$017AE8DA-FE24-484B-9FBE-FC95EE344693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bda8203e90c35ad1cc66854ea0db74d933291f4","datavalue":{"value":{"entity-type":"item","numeric-id":5502819,"id":"Q5502819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc0f83147dd072f22e4e303f3a0b5a0194ab31c4","datavalue":{"value":{"amount":"+0.8586024045944214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4397034$DF10FB33-826C-470E-B4CB-8698A7682A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31117c76180899df74b289eb6c213a64bb708faa","datavalue":{"value":{"entity-type":"item","numeric-id":1333319,"id":"Q1333319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ce4969423ed967d1f6118ff0a55bf0781011c7","datavalue":{"value":{"amount":"+0.8376293182373047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4397034$F0FABF71-6DFB-445F-95DE-93E1962B5CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1cf0092b223699992e363dfeb119325463eb344","datavalue":{"value":{"entity-type":"item","numeric-id":708927,"id":"Q708927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c131405f19824b4c9bb0ad7f1174e84771e6988","datavalue":{"value":{"amount":"+0.8258103132247925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4397034$268E74FD-EC79-4E7F-9F37-BBB19BF72B68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4397034","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4397034"}}}}}