{"entities":{"Q4982054":{"pageid":7011632,"ns":120,"title":"Item:Q4982054","lastrevid":52231259,"modified":"2026-01-21T05:18:44Z","type":"item","id":"Q4982054","labels":{"en":{"language":"en","value":"Definite descriptions and Dijkstra's odd powers of odd integers problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6418428"}},"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":"Q4982054$67A814E5-F457-47D0-9D50-76D81F759062","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc61a0cc3b29ef5146eedc52c5ebfb9f2198f4ff","datavalue":{"value":{"text":"Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982054$0FDCBC43-C0E1-4012-8B34-278814DD2E1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96273a93aee9af8de4b0aad38c756fa94f23f34d","datavalue":{"value":"1336.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982054$688F503C-DBC6-47A9-8E4D-B707FB20B73E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce266bf2569d1dd651e32afd583ccc62f59ae878","datavalue":{"value":{"entity-type":"item","numeric-id":4982053,"id":"Q4982053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982054$86EE780D-7B33-4252-A8CE-A544D17CF4A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982054$DA083D02-412C-4414-A039-C8D2231393AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"809666719f9ff28a4fe4775444803d2f896fa4e9","datavalue":{"value":{"time":"+2015-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4982054$98AE4E0D-0307-42B9-A46B-4378B0F1B8B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982054$123E8181-805A-4C02-9848-B3D8AC3E79DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982054$4E6429AD-C9E7-44FB-9686-FC94D5A762AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982054$17B76254-DE1B-4C60-9031-D940933B6531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982054$AE5F6C85-C25C-4276-9CDD-86EAB1AB39A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb48308239c117f57e855491a8553d0f2d3cfef9","datavalue":{"value":"6418428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982054$08D103AE-6790-432D-93D0-C9B4E2476A08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"098f7151ee69710a3b55c2a70241e837da14cf19","datavalue":{"value":"definite descriptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982054$8F63645A-7C5D-45C0-87F5-504CFC0E6618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982054$CE77B68A-F65D-4959-B7C8-FE28631AC452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929e026e26211c638e0e626dd465559c0f18106c","datavalue":{"value":"assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982054$01310B6D-4833-40E7-9BE9-55AC460E9E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca9b1033b4524a6757892752b1ae1272e32b02","datavalue":{"value":"partial and total correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982054$EEC11152-DB4A-4F84-908C-00D1827D4A34","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a5699a860dd7dc9c732976be3ba437fb61ff7dd","datavalue":{"value":{"entity-type":"item","numeric-id":19322,"id":"Q19322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982054$AF35E0E9-2891-4737-AA16-A8BFB987DE50","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":"Q4982054$B7F38380-4030-4B7A-A8AB-F30C5979E2DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e7e36592eccb68c08295bfb3a2862532effabbc","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.12.068","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982054$367DDBFC-7961-4CD7-BBB2-4A0861AF33FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0dbf53ba83e28d2ec0c19c31d262afbdc336e31","datavalue":{"value":"W2092486320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982054$C93E75FF-8E59-4B27-887A-8F1B553AB51B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db9d2242f0fd2ec014c00512ab7a08c517d1260b","datavalue":{"value":{"entity-type":"item","numeric-id":3782766,"id":"Q3782766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982054$659C1483-4A8A-4281-8468-2260266184A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"863a127586276e0c1d71b3d8d3303d158e919653","datavalue":{"value":{"entity-type":"item","numeric-id":3922137,"id":"Q3922137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982054$69EC2EB6-A484-420F-A060-8E96D2DF3D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982054$25477BD3-961C-448D-A6E8-3CF27555AB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9143b9caec2c35ed69b6720f87afb357eeeb92","datavalue":{"value":{"entity-type":"item","numeric-id":3962450,"id":"Q3962450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982054$940FA090-4EDA-4CD6-B7B8-0ACD3643B9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982054$F27407FC-7C20-4159-8063-C6857F21FF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b26b52e432dbd456c2997e91926441e72642f519","datavalue":{"value":{"entity-type":"item","numeric-id":3206282,"id":"Q3206282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982054$9170F568-8A76-4688-8F58-B1FC4177CFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8576dc8df0d7857399ab718724b601efc6d9d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3996918,"id":"Q3996918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982054$8E964379-F4CE-4B4F-AB42-9CF50D0AEEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35614b8b4ded8c7ce96c11809c80a2e2a48dde45","datavalue":{"value":{"entity-type":"item","numeric-id":5588619,"id":"Q5588619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982054$1E194656-8A65-4F78-8C27-342BAD19ED41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8b6a0964797d3a42789ee6f11f6964f0e51f52f","datavalue":{"value":"10.1016/J.ENTCS.2008.12.068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982054$1BAA565F-E161-4E0C-B9F9-FD2885A3F488","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb16c7175f4c38f5884800ed4e9ccd177b6a2e2","datavalue":{"value":{"entity-type":"item","numeric-id":5141787,"id":"Q5141787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c33facbbfdf3203d1824ef9321cdb2c0673f41c","datavalue":{"value":{"amount":"+0.6918542981147766","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":"Q4982054$EFF1837D-0C97-44D7-A291-1EBF2E28C196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89e1110c715fd7eb83db24aca9faa5abc83ce3f4","datavalue":{"value":{"entity-type":"item","numeric-id":3766810,"id":"Q3766810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"649ed1d670f2ba549ef3443a915ad9209150b557","datavalue":{"value":{"amount":"+0.6716205477714539","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":"Q4982054$DB9CA1B2-D137-41BC-8EC9-3C1E451AF7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b676da501a4388c7d8600a676797eb561342b91","datavalue":{"value":{"entity-type":"item","numeric-id":5006839,"id":"Q5006839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc620281c7aeb56223eb0ae84c98ae6177dedcc4","datavalue":{"value":{"amount":"+0.6700630187988281","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":"Q4982054$7F6D715B-F9D1-4255-AD6A-D3C8E54F6A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"929e4fb0b19dc1cb0d80e23ce051a03b75926070","datavalue":{"value":{"entity-type":"item","numeric-id":4281675,"id":"Q4281675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b95c87606beb799befee2975a32de05c900c799","datavalue":{"value":{"amount":"+0.6675593256950378","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":"Q4982054$60EBC943-381F-43A1-996B-A5FFAB63CAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3afdc1d99b49dfe9d0e45fa71c9a8896abc5a1","datavalue":{"value":{"entity-type":"item","numeric-id":4395617,"id":"Q4395617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b95c87606beb799befee2975a32de05c900c799","datavalue":{"value":{"amount":"+0.6675593256950378","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":"Q4982054$188BBA89-7A3F-41C6-8C71-F5DEF04B8E18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982054","badges":[]}}}}}