{"entities":{"Q2542996":{"pageid":2553739,"ns":120,"title":"Item:Q2542996","lastrevid":78826847,"modified":"2026-05-06T12:31:45Z","type":"item","id":"Q2542996","labels":{"en":{"language":"en","value":"Renamable paramodulation for automatic theorem proving with equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3329027"}},"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":"Q2542996$B8FF5FB2-C756-44BA-9346-6BA90AC2E3BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d2de9cd80c60634dcc0c5e62c5c282357698917","datavalue":{"value":{"text":"Renamable paramodulation for automatic theorem proving with equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2542996$06F0D02F-185B-4712-A8FF-9B7B2A3A788F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be8eaaf9f2366bcb4c64df050011db6745b2173d","datavalue":{"value":"0207.02203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2542996$3D48C33F-EF7C-443F-A0F7-5DEA9468EFD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa6c30352ee8618937122915b71dd89b80d00bf8","datavalue":{"value":"10.1016/0004-3702(70)90010-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2542996$58E2EE53-CA38-40AF-A494-BC4A414DFF63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2542996$27E9BA50-323C-47EE-8137-096D27DF6370","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":"Q2542996$55630EA7-9CB1-40C7-923F-46B948248F87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e293d9e9c8dba13b0feb4b9b16887fc748f70c6f","datavalue":{"value":{"time":"+1970-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":"Q2542996$8C321A4D-F193-4814-B4D1-D1FD887FE1A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2542996$9601AA77-D7A7-4949-8DF1-09137D95B46F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58aa5e017a23b1e4b2904d27dd9ef94c8682963b","datavalue":{"value":"3329027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2542996$C5B35BB5-363A-4E01-8C6B-74357B8B7F45","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":"Q2542996$0F25A6D7-BE95-4CDE-A7AD-EBC6BC79CE69","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6296f28fc60771a1dbf24c1db19ae26c6da72817","datavalue":{"value":{"entity-type":"item","numeric-id":5609410,"id":"Q5609410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2542996$6097A4E9-6C78-40A1-B87A-4941A1BAE199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db57d83c4539b5e1e312a9885e87a573f21cf309","datavalue":{"value":{"entity-type":"item","numeric-id":5562604,"id":"Q5562604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2542996$5921B297-D6DE-41A3-9877-71F5B7BE3181","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":"Q2542996$B4727684-DCC2-41F1-93F4-803766CCBD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e169af1b2927cc066a8cc188c6dd43f7cce9298","datavalue":{"value":{"entity-type":"item","numeric-id":5591533,"id":"Q5591533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2542996$48D1E50F-9566-4D48-B142-FDFF59510B04","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":"Q2542996$49F85663-E4C7-4709-B680-29D8F49C27C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7053c119e620b9c3b3c8c19da3a6a2d1be1e3c68","datavalue":{"value":{"entity-type":"item","numeric-id":5538934,"id":"Q5538934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2542996$B5B77A51-ADB2-4EF9-A690-1BD70A10EB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d53a28b01bdaf2102551cb99ed821945979a516","datavalue":{"value":{"entity-type":"item","numeric-id":5541352,"id":"Q5541352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2542996$B67F935F-312A-417C-9E99-657428BEB921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f771f551f48b2f2d21f6f2011008cb21eb26e492","datavalue":{"value":{"entity-type":"item","numeric-id":5538933,"id":"Q5538933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2542996$8CF83450-C916-43B1-A5A6-790324B090CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Renamable paramodulation for automatic theorem proving with equality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Renamable_paramodulation_for_automatic_theorem_proving_with_equality"}}}}}