{"entities":{"Q4247688":{"pageid":6277289,"ns":120,"title":"Item:Q4247688","lastrevid":46834515,"modified":"2025-12-25T16:47:44Z","type":"item","id":"Q4247688","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302386"}},"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":"Q4247688$A17F5A29-CAB2-418C-94A3-B07E616C6C44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fbc359d35219f400410be670a076a789d36f7df","datavalue":{"value":"0929.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247688$20B86CC2-B953-42A7-B7AE-27E11442ECAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1de89ec25b2739a33ea35ccde523068418844d1","datavalue":{"value":{"entity-type":"item","numeric-id":1277342,"id":"Q1277342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247688$F8864913-AA5A-4D3B-91D8-7DE312F9F8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bab389976986f970f2e5f82d3fb7533f611db58","datavalue":{"value":{"entity-type":"item","numeric-id":1124374,"id":"Q1124374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247688$6FD1FCA9-C3D2-4112-9D26-6C36AA9D46A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"49ed9b20a01c8d820e525b1531e507137ac7e4fc","datavalue":{"value":{"time":"+2000-01-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":"Q4247688$5353A691-ACF1-4027-937D-1535FFBA27B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247688$A760E147-B447-4489-A1DC-821EA4C723EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247688$6AA44869-FDB3-4A60-B306-D6FCCF2A8DDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c240ffb1e885ede9450086c698e2729f09ae53cc","datavalue":{"value":"1302386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247688$6C12DDD8-29CE-48DA-B6B2-191B2E18A3E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dd57c0e44e59695a5e98877dfc22e5b8194e7d3","datavalue":{"value":"knowledge-based approach for proof construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247688$54A7E712-6AE2-4934-9847-462B16D686D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e4c0bee2c94fa07bf441e7b5a0aa06409254e6d","datavalue":{"value":"diagonalization proof technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247688$3CB5A72D-2DEE-45FD-B923-FAF69F3875F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43893d5d64746664e118f56a0c06a6724f1206d0","datavalue":{"value":"unsolvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247688$DD7B7115-BC90-4374-A5DA-BBDF8BEE97EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e925d21691ae524cbfb2c7846fe00986c22417c","datavalue":{"value":"proof planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247688$0416A9D8-6980-4D31-8154-E7CEB927268E","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":"Q4247688$937B0672-94D2-49A5-AB1A-1420A49C70DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49984ec7576a18eb22a8703f52af3c27e9428260","datavalue":{"value":{"entity-type":"item","numeric-id":5437773,"id":"Q5437773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f3e2c4581a21d5afe469a337126b15687fa90a3","datavalue":{"value":{"amount":"+0.7223069667816162","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":"Q4247688$D8D584EA-F23F-4987-95D2-15B9C17C6A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf7a5a8fd726eba63d9d6c53590c0e6963f627ff","datavalue":{"value":{"entity-type":"item","numeric-id":2730836,"id":"Q2730836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"647cde8cd9ba6273db103fa2f172499b36dfd30b","datavalue":{"value":{"amount":"+0.7196826338768005","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":"Q4247688$5E66BC6C-A02F-482A-862B-E643FDBE3AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe360a6e5e30503c21cd5d94de528a82f553af1","datavalue":{"value":{"entity-type":"item","numeric-id":4530469,"id":"Q4530469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b3431d27cb9a33457c65091f9e47ff1b0b3828","datavalue":{"value":{"amount":"+0.7165601253509521","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":"Q4247688$E64D2072-7B4C-4C66-BBBA-0C0E682E2FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee0964a5275599a72f3017facf35f85d11f87276","datavalue":{"value":{"entity-type":"item","numeric-id":1346214,"id":"Q1346214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5adfc5b3f87080a1d5e5ae76a70e0b3c9cd08a65","datavalue":{"value":{"amount":"+0.7162226438522339","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":"Q4247688$BF01A684-1FA1-4A2B-8E65-BB6FF715818C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247688","badges":[]}}}}}