{"entities":{"Q5493758":{"pageid":7523318,"ns":120,"title":"Item:Q5493758","lastrevid":49944049,"modified":"2026-01-12T05:26:25Z","type":"item","id":"Q5493758","labels":{"en":{"language":"en","value":"Computability, proof, and open-texture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5064405"}},"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":"Q5493758$6C2E3F05-190B-4166-A8FD-39D232D44F09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0074c3bfa5071547c5db394bf6e6cce2cd834f43","datavalue":{"value":"1105.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5493758$B34C3EF5-2946-46C8-8A91-4C0DE4AC2D3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9d4209135bf481b154ab5d0a5e11f6fc027d3b4","datavalue":{"value":{"entity-type":"item","numeric-id":218490,"id":"Q218490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5493758$99928BDB-A638-4011-BCB6-B031EF0FFBB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36b61222e6662b6e0a1be4caad9cdbe2627f3c2f","datavalue":{"value":{"time":"+2006-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5493758$3A066060-AD46-4B86-AD37-5541AF501A1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5493758$F363F24D-D048-4615-BCE6-A88C49B76476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5493758$5285E54E-2D11-461C-9A23-BF2860892CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5493758$387F5668-7854-4D6C-BA15-CC88688CA6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5493758$04F23BEE-0179-4499-96C4-1C1D237BCBE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eae2f97c606338a53ddc8d67da60309f931eb3e4","datavalue":{"value":"5064405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5493758$C4026EF8-FE11-41CB-A976-962E3E3F4A26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b86423b5686667f7394bb6da25ec5323abb4a73","datavalue":{"value":"Church's thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5493758$E7661361-3E30-4C98-A62F-1DF5FF11747D","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":"Q5493758$AD6C7D23-FA81-43D5-BE29-6902C15708DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0cc771237c33ec58c6829eca317049aef183914","datavalue":{"value":{"entity-type":"item","numeric-id":2701936,"id":"Q2701936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d90d9aa4fc3519188c13ba04837486c19eb10b9a","datavalue":{"value":{"amount":"+0.8090090155601501","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":"Q5493758$62E3D6C1-91FE-422F-98CF-126F454EF111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"205ba428240be71e94d36f3d6ac4910a847b7488","datavalue":{"value":{"entity-type":"item","numeric-id":4397032,"id":"Q4397032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d90d9aa4fc3519188c13ba04837486c19eb10b9a","datavalue":{"value":{"amount":"+0.8090090155601501","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":"Q5493758$9998E92D-B662-42CA-B009-84880F651DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6ac4fa9240c052e894ddf6ae1731712be724738","datavalue":{"value":{"entity-type":"item","numeric-id":2997664,"id":"Q2997664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aefc867003073f6c51203c599c2a6c3ea71824ab","datavalue":{"value":{"amount":"+0.8060422539710999","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":"Q5493758$457FD9E1-56FF-4264-9E73-C83CE5D8D1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983e49f6d5482e2e90ee26b0c6097e59c543b060","datavalue":{"value":{"entity-type":"item","numeric-id":5445169,"id":"Q5445169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7448dd568599e5a8a7846628e61c935c4853361","datavalue":{"value":{"amount":"+0.8058571815490723","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":"Q5493758$1DDB1FC3-0984-49D2-9A65-289A8006FD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7235b045ca6665d53ad7de280a709555661fc8b","datavalue":{"value":{"entity-type":"item","numeric-id":5717072,"id":"Q5717072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01ffc32481ada5a2ed965f954661cf9dade16d74","datavalue":{"value":{"amount":"+0.8042160868644714","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":"Q5493758$0C94D275-9F77-4931-A001-3B87147FF8A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5493758","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5493758"}}}}}