{"entities":{"Q1355755":{"pageid":1366494,"ns":120,"title":"Item:Q1355755","lastrevid":67224912,"modified":"2026-04-12T16:11:47Z","type":"item","id":"Q1355755","labels":{"en":{"language":"en","value":"Paramodulation with built-in AC-theories and symbolic constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1014244"}},"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":"Q1355755$8BF69A70-02A9-4670-8D72-FC2DA3935D5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efff66f86fb56c73eebb5963f56bc84e0907f20d","datavalue":{"value":{"text":"Paramodulation with built-in AC-theories and symbolic constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1355755$E6049C9C-49B4-44D4-B649-7C866C7BDF7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"925b948f06027523ee6de58b758830a062a40ad9","datavalue":{"value":"0878.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355755$E1350E1D-80D1-44BF-9D67-23D3A0B854FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e6a58ff964b9ca97414f0c42659717fa8e6fc43","datavalue":{"value":{"entity-type":"item","numeric-id":475169,"id":"Q475169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355755$2D912B2E-1441-4404-B88E-3EEF78C25BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"076f42ceb107ac95ece0987fd254ab37feda8487","datavalue":{"value":{"entity-type":"item","numeric-id":352976,"id":"Q352976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355755$2799DF58-9DE4-4F42-A15A-EB11BFEDCD59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355755$3212FB19-93A3-4718-BB85-78744E72F77E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e867b150d8a1bb758643b1fb4dd63cfc4c912853","datavalue":{"value":{"time":"+1997-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1355755$2A75748B-C9F4-428E-B4F7-EFBAE5DCD584","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a4b74dc2b1a2c35d34134bf6bdcda3e2e739c84","datavalue":{"value":"https://semanticscholar.org/paper/b632bcad8bfc28618708459a111199ef51a925a3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1355755$F1798526-D14A-4F2E-9FD2-3500ADFD5236","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355755$01265308-29BF-4555-BE04-9915B4CD049B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e025d53680cc27a8c700ba6ba427fc946b2b04ab","datavalue":{"value":"1014244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355755$6995EB58-DBC5-4BF8-92E6-A48CD9415A29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc8f4639a3e260231485865cd67c27371f39fef3","datavalue":{"value":"paramodulation strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355755$36597C9D-B277-4AE2-92FD-04BE8D4CCBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c334276c34f3b4d2354ade5120d7155fd4b9a146","datavalue":{"value":"clauses with symbolic constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355755$78C29DF0-476B-43B0-B6B8-8705F58C01C2","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":"Q1355755$1A0D54F0-584F-4576-A982-8B630D47B265","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48861fe3d3ce6dfab81c57176e70a285a7e5854a","datavalue":{"value":"W2038734800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355755$087BB6EA-6092-446B-AB09-6C4AC0901B39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d433b6085d50150129d111944b544585f6a824ff","datavalue":{"value":"10.1006/JSCO.1996.0074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355755$7DC952A7-70CD-46CE-A405-715E429B125B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585a3b2bc065a3648569ba6099b363802ad78814","datavalue":{"value":{"entity-type":"item","numeric-id":5210796,"id":"Q5210796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ce952e13c361de89f7e27a0c1a1636030e65048","datavalue":{"value":{"amount":"+0.8049991726875305","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":"Q1355755$D288A24B-5728-4D6F-AC72-3A615246A60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2eb12de7a948e2e1b7677f03b3678c4a097a9d2","datavalue":{"value":{"entity-type":"item","numeric-id":5210795,"id":"Q5210795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11a223f5373e039a15fcceea91ac72a6174dc06f","datavalue":{"value":{"amount":"+0.8048165440559387","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":"Q1355755$2C5CAB62-4116-4760-9673-E5B38E08880C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd92e0fc7174e4ffaf184a88aa12a99beee1a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1199927,"id":"Q1199927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2e5a0fafed9ca07a2b3c6c3a183ef8a9a6cdc3","datavalue":{"value":{"amount":"+0.7810121774673462","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":"Q1355755$A4AA200D-2328-4FAA-BFB8-D3515F2EEE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa7ddd04ee380a60c66a29548ad3e6a9663d2d76","datavalue":{"value":{"entity-type":"item","numeric-id":1899908,"id":"Q1899908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a261212dd26aee89a2178232d6b6d121bccd7cc","datavalue":{"value":{"amount":"+0.7751402854919434","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":"Q1355755$8874961A-0D9E-408B-9EEC-806C5EE077D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Paramodulation with built-in AC-theories and symbolic constraints","badges":[]}}}}}