{"entities":{"Q1209041":{"pageid":1219790,"ns":120,"title":"Item:Q1209041","lastrevid":69894045,"modified":"2026-04-13T11:03:11Z","type":"item","id":"Q1209041","labels":{"en":{"language":"en","value":"Nonequivalence of input paramodulation refutation and unit paramodulation refutation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 167259"}},"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":"Q1209041$E1B3710F-DDF6-4F92-96A9-ACF936BADBB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d662f90152f4a5d1bb3acf6c00e7fe27393c91c","datavalue":{"value":{"text":"Nonequivalence of input paramodulation refutation and unit paramodulation refutation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1209041$87A1E51C-EE8D-4CA9-8EF4-735B1243DF20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8048ed5d3d3d2012107526899e969c1d3165810","datavalue":{"value":"0796.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209041$D13E21E0-940E-4AA6-A8AA-C2FADA49EA7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53d18de0302c7095668f6fb0ebd7f3342db59a1a","datavalue":{"value":{"entity-type":"item","numeric-id":975445,"id":"Q975445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209041$00A7F5CC-EA49-4CAB-A67E-F5D5108793D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf325f852b6657c873f5f14cf7af722b717f18e8","datavalue":{"value":{"entity-type":"item","numeric-id":254205,"id":"Q254205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209041$4B824517-B471-43B4-972B-4632F6597EE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45e1edb64efeee080173451c87c3f0c1d8534742","datavalue":{"value":{"entity-type":"item","numeric-id":174829,"id":"Q174829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209041$76EADD72-B85A-460D-99E6-A22825DA6B05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1209041$DAD00391-4ED0-4BFD-83C3-19DB4809D9FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209041$FFC9E6E2-12AE-41B7-AFEA-FB44277270E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90ce9872895f6fc0abd21118e964c17a6d76678f","datavalue":{"value":"167259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209041$43FD52AB-5AD7-4207-B838-84DD9DCCA5BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc5576322c8d4ae82c0d6c71afe668161e502c6b","datavalue":{"value":"paramodulation refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209041$8E4C00E7-A724-4994-A9C7-0D9F6D517533","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":"Q1209041$305FF866-4765-4D1A-A635-B2147E75D816","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ac8d73d2c92b925a6a78ed07f970fd2f8b0c9a2","datavalue":{"value":{"entity-type":"item","numeric-id":3818296,"id":"Q3818296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78eeb62417b938cf2e8cd7087832d2476a2353d6","datavalue":{"value":{"amount":"+0.8719624280929565","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":"Q1209041$5987AB4E-D9DC-4615-B0D2-25F31F18FD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bda5e5b218472d58cb44b6b9c3f42935dbe3785a","datavalue":{"value":{"entity-type":"item","numeric-id":4539049,"id":"Q4539049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e6b5a6f8bcbbd5cbebec6d1c535ddedb46aee7b","datavalue":{"value":{"amount":"+0.7761139273643494","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":"Q1209041$3BFEA78B-700C-491A-A92C-562C0A9F57FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8208072dd51e1bed16409f73faed688c572173b","datavalue":{"value":{"entity-type":"item","numeric-id":6488550,"id":"Q6488550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba66c58c35a5f1abcc96beb2c96d350b95ad86ce","datavalue":{"value":{"amount":"+0.7699665427207947","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":"Q1209041$732108A8-EF64-4A42-8D58-23E490CBE80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b98a758a3e35333c2c93f65499354ad762ecb8bd","datavalue":{"value":{"entity-type":"item","numeric-id":3781065,"id":"Q3781065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd9912c9131674f0f0fea33a391b6b210b59e766","datavalue":{"value":{"amount":"+0.7671375274658203","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":"Q1209041$B7B42F66-7810-4D01-B3F6-35C8D065956A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a629f668f1d2f7c136d043dc6e41f13b903ac127","datavalue":{"value":{"entity-type":"item","numeric-id":4264723,"id":"Q4264723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e749b9abc513cbb755a6e355a0de6b3ff768a99f","datavalue":{"value":{"amount":"+0.7560197114944458","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":"Q1209041$08B94A87-2A63-48D2-B316-7574D1DA98A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nonequivalence of input paramodulation refutation and unit paramodulation refutation","badges":[]}}}}}