{"entities":{"Q4437809":{"pageid":6467408,"ns":120,"title":"Item:Q4437809","lastrevid":41273331,"modified":"2025-04-27T17:40:58Z","type":"item","id":"Q4437809","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2012391"}},"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":"Q4437809$3147A6F9-179C-48CE-8CB4-B89E2D55B8A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c73e27e4aba2b82217afab2f4dfa342744f1cd0","datavalue":{"value":"1028.03509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4437809$65E13B86-A098-4993-A570-384B35CBEFF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4437809$BBB64AB0-1A0C-470F-94EE-3A431FF50A3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2ef41d2eac082648bb766843479bf59c8678a9c","datavalue":{"value":{"time":"+2003-12-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":"Q4437809$EC95FC40-7600-49E3-856D-0DC6F36423BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4437809$FEAABCEE-F767-4E7C-B15D-F535CE402A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4437809$140C6929-337F-463D-A97A-1E39DF277AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4437809$384DA244-B554-4E5C-B3F3-6313A5B98B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4437809$657FA1FA-DF3E-4C23-B2B6-70C236CDC15F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e76346abdf7bdd82892edf3f5c4cf7fe04a19e16","datavalue":{"value":"2012391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4437809$3F53B805-2339-4DDF-8EC5-FBDD39F33E15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c379824c49b260a7ccab0ce4bf33b0a471961cd","datavalue":{"value":"G\u00f6del-L\u00f6b logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4437809$F270ADD1-04B0-4E04-B637-F3B21186213E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4437809$9EBB3D75-715D-4977-A551-32BC8AC0DA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeac0ae93b70af3d99246c4cf79ae4a7f369e696","datavalue":{"value":"Prolog program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4437809$BD238A50-2BF6-414E-96D3-55A91F0F09BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f5b38fb2a74b9d769b35f0082d509945130efd","datavalue":{"value":"fixpoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4437809$B4C31D50-3452-447F-A717-99C961E0C41F","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":"Q4437809$3381227D-0161-438F-ACE1-66E567A602A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a6133b7cda909a7ac86ced1733a811c43463859","datavalue":{"value":{"entity-type":"item","numeric-id":3464650,"id":"Q3464650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e8c8a46f6b439a8909188f0a4baa9e2fe01c619","datavalue":{"value":{"amount":"+0.8802753","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4437809$738DF400-F6A1-408F-9AD8-0BF790E12633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e21703316029a48f680ce4628a2ccc610d2a76","datavalue":{"value":{"entity-type":"item","numeric-id":1924787,"id":"Q1924787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1077957e25dcfefce567e0f65b225d9b5ea2bbe9","datavalue":{"value":{"amount":"+0.8520835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4437809$8D2FFFDE-CA7B-42A4-9331-F0AD7057B201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e707c12fcbb87f94769167fa7baf7550858bd7b9","datavalue":{"value":{"entity-type":"item","numeric-id":1346924,"id":"Q1346924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"138f2d13ef8e8707055eafa75331e7c5f6d68363","datavalue":{"value":{"amount":"+0.8492992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4437809$33F8DE4E-2E79-412E-8802-695612109FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a604b87fb7ef94b032b4b96941ce0b8264da896","datavalue":{"value":{"entity-type":"item","numeric-id":1823657,"id":"Q1823657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5705aae53b3ad2cebf8e6fce922576e98d8ab0e","datavalue":{"value":{"amount":"+0.84372014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4437809$FC428A2F-D69A-42B9-B57B-254DDD3616FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e03c0799c06483a4ed26a0db5e891d777d2b8b0","datavalue":{"value":{"entity-type":"item","numeric-id":1110495,"id":"Q1110495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d0dea2eb13b63e6691315e4c06703c778871041","datavalue":{"value":{"amount":"+0.843271","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4437809$697C3962-3542-45A5-9794-12C0EE9BEA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d1cf6f997f5d1f24369f506178cdf72861ead29","datavalue":{"value":{"entity-type":"item","numeric-id":1376090,"id":"Q1376090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"486bf88bfd489b19608a6761452ba4cf564dcad9","datavalue":{"value":{"amount":"+0.8427361","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4437809$74458987-80E4-4530-A597-41BA42363310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1841e97141e7332e1e0bbfd8f844ff768263ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3097869,"id":"Q3097869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec53773ebae90f87bf2de25d5154a46ba0d87a6","datavalue":{"value":{"amount":"+0.8418023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4437809$7DE5EBF4-9EF1-4FDA-9AE8-4C7831ABAAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fbd44ee1b1b98426b864ded865dd19c5f484468","datavalue":{"value":{"entity-type":"item","numeric-id":2957859,"id":"Q2957859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25606fe82cb05d9fbe939aebf53f4407862eff09","datavalue":{"value":{"amount":"+0.8403342","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4437809$9C7DA0DD-3143-466C-AC13-C42E324C0D04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4437809","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4437809"}}}}}