{"entities":{"Q4050191":{"pageid":6079877,"ns":120,"title":"Item:Q4050191","lastrevid":55276978,"modified":"2026-02-05T15:24:46Z","type":"item","id":"Q4050191","labels":{"en":{"language":"en","value":"Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3464881"}},"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":"Q4050191$E5697717-FF53-4DA2-8161-81D29D1D16FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfb3e4d2874a9de3e0f70f205697f14563056460","datavalue":{"value":{"text":"Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4050191$85CA1659-F9DE-486F-88D1-46212A5EDDEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc3ce82961a7802f019c051ab6201d35ff5f93ae","datavalue":{"value":"0296.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4050191$0A8DE381-2A84-430A-BD5B-9E951869A4CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"784dea419e6a7a3568028e7656d69a7fe827fbd7","datavalue":{"value":"10.1145/321850.321859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4050191$3508622B-A371-4EF1-BEDE-58258B363D69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4050191$63D1108F-9B0B-4F04-B33C-FB8164C186CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4050191$6AC33912-BFD3-4919-B7F6-1CE098909C0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4050191$94AECB31-5772-41CB-A303-40BB5F1538E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0cbb3651de62498f9d3f5790291b28047f38719","datavalue":{"value":"3464881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4050191$C02D96B3-2284-4D1E-B821-9A134B984C8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc90a3a6cb7ab9d722cacde3144f4ad0accd92b","datavalue":{"value":{"entity-type":"item","numeric-id":2549241,"id":"Q2549241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4050191$C2A3421E-1FDF-46FA-A281-E75A7C5D59F8","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":"Q4050191$CC7BDEE4-AFC4-4B32-B330-92A484E6BA18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9aaa67da2e2c3ac8d4db17f626404e30df86545e","datavalue":{"value":"https://doi.org/10.1145/321850.321859","type":"string"},"datatype":"url"},"type":"statement","id":"Q4050191$1749C221-0E3A-492C-BC86-8AA3A90D1CA9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f045c2bdae04f835497a971b143aadb4de4cfd53","datavalue":{"value":"W2048748607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4050191$198C6CEE-EB6A-4375-825E-0A8B17859596","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4050191","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4050191"}}}}}