{"entities":{"Q1367077":{"pageid":1377817,"ns":120,"title":"Item:Q1367077","lastrevid":43062029,"modified":"2025-07-17T08:48:54Z","type":"item","id":"Q1367077","labels":{"en":{"language":"en","value":"Coloring terms to control equational reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1062579"}},"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":"Q1367077$B31B0635-B357-4B80-8C37-921B2C9087C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f8df69b73b0b55316b8492a5370a7e5a5d0da0d","datavalue":{"value":{"text":"Coloring terms to control equational reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1367077$CD250335-A1C0-4476-A222-3EECC1219372","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b69879d5f8031ca41428c5243b2183123a60a53","datavalue":{"value":"0881.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367077$05CB8656-CEF8-478D-8125-757E2C101F12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"973265e3a6038fdf22028e6a00a3d458fea7177f","datavalue":{"value":"10.1023/A:1005772217686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367077$B5DD078D-2D10-47C1-8E65-5929D862680C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33ac163ba39953163eeb2acbe3fa2aeac41d812f","datavalue":{"value":{"entity-type":"item","numeric-id":1367076,"id":"Q1367076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367077$1F8EF661-456E-4CD1-A495-4813C0818B34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367077$A122AE6D-B849-42CB-8F6B-82F3EBFF0430","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e11d1837707d60adc8ea793d07b0b6f8a320eec","datavalue":{"value":{"time":"+1997-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1367077$8239D0A2-626D-4EF3-878C-386EA1748098","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367077$A679B3EF-72D7-4655-B14B-5D0352C015A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e65b033d429ab676d1167a98d41cef2c440765ef","datavalue":{"value":"1062579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367077$8EA3259F-B6B6-4B51-86D1-8738E505C35D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa6792ab787021778f5f20cba1d78917f3fc46dd","datavalue":{"value":"inductive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367077$56E1849F-EB3F-4CFA-B73B-53F1996905F4","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":"Q1367077$07F0DA82-7973-454B-98E0-A0916BF2DF95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cf1e412436ebdf9236cf53afc0e32c439c2c73c","datavalue":{"value":"https://doi.org/10.1023/a:1005772217686","type":"string"},"datatype":"url"},"type":"statement","id":"Q1367077$78E6C170-9490-4CAA-A6CD-BFFD798F922C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca270b083adb84a6770e4e1e8a50157a9dac38a1","datavalue":{"value":"W1601255741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367077$BF7B0B07-D477-408F-A64B-2D541D492805","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72d4116d823a59d64e156820479bb3d14da773d","datavalue":{"value":{"entity-type":"item","numeric-id":3484358,"id":"Q3484358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"680a22f24f60886aea3f52e98492820ddecf96be","datavalue":{"value":{"amount":"+0.8301795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367077$2A99A805-127C-4F16-8846-E2B99DCF31F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c96a18c240f93911be8e6b1a11d91073a171525","datavalue":{"value":{"entity-type":"item","numeric-id":5234713,"id":"Q5234713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b978786e0aabad66767061cf1dd62d2b1b30b2b","datavalue":{"value":{"amount":"+0.81201947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367077$C54566C6-6BC3-4C46-BD9F-2861B9B65045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"759f5922fa5b19954657c1c0c7fac10c69954f84","datavalue":{"value":{"entity-type":"item","numeric-id":2915134,"id":"Q2915134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2161c6e3d44d482170ca51251b17401c036f825","datavalue":{"value":{"amount":"+0.8099189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367077$E53BE315-0629-46C6-B38F-4C0C011F27BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e0b66ce970443d035a02d7b5f19536b05ddddd","datavalue":{"value":{"entity-type":"item","numeric-id":5129999,"id":"Q5129999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38898ce14f6d2c6ff0701ef116983b83cf8ede60","datavalue":{"value":{"amount":"+0.8096793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367077$F1ACF26F-02FA-4847-ACAA-DEC31A7CB668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea95e525c8cd4ab8bd754dc8a04ec24fc6ee7628","datavalue":{"value":{"entity-type":"item","numeric-id":3995111,"id":"Q3995111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6082a3697fbf0e81d6983fd776005c69e13f09b4","datavalue":{"value":{"amount":"+0.8068364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367077$4969D3E4-36DA-40C1-B513-1B38BC0A1486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b490c4f61100689604d941a966648ddcea244093","datavalue":{"value":{"entity-type":"item","numeric-id":4601029,"id":"Q4601029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da5050f456509382dcd050e806d330ffec81003d","datavalue":{"value":{"amount":"+0.8046485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367077$562FE81F-A53C-4518-B97E-24F0A8531978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"168d8da24533747ab085b9a6a737e87494a1c1de","datavalue":{"value":{"entity-type":"item","numeric-id":3990593,"id":"Q3990593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee41cc7bbe2c2482eb54b81a97766e1bd5288d00","datavalue":{"value":{"amount":"+0.8032835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367077$E77D77AD-B03B-45C1-89B8-20FFFA47CDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50d917112190a1c58ce2c2a7df3e9f9848e43f53","datavalue":{"value":{"entity-type":"item","numeric-id":2027842,"id":"Q2027842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7974c8be260f3a0db7eecd61677a1bbdc05606d","datavalue":{"value":{"amount":"+0.8029014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367077$921F4129-DCAD-4002-9AE9-6595F54D20EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ea701708f296d597ab6755084f7ac952ed039f3","datavalue":{"value":{"entity-type":"item","numeric-id":1920231,"id":"Q1920231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f9eaf5aa1676aa142854861f0b2af1dbb7ddfed","datavalue":{"value":{"amount":"+0.80184054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367077$BFAFDE31-3C81-4C81-A818-F248C6C4D89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"358694b6de56cdfab222213d5a08adda95bc146e","datavalue":{"value":{"entity-type":"item","numeric-id":687663,"id":"Q687663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"204c30629ad8d75c7d5ca5fc828a72a2c52dd9c3","datavalue":{"value":{"amount":"+0.8015455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367077$90BA8D6A-E530-4834-8221-5A268D7B84B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1367077","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1367077"}}}}}