{"entities":{"Q5055708":{"pageid":7085285,"ns":120,"title":"Item:Q5055708","lastrevid":41805694,"modified":"2025-05-08T13:55:34Z","type":"item","id":"Q5055708","labels":{"en":{"language":"en","value":"Proof normalization for resolution and paramodulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631105"}},"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":"Q5055708$FB9225BD-5C5C-41CF-959C-4A608F27C1B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b31ddf7baa815c9671e64582619909c566688b4","datavalue":{"value":{"text":"Proof normalization for resolution and paramodulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055708$B67D1636-1058-49B0-ACF3-4CD590A7C0EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78e00b8552ded14bc34ffdce07ef7eecab1038bc","datavalue":{"value":"1503.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055708$79AEF582-37F3-4EF9-AFD6-27BD6FE6B6A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9da7b1d1318b8516dbdb0a2c213c1816a3e7133c","datavalue":{"value":"10.1007/3-540-51081-8_97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055708$04D0C2CD-969F-44F8-A906-3D837DC3E049","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":"Q5055708$BF384EAE-44D9-49C4-8576-DDECA3045A0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055708$7FAE295F-C6A8-45E0-B83F-99C4EEEA63EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055708$4FBA629A-B8BD-4A2A-BBC4-9CC69FD23DC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055708$C49AB3EA-3BEC-433E-8E6C-E7C972003AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055708$89BE56B0-0C78-4ED5-8120-DDE074B0A788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055708$39348D36-3BE5-4BD1-A9A0-487685B19E26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c8f9a96eb45df8260b6dd92223d36c9deb30346","datavalue":{"value":"7631105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055708$80D4BB32-7C94-4D62-94FE-3EFCDE30B595","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":"Q5055708$4E8BF9F0-EC86-447C-8B47-EB6B29998D6E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c994b8a8701e121650f09d669369ea84b068916c","datavalue":{"value":"https://doi.org/10.1007/3-540-51081-8_97","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055708$5CFB77EA-518A-407E-8410-AEF2F7A20A79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5f76aa4223f1827358784bb3ed234df00892a88","datavalue":{"value":"W1516274846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055708$5FAC42E6-044A-46AC-8F1D-9221FCBEC824","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fb53dc30cdc46111c93a6e7de143f2e9b39160","datavalue":{"value":{"entity-type":"item","numeric-id":4099229,"id":"Q4099229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055708$458D8037-6710-4A7D-95B2-5FA97E7676D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055708$5BCA79BE-6EAC-4AB4-A7D8-19E64DCC936F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055708$9AF9092F-DC1D-4389-9707-EEE8DBD59198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055708$E5136F1D-41CF-4395-8BA2-EA2CD15604A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055708$7DAE15E8-542C-4137-9CB1-5DC3D68E906E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b777a302903125fe23797b9bf75d2ca49d181b97","datavalue":{"value":{"entity-type":"item","numeric-id":3817656,"id":"Q3817656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055708$5E6AD8A1-0ED3-4A5E-B927-BD0EEF8F1B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7819d4cde146b169662c83aab32ea4e5414cd355","datavalue":{"value":{"entity-type":"item","numeric-id":3786024,"id":"Q3786024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055708$3BBAD271-FE4C-4393-A591-12E6F06CFCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc614fe187bd0295ec729cf32cb3675e34b7b37","datavalue":{"value":{"entity-type":"item","numeric-id":4302847,"id":"Q4302847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055708$A886FE7C-F1CA-4964-9FC8-14085E2C8196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda6d4bc4ff06358c5dfe216b9a7a58bec1514be","datavalue":{"value":{"entity-type":"item","numeric-id":4102765,"id":"Q4102765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055708$FA8D1004-903A-4E87-97CE-54FB84C8B135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055708$AA34F45B-2894-4832-BE6F-3ED934D96588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5939193d2c734f0c40871d2dae732bc5d8448c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3673152,"id":"Q3673152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055708$DA9009CA-684C-4F1D-9623-26C563B425C5","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":"Q5055708$DFF4F91D-A16F-4247-B3EE-11037051F11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055708$A0665059-93B9-493B-B7C4-A37C28816CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055708$FE17EA5C-7AF7-470D-9FB0-749233C91B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dac14c70bb691f81b7dbe3b97332456bc88540b","datavalue":{"value":{"entity-type":"item","numeric-id":4770009,"id":"Q4770009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055708$EB228AFE-1857-48D3-A6B1-BE6DC8F32EC3","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":"Q5055708$121F1896-C9EB-49C2-9654-0467092FDB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a00d494a72da53d5edc71ee57582c397b68b035","datavalue":{"value":{"entity-type":"item","numeric-id":3789100,"id":"Q3789100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055708$7F2B2C00-5FA9-45F3-80B5-BDA6B4B5C63A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e209d4a21f34e0a088a607f6de8d4e53ccded8","datavalue":{"value":{"entity-type":"item","numeric-id":4365102,"id":"Q4365102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0968f52aa66f9875a3f8c5f69088d3a41d78bd","datavalue":{"value":{"amount":"+0.8859547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055708$9B04E9E5-3C41-4327-896C-72DAF019D29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60160024512c73f3c431b760ec9d2b4a9aa14ec","datavalue":{"value":{"entity-type":"item","numeric-id":1342248,"id":"Q1342248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d47bf3d172e7ab9f5d9060f96d090873e84e3b","datavalue":{"value":{"amount":"+0.8824774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055708$64BDDB0A-AFE6-4A51-A321-0C97AC545C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce69b5d8900840b43fa9c0155dcd726269c6a331","datavalue":{"value":{"entity-type":"item","numeric-id":3750141,"id":"Q3750141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aee2efc8c4eee71427de935802726c928fc51623","datavalue":{"value":{"amount":"+0.8820324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055708$DE2C5836-83C5-413F-9ECE-7B9BF8F44E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c06490cc90f311611d5f7911c75cc548c98baad","datavalue":{"value":{"entity-type":"item","numeric-id":1178706,"id":"Q1178706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6553a319cd330320a68150e1a1c45557435f8763","datavalue":{"value":{"amount":"+0.87920594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055708$2363A34E-C271-474C-8ABF-61F5C413620C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ded80ef1f98f119951c284cc3f3b9d326fb75c7","datavalue":{"value":{"entity-type":"item","numeric-id":1931341,"id":"Q1931341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2bcd966bdfccc49996ecd389c31f904b4572e5b","datavalue":{"value":{"amount":"+0.8778676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055708$A37B1342-3BFD-4754-A533-D5D11CC564DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c3422917e1dcda2e4ee6df0a1af28d2cec621b","datavalue":{"value":{"entity-type":"item","numeric-id":4877107,"id":"Q4877107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"770fd6e5c23db2ea4cbc59cfcf5c2da0fadc09b4","datavalue":{"value":{"amount":"+0.8752328","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055708$1944AFC2-421E-4777-B60D-A732A90820E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec58512e961243446ca882b6a45f111a9d3f2e4","datavalue":{"value":{"entity-type":"item","numeric-id":2751359,"id":"Q2751359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74bc713175a7497f9d004ae98ad0f1403d1eb509","datavalue":{"value":{"amount":"+0.8705399","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055708$13C6F5FD-B70B-4D15-81DA-EAEC3FE1A7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a7771c4a890e5b905e0dda0cd76e96413495b68","datavalue":{"value":{"entity-type":"item","numeric-id":4938598,"id":"Q4938598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95e45be2e591536a8e6eedbd0df63d38610a154a","datavalue":{"value":{"amount":"+0.8649067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055708$A2DF6B69-C527-4BCA-8AC1-E624D1524E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"677e4347159e9c0e0bdae30ed157d1872628ad0b","datavalue":{"value":{"entity-type":"item","numeric-id":3720598,"id":"Q3720598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b455401cce17026401e08cc220e08e88f7b0488","datavalue":{"value":{"amount":"+0.8625437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055708$342E0753-F6AF-44E4-9BB5-72B644AC3124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"350823aa1d64e7b4b83f87f10e1cb162e4cdf9eb","datavalue":{"value":{"entity-type":"item","numeric-id":3819063,"id":"Q3819063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb48ce039242ce21115261e6a488ea4e57ea18c8","datavalue":{"value":{"amount":"+0.86020714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055708$3E61C73C-7885-42BB-816E-DD8F1B03F013","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055708","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055708"}}}}}