{"entities":{"Q6488543":{"pageid":14067312,"ns":120,"title":"Item:Q6488543","lastrevid":103340957,"modified":"2026-06-06T07:12:02Z","type":"item","id":"Q6488543","labels":{"en":{"language":"en","value":"Presenting intuitive deductions via symmetric simplification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680817"}},"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":"Q6488543$88E23A4F-5642-4189-A6E4-FFCAF9D69E7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a60e809ef9d5b6939eb28443e6bac548a0da7d06","datavalue":{"value":{"text":"Presenting intuitive deductions via symmetric simplification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488543$315A4622-83C4-480B-A438-90DC272F6B70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16d5339f0d690fec91a01fda0c7096401daf83c6","datavalue":{"value":"1509.68316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488543$558C45B4-8FDF-48CA-8D1A-BC48D6B6AA99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a400d35e7cf2d6900eb27875a9a547b6b2cf0dc1","datavalue":{"value":"10.1007/3-540-52885-7_98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488543$834F2B37-8D7E-402A-BF65-33512E735E81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488543$075C23D4-1413-4451-8099-69FE90016C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5142db60e241e9efa97b6c4d4e4ba75e7214a6a","datavalue":{"value":{"entity-type":"item","numeric-id":1923824,"id":"Q1923824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488543$92EA03E0-27FC-4B35-A92D-078F24083A85","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":"Q6488543$3FB68B80-544E-4E57-B364-649FAC0FA2F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488543$069ADE9C-2C7C-4B42-B306-0F2BEC182480","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec3ae4129ae9f10f36d1061685b69d3db6fd57a8","datavalue":{"value":"7680817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488543$1783E977-5568-46C6-A065-4CA4875F6FD8","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":"Q6488543$69CC7548-36DB-4DEC-8D29-1DD990FB8003","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":"Q6488543$73D25932-F9C1-4973-B48F-9EDE58A4F874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84661190c70e049933b7bb825904abf4b4a875a","datavalue":{"value":{"entity-type":"item","numeric-id":908896,"id":"Q908896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488543$758997DA-94AE-4BCC-9919-95BAE242B425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfbcd125ee512ba2de3f7615411da3a54a778e68","datavalue":{"value":{"entity-type":"item","numeric-id":6488566,"id":"Q6488566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488543$6434A762-DE11-4F54-B574-2F906149C26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd705a1c4c13e7602f282c4e64be62fd689b41c","datavalue":{"value":{"entity-type":"item","numeric-id":3219093,"id":"Q3219093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488543$CA2DB261-58FC-489B-B89A-67E40A468B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20cf76c277e227fb903e6f34388fab78196036c8","datavalue":{"value":{"entity-type":"item","numeric-id":5053006,"id":"Q5053006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488543$EA3284C7-7F8B-4ED3-A91D-8943499C6F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a44e30561cc2aee4aee48347e083f603add9dea","datavalue":{"value":{"entity-type":"item","numeric-id":1228369,"id":"Q1228369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488543$30E4AAEB-13B9-4DCC-AC60-183B7C61A1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488543$6D500152-FC28-4983-B3B3-CC02418C70D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"743799c0e9406592ed00f1a5d48b5b55625156dd","datavalue":{"value":{"entity-type":"item","numeric-id":3671969,"id":"Q3671969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488543$190FA9BD-79A8-461E-BE2C-A25B97961706","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":"Q6488543$6F0D2690-8B43-4611-9FB2-3432195A807A","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":"Q6488543$CDED6EC3-90F9-4F75-AC20-E113AA3174D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1675ec5894a8c57acbe2bcc56434f5813617d031","datavalue":{"value":{"entity-type":"item","numeric-id":1102282,"id":"Q1102282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488543$CFC16DE3-3DAE-4FA1-A6B9-FDAD32259C51","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":"Q6488543$970A0E1F-A09D-4DD8-9BB7-E1C2E552F3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488543$AEC27383-2E27-4AD7-A7CD-F92605D2590B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761227e28ec3092e559c7874757d0ce5e8b995d8","datavalue":{"value":{"entity-type":"item","numeric-id":4198749,"id":"Q4198749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488543$67876324-F977-4479-BE67-9751B83C5FE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc05adc331cde80814ea964cafa7ea00f9096f6e","datavalue":{"value":{"entity-type":"item","numeric-id":4364511,"id":"Q4364511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f6e3aa0a22f48c987b5fb0a4aab791501aee008","datavalue":{"value":{"amount":"+0.7894101142883301","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":"Q6488543$EAD4FA98-0200-42D8-8926-59A91DBC39AE","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":"16baed295e6d53b13dbe102a7a3343b16bc18ca1","datavalue":{"value":{"amount":"+0.7518705725669861","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":"Q6488543$CDC1BC9D-0C93-4D16-ACFB-A7133E503B8E","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":"16baed295e6d53b13dbe102a7a3343b16bc18ca1","datavalue":{"value":{"amount":"+0.7518705725669861","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":"Q6488543$6ABDB360-CB7A-40E3-B949-EFA0D106BB7D","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":"e461980f3dc6330c3984de2808dbea50784bd816","datavalue":{"value":{"amount":"+0.7477840781211853","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":"Q6488543$78D8CBF8-804C-47F9-8CC3-74D728AA44AC","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":"b327dd6dba28bdd23d1b0ebb660f9b88431a2714","datavalue":{"value":{"amount":"+0.7464460134506226","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":"Q6488543$3E89BE9D-AD6B-4116-9578-B268E82A1FF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Presenting intuitive deductions via symmetric simplification","badges":[]}}}}}