{"entities":{"Q3608431":{"pageid":5638337,"ns":120,"title":"Item:Q3608431","lastrevid":50591378,"modified":"2026-01-14T12:15:43Z","type":"item","id":"Q3608431","labels":{"en":{"language":"en","value":"Incorporating Tables into Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523412"}},"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":"Q3608431$8E373CEB-2E81-4C11-A385-3B5BD40A78F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad29fad1103dede7e1385b5f12a82d44f47da49f","datavalue":{"value":{"text":"Incorporating Tables into Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608431$A7AFA20D-18DB-41FE-A3DE-33D538D41C43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ad23ab113b54e0cd9fbe245ad0d2ac6abc85af5","datavalue":{"value":"1179.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608431$ED3A9DB2-271B-44AD-B065-EB7387385905","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20d57971bc08057d58fb0c00e810281d61dcf1cd","datavalue":{"value":"10.1007/978-3-540-74915-8_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608431$7F3F7963-3794-4586-80EF-CF8EDA6F2425","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ef528bc8876184f9d4707e8d3f50dda4f6f700b","datavalue":{"value":{"entity-type":"item","numeric-id":281158,"id":"Q281158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608431$D4894662-1E29-4FF1-8BC3-3AE69302C5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608431$2839B36E-7074-4AAC-AB57-7D0B7D73A93F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608431$D76E8049-93E6-4068-B857-D822495E7037","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e03d4b2ec538fbc0e4998d600e67e2b2cfa008b2","datavalue":{"value":{"time":"+2009-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608431$B602B69C-9012-4BEE-AE57-36DC0AB8AED7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608431$D56A3BFC-B409-44B2-B900-FB9F99CC196F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608431$9098BA38-D0AB-49B3-A957-ECE22088B633","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe59ccdaa8d4eb19df68bc56643fdbdaf8e6b9f0","datavalue":{"value":"5523412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608431$36E781B9-F251-42A5-ACCB-5232FF013E1A","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":"Q3608431$DE484FE3-785B-4374-86FB-458D08D1C993","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1571040e4dfcf788c93524ea82fd54a114cf63b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74915-8_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608431$5DF63BCD-D511-4EC0-A2E4-89C06C887B1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62b1f6e7dfc2b2fa9d0089389c0e52c63b6fb72a","datavalue":{"value":"W1533033982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608431$0B99542A-4376-4B9C-8752-38BE69B5E268","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd2033a5d2f4312024fbd6d893ddcc1d57615fcb","datavalue":{"value":{"entity-type":"item","numeric-id":5927985,"id":"Q5927985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"313ea41f4a4634b5059e0d30a42dae2cbfda7651","datavalue":{"value":{"amount":"+0.741955041885376","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":"Q3608431$C9DB8EB8-4FAD-4425-B0BE-4CC5D9D57BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b831efe4762ed863b6b406fbe78b5f5efccbf5","datavalue":{"value":{"entity-type":"item","numeric-id":4524782,"id":"Q4524782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0fb0b891a4b48e75e54cde788877926b99d87ea","datavalue":{"value":{"amount":"+0.7416813373565674","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":"Q3608431$04776C15-F09F-47FB-AFA0-5E2E46B1B0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d17b49e14bc2c9d71a7c29975d7dc350a86283b8","datavalue":{"value":{"entity-type":"item","numeric-id":2938048,"id":"Q2938048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44c32f2ff5a95b0b0e28a91c231e3b8ff7f78f46","datavalue":{"value":{"amount":"+0.7410564422607422","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":"Q3608431$1CB7AE9E-C690-49FE-A79E-F41FC69A532A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8476da4648dc0228d7d9a6f4cd404123e4ebcf","datavalue":{"value":{"entity-type":"item","numeric-id":2726303,"id":"Q2726303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef010526f8c8efe1f044907ab978020a96cdc79b","datavalue":{"value":{"amount":"+0.7370010018348694","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":"Q3608431$CCCFFAAE-EA3E-4154-8D92-08DA76D4F66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e7b855e3255ed7374e30f72b41f621223fc94e","datavalue":{"value":{"entity-type":"item","numeric-id":2417949,"id":"Q2417949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef010526f8c8efe1f044907ab978020a96cdc79b","datavalue":{"value":{"amount":"+0.7370010018348694","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":"Q3608431$A14C7BD6-EE3D-45AD-A481-B66B6748FC69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608431","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608431"}}}}}