{"entities":{"Q4041554":{"pageid":6071269,"ns":120,"title":"Item:Q4041554","lastrevid":55267411,"modified":"2026-02-05T12:47:50Z","type":"item","id":"Q4041554","labels":{"en":{"language":"en","value":"Sets of theorems with short proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3455236"}},"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":"Q4041554$9FA83A7E-7285-402D-9E68-830A1C31C638","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6d92e7b93f4d1744ea8a4776d7db203adf2bf1c","datavalue":{"value":{"text":"Sets of theorems with short proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4041554$C4A777B7-5AB5-4E3F-916A-BDA078F99195","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac11f5f9e810ecfcf3a1fa436790b16769789c3b","datavalue":{"value":"0291.02021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4041554$97236BC6-F653-483A-A5FF-D98018BFB812","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0491dfb34ed4a0262fc97f5c663eff8e56d256df","datavalue":{"value":"10.2307/2272636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4041554$64C07FDE-5DC9-4E5B-AABE-66EDE2833DD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89fcf94b47556f4aae31cd79b45eaac3c1291c0e","datavalue":{"value":{"entity-type":"item","numeric-id":220805,"id":"Q220805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4041554$A7BC66E9-B9C8-4D81-B175-57105D29B2CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4041554$A32EDF3B-8CFC-4F6B-B754-0C7D553F6080","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4041554$731822DC-4874-460A-89CA-DB5A27B4BB6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4041554$67A51536-28ED-4937-A97A-56371F30B9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4041554$48E69533-8A60-4BA0-A3B2-D880A9A6E5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4041554$D7E1A4E2-C2DF-4D41-86CA-4D929D587BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4041554$298D3E0E-9F6A-4A50-816A-3DA032C0EF7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"817a61c384f1ae2d148b0b0c39205f6b4b1500b6","datavalue":{"value":"3455236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4041554$7E05650D-D2DA-41BB-9FEE-8CD132F55566","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":"Q4041554$60D9435C-42D8-4547-BFE0-486FDAFE5CA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89764c113d942d3fd4350f7da04050a0b8ac44fe","datavalue":{"value":"https://doi.org/10.2307/2272636","type":"string"},"datatype":"url"},"type":"statement","id":"Q4041554$EED89144-DB30-4208-8ED8-95419AACEB54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2c2fe575bd74e0c1115ab90092f70b15c815ceb","datavalue":{"value":"W1965800925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4041554$356C9E75-1E0B-49EA-8941-5C29A3D621BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4041554","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4041554"}}}}}