{"entities":{"Q2547495":{"pageid":2558238,"ns":120,"title":"Item:Q2547495","lastrevid":44320890,"modified":"2025-11-21T23:42:13Z","type":"item","id":"Q2547495","labels":{"en":{"language":"en","value":"Splitting and reduction heuristics in automatic theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3351216"}},"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":"Q2547495$3C0A9D6C-030A-43CE-9CC4-BBB29E09A10A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90218138c865bf4a36d629a82fdb730e2fef4443","datavalue":{"value":{"text":"Splitting and reduction heuristics in automatic theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2547495$EE9D11E4-E98F-430A-A950-21FF7CC8361C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a94678e66c07299dd21a5bd663699df654c22a97","datavalue":{"value":"0221.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2547495$D3A315E1-D11E-42BD-867B-5E5D865FF039","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4f8b887ae9d92ee6680b0195ed9d9e60c235eb1","datavalue":{"value":"10.1016/0004-3702(71)90004-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2547495$D3F89E7A-3671-4A3F-AA8E-20C549CD360C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac6e57e7cbbcf47c47eab8817c6b7cdfc4fb3e81","datavalue":{"value":{"entity-type":"item","numeric-id":915495,"id":"Q915495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2547495$0E06B754-8251-4D77-BE9D-89AA28759B8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2547495$DF998C01-11FB-49C9-8D98-C43751C56817","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"652ad65ffdd573691be68fbfe67aa0cdf6812549","datavalue":{"value":{"time":"+1971-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":"Q2547495$0BC0F8C6-26BC-4632-AC9F-0D4C9A7AF66E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2547495$5308E021-C0C5-478E-A7FD-45BDA0CACA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2547495$F6CC196D-DE3D-4DDC-ADE1-5E79249990B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7720a1ee2b81ce17a6f49869a9731f05ffbf19e4","datavalue":{"value":"3351216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2547495$628E70A4-8000-40D9-AE90-5BD3AFE5B957","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":"Q2547495$E4E254F2-5789-4E2A-920F-D3909AABCA18","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f20e02bb907f90cb22a0a676f448fd7139f7410","datavalue":{"value":{"entity-type":"item","numeric-id":2547495,"id":"Q2547495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2547495$1BEE9F14-6C4F-4033-A390-3DB860C4F564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5bf101c3b7d6dce19439eb466caa5715de79","datavalue":{"value":{"entity-type":"item","numeric-id":5624683,"id":"Q5624683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2547495$07620989-E784-4ED3-A79A-08063489AF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e19bcc8ceeae09bfe2823325d7d61b377dc18bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5597535,"id":"Q5597535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2547495$5A5951A7-136E-4B1E-A88C-5C293C10C337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbbc93c434a8b7361da879767f9de508229b7afd","datavalue":{"value":{"entity-type":"item","numeric-id":5569442,"id":"Q5569442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2547495$AE78006F-4E30-4BAE-8574-CB664AC26D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ca06956d12cdd8fbf2e47a620d3092d301008c","datavalue":{"value":{"entity-type":"item","numeric-id":3257866,"id":"Q3257866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2547495$F1E3D588-2DB4-457F-887B-3D9181BDCEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a99b3cfaa24ace22461e3611dd14f5ba9e4db0","datavalue":{"value":{"entity-type":"item","numeric-id":5616174,"id":"Q5616174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2547495$C05D8A61-8227-4EDF-B52C-AE0D07D40E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d08c9505a4ba01a7f4955e41e2c824f898df033","datavalue":{"value":{"entity-type":"item","numeric-id":3086772,"id":"Q3086772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2547495$9DCDC211-363F-4915-B573-8849D75EE968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21418fbc0bf456401f76f2d9527e7e25f956bfbf","datavalue":{"value":{"entity-type":"item","numeric-id":2551695,"id":"Q2551695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2547495$CC8BBB9F-CFDB-4FD4-9C75-2D282764DB9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75276274e850244df3953c54e0f962106c2d69b9","datavalue":{"value":"https://doi.org/10.1016/0004-3702(71)90004-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2547495$41E44A19-3826-4C09-9F0E-D9935E4AFE40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4efa58f46613a96bdc24c0dfa25df4b51f613a3","datavalue":{"value":"W1996158986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2547495$B6A3AE56-839B-455B-BFEE-062F2EE458AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2547495","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2547495"}}}}}