{"entities":{"Q6488544":{"pageid":14067313,"ns":120,"title":"Item:Q6488544","lastrevid":47845663,"modified":"2026-01-02T20:57:16Z","type":"item","id":"Q6488544","labels":{"en":{"language":"en","value":"Toward mechanical methods for streamlining proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680818"}},"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":"Q6488544$B17E55E5-267B-438E-8237-C9316E93D767","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b81bb53465733408d19201c41c78092a2e3fcd9","datavalue":{"value":{"text":"Toward mechanical methods for streamlining proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488544$0B90FC61-20FB-4B86-8000-545543D81C31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fd22e6c21c5f52cfb29a34e450d05322326da0c","datavalue":{"value":"1509.68317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488544$D266D44F-5308-488A-9D87-D84FAA5DFCF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54c05223e730d75034d277c8a3cdeded1a6a1cf2","datavalue":{"value":"10.1007/3-540-52885-7_99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488544$5B11F1F6-7245-4C58-A801-403571F74288","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd8067eafb73d0788184c90ca91882d0223011e6","datavalue":{"value":{"entity-type":"item","numeric-id":1923223,"id":"Q1923223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488544$C34510CC-D332-4D06-92C7-B0402E31C7A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488544$7FFB6152-FAAE-44FD-BB46-08B06622BF05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488544$61CB5DF0-94D4-4C94-9E1E-5DDD2AB73C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488544$63CBC6FC-3BBC-46F7-99D1-B7A0C641BF2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3cf33a1deb7ab86dbaf6cc26579e51594a61943","datavalue":{"value":"7680818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488544$7D90629E-0F5D-48B8-B47A-A6D17228FBD4","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":"Q6488544$AEFBF263-7598-4F09-938E-61B0DB5A133F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a74c52dce2b41371b695c2dd9e16f460a2c3a87e","datavalue":{"value":{"entity-type":"item","numeric-id":3880316,"id":"Q3880316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488544$543CF73A-E547-4A52-8479-AF06EA2EA9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488544$8380C8E9-2FA1-4A31-A751-CE2AACC3BE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de070f3ffb505a637314246518c3ca42a40c61c8","datavalue":{"value":{"entity-type":"item","numeric-id":3824309,"id":"Q3824309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488544$DDF1639E-62E3-41F4-8B1C-0024A9CB08D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e676da38d777563663597edd24cfe10db73770b","datavalue":{"value":{"entity-type":"item","numeric-id":3490999,"id":"Q3490999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488544$C50A8CD0-F40B-48D3-A69F-6130D97C2CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a782dae04bccdcae6268f44742e68ac18ada1a","datavalue":{"value":{"entity-type":"item","numeric-id":3338232,"id":"Q3338232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488544$7A93EA2B-02C0-4C2D-A702-004CD70D0C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cb14dabb49ce81b914063d4d765de30bcb45f7","datavalue":{"value":{"entity-type":"item","numeric-id":3338233,"id":"Q3338233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488544$0866E5DF-8B67-47BB-ADB8-C5716207DF14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe628dd31ceb142b83e31f71b8fd767f0e44fc7","datavalue":{"value":{"entity-type":"item","numeric-id":4558008,"id":"Q4558008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d86601f649d124c9f462b4aebb94446dbb9b17","datavalue":{"value":{"amount":"+0.7838258147239685","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":"Q6488544$C89275A6-78C8-4600-A4FE-5102246AC65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcbb17b5eeff24acc0ae046b77968c0618c1cbba","datavalue":{"value":{"entity-type":"item","numeric-id":5204800,"id":"Q5204800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65a222e33db822201a5b0058a24e260eaecc8171","datavalue":{"value":{"amount":"+0.775044858455658","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":"Q6488544$E8A04329-D3CA-4F44-BAE8-D062FF38298B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dda344dc59111ebdc243aa7385d8c420b1f3686d","datavalue":{"value":{"entity-type":"item","numeric-id":2767011,"id":"Q2767011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b016e3630d75a0c698ab5eac1ab1ff915fc0ac1","datavalue":{"value":{"amount":"+0.76215660572052","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":"Q6488544$AED6A432-7214-445D-981D-12E35CFB8F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b80fca7f62860281b4adc1942417ab1f4d67b95","datavalue":{"value":{"entity-type":"item","numeric-id":851139,"id":"Q851139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efc204058b80aade11b6ed80231b288601a23bf7","datavalue":{"value":{"amount":"+0.733922004699707","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":"Q6488544$D4558842-D162-4853-96D8-37D49057D7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a5d18780a3dbdb4959fbe9fb76a2b4792c26e8","datavalue":{"value":{"entity-type":"item","numeric-id":3490999,"id":"Q3490999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a802563c7697fba0dd84b027e0a5466d6a4192c1","datavalue":{"value":{"amount":"+0.7299303412437439","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":"Q6488544$ADA3C489-5527-4215-BF64-E5732FFAF677","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488544","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488544"}}}}}