{"entities":{"Q4299008":{"pageid":6328609,"ns":120,"title":"Item:Q4299008","lastrevid":47255218,"modified":"2026-01-01T03:43:27Z","type":"item","id":"Q4299008","labels":{"en":{"language":"en","value":"Equational inference, canonical proofs, and proof orderings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 597995"}},"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":"Q4299008$C442298D-9CD5-4AFE-8BC1-AC28596A7B40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49f138dcd87cb502c6dbe078e35ecafdb9c33ee8","datavalue":{"value":{"text":"Equational inference, canonical proofs, and proof orderings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4299008$F2605F5A-ABD7-4641-A3F0-EDFBC45463A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"184e130ae06c785569937570c4686e6fe545aa76","datavalue":{"value":"0806.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4299008$4B033D5E-E278-4742-B63F-0754C511B594","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82643d3f121c53d733e43c202903e39b5144e6a0","datavalue":{"value":"10.1145/174652.174655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4299008$DAA0BFFA-5B4F-41EA-9A11-798EA26E2DF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cf815526c4f2604ee47e98322610a52470dc8b3","datavalue":{"value":{"entity-type":"item","numeric-id":1072370,"id":"Q1072370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4299008$0A511805-CDC8-45E5-BC3B-A68F669A92CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"423424ed34b7dac382d00344caf66effb4c7fafb","datavalue":{"value":{"entity-type":"item","numeric-id":199247,"id":"Q199247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4299008$F34F2540-745D-48B7-A88B-9D41EC791338","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":"Q4299008$C26B94DB-42E3-4236-937F-DB3692B7502C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"489485f02f87b2a6e7bf05282bc879b8f2dcc5dd","datavalue":{"value":{"time":"+1994-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4299008$E0D13F42-298C-48BA-AE9F-38E31D672A86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4299008$EEC1817D-F0F9-4C19-9C86-4AB9D18858B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4299008$CBBFF047-508A-4DFD-A860-289400E37DA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c88f690dfb1fe1fa8e3fd0918bcfd3ea48ba355","datavalue":{"value":"597995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4299008$5A8E4C3D-6156-4EAA-8834-78E7B2B07AFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c6d887dea02064be0360477cc5a75e3c7b45070","datavalue":{"value":"inference systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4299008$9C97A032-C2DC-4F64-99BB-3DC9A73E818E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"182564c7677c8dacff65d6db394e84b0dbb889c9","datavalue":{"value":"theorem-proving methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4299008$3E7CCD8E-860A-4BD0-B2A9-57CBE3D7C776","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":"Q4299008$74ACB386-75BE-4858-A205-230222A69408","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6b639dd228a62eae9d639e41192a23983a33388","datavalue":{"value":"https://doi.org/10.1145/174652.174655","type":"string"},"datatype":"url"},"type":"statement","id":"Q4299008$F310891E-98C9-46F7-8D83-3596E16FE26C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"995dba7e45a1715ec53c38d2c88e84713bdf17a3","datavalue":{"value":"W2161257777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4299008$84D596C4-C3C1-46FF-B7D0-96D0D178F035","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf4fbd2aa10cd660ad9b942eec249cd4c50a664","datavalue":{"value":{"entity-type":"item","numeric-id":4000281,"id":"Q4000281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bf9de5f8e13207fb2ca62f2c26d29d260a4e4aa","datavalue":{"value":{"amount":"+0.8423669934272766","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":"Q4299008$B662070E-9141-4761-8C84-CB1063AD03C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a38861aa8c5ba98116a45571edd8abc1a857d15","datavalue":{"value":{"entity-type":"item","numeric-id":3993260,"id":"Q3993260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54630923cd21d7486b6aff76365f2f58b13f003a","datavalue":{"value":{"amount":"+0.8067731261253357","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":"Q4299008$19C6E3A6-292D-436C-ACCF-A7DCD3CE0896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c1c8784fa4f0a359093f719060d176faecd05b0","datavalue":{"value":{"entity-type":"item","numeric-id":1106659,"id":"Q1106659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9593d09d5374fda218ac6aa3dba478946bff425","datavalue":{"value":{"amount":"+0.8004909157752991","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":"Q4299008$940FCA52-3E4C-445B-8D09-53851676CA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b18f0f9547a5cf62e001b698d7ffbe52435e519","datavalue":{"value":{"entity-type":"item","numeric-id":5277771,"id":"Q5277771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a788c5697e1fd0cdb0f23c9e634ff736b41eea2","datavalue":{"value":{"amount":"+0.7979723811149597","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":"Q4299008$B19DC0C4-8501-4B3E-A155-D3F32DBABFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0b72cc3bd8fcce61bff4224c9291a8e03b0fa2","datavalue":{"value":{"entity-type":"item","numeric-id":5881279,"id":"Q5881279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d6e4a986e50a4da0ecda478143cd32c3ff22519","datavalue":{"value":{"amount":"+0.7972803115844727","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":"Q4299008$E726E356-75C4-46E2-916F-E27897A9AA34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4299008","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4299008"}}}}}