{"entities":{"Q4645756":{"pageid":6675337,"ns":120,"title":"Item:Q4645756","lastrevid":97919915,"modified":"2026-06-05T15:48:28Z","type":"item","id":"Q4645756","labels":{"en":{"language":"en","value":"Formally proving the Boolean Pythagorean triples conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7000003"}},"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":"Q4645756$5FEF324E-5DEC-4185-BEC3-7ACA06990EB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"193c00c173745a17d8c39555435ae7fa9a4de34f","datavalue":{"value":{"text":"Formally Proving the Boolean Pythagorean Triples Conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645756$9E44F38F-247B-4C6E-9A4A-843860927986","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3cf1994b0e9e93e562d685adacb5df3c2387ca9","datavalue":{"value":"1403.68222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645756$07CE130E-80C7-4407-8F93-C6FC80C22EF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"019239a5b99c9161ce4389de57414c8f40f605b4","datavalue":{"value":{"entity-type":"item","numeric-id":340573,"id":"Q340573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645756$7F7E4A14-6665-4557-B4D3-16DC664050B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee03ce229dce1ad90ba116368ba88145bf746ab","datavalue":{"value":{"entity-type":"item","numeric-id":340574,"id":"Q340574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645756$83B05959-35C1-46E7-BD8C-8AC4F6440D9F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645756$00B6547C-F203-4C8B-BC53-E759E28609C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645756$AB84A2E2-6CFB-4DAB-B8DE-7BFBB3BC73E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645756$DA91B68F-682B-4A6E-BF73-64834E16861E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1947275a6e5d978d2727361b2f084dd3b33fae78","datavalue":{"value":"7000003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645756$1F06993F-F041-45A9-9619-F2F00C1058C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9715eeb23c614fb0da5988b0118b320bea370953","datavalue":{"value":"Boolean Pythagorean triples problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645756$7CF59522-DBDF-43C9-A6E3-ED64F3247D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55caf05c57404ab910cf1d6d785d791abcc73ea3","datavalue":{"value":"formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645756$FC34C8B4-F710-4E04-BBE7-9EF9436E317A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645756$1D19F4CB-93CA-491C-9DE1-A742073C4F51","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645756$E434EC7A-6B31-4D17-87F7-B7BF1E15B0FA","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":"Q4645756$177A2FCB-3CA6-4102-8948-5053FFA18C0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64207a0d0115f00f4bbdbb9e5e1c9c6fcabd0a2b","datavalue":{"value":"https://doi.org/10.29007/jvdj","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645756$6AA94A18-89C8-4DDC-B120-5D7912164D92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c13b7c53df603f2ed8e3b172e8d28904cf495ce","datavalue":{"value":"W2741979441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645756$E41EA6DB-0E9A-41AA-BD6A-58968EB84A92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4e2e1c839594276d96b3df2153045418f58442a","datavalue":{"value":"10.29007/JVDJ","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645756$EF349D85-832E-4EE8-9A05-1437B1D80D62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a969f1f477525437721dffb08a3279f282bc07","datavalue":{"value":{"entity-type":"item","numeric-id":2323449,"id":"Q2323449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ba816d622c4f15c7e62f0140fa34f5e75971b16","datavalue":{"value":{"amount":"+0.9417228698730468","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":"Q4645756$661F03E3-FBF7-48CC-9E77-FEB081AAFF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c46791f725727301390062ee9067b8c556baabe2","datavalue":{"value":{"entity-type":"item","numeric-id":2818017,"id":"Q2818017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d391430248d662e14e73a900bb7457e3dce27488","datavalue":{"value":{"amount":"+0.8503735065460205","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":"Q4645756$1336AF7D-13AB-4735-880C-747906800A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229fe24d9eb2e29f12beb6699f750b1db9dc03d9","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea62733ba8c0c61cc6d5c95d1f70af496bda0e71","datavalue":{"value":{"amount":"+0.6720741391181946","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":"Q4645756$56A7E63C-351F-4F3B-A117-A5E69DCBDEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6506d0be3fc31847451f1060da7aec5cae2fb94c","datavalue":{"value":{"entity-type":"item","numeric-id":3454125,"id":"Q3454125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50f062fb3d23b2160cf674037786a0e6f3863e33","datavalue":{"value":{"amount":"+0.6647409200668335","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":"Q4645756$F7ED21DF-4139-4170-925D-B0BE55EEE8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4821d184ef83e5752c967d173acfc4a04c2e4cff","datavalue":{"value":{"entity-type":"item","numeric-id":5434504,"id":"Q5434504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf4c9c522e84c1617a9a133dde7092f6cbc1d948","datavalue":{"value":{"amount":"+0.6634665131568909","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":"Q4645756$1DDBE3C3-1666-41FD-ACDD-59A6D25EF055","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formally proving the Boolean Pythagorean triples conjecture","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formally_proving_the_Boolean_Pythagorean_triples_conjecture"}}}}}