{"entities":{"Q1209615":{"pageid":1220364,"ns":120,"title":"Item:Q1209615","lastrevid":47152537,"modified":"2025-12-31T20:38:26Z","type":"item","id":"Q1209615","labels":{"en":{"language":"en","value":"A general refutational completeness result for an inference procedure based on associative-commutative unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 168213"}},"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":"Q1209615$66CDA4A5-9497-4E2C-ABA9-38D0DDB87E2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"893874ed4d760078e14f8dd24d16bf54b1ef4f02","datavalue":{"value":{"text":"A general refutational completeness result for an inference procedure based on associative-commutative unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1209615$B64B5CA1-5930-49B4-AE0A-AD5A974B231A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a431e91c6a73a22538d7e271b14e428201ee459","datavalue":{"value":"0778.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209615$05D180D2-88F4-4B50-98DB-21F985CB694D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d5825bafb7d3ab4db0e6e8d193db91e4407a288","datavalue":{"value":{"entity-type":"item","numeric-id":1065782,"id":"Q1065782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209615$E4B5E5D0-55BE-452E-866C-2E6E9978AE46","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":"Q1209615$9F55D0C7-B1B4-44AB-92B2-8190726977B0","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":"Q1209615$3DFDE3DE-805B-4F74-9460-1158EF73A081","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209615$5223ED29-1A99-4A06-B6D5-8D4AA902ABF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"560fa3e384e3654be146fa04c4b57e66a90e8d35","datavalue":{"value":"168213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209615$D45DCE64-11E7-4422-8826-550CC3FB691B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d67e8a17154bd6acd6b1b9b8e808118a4e029e4","datavalue":{"value":"extension clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209615$4C9F6279-C4AB-42FD-97D3-E491999583B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46dc94510b65cc9194dc212b73cdc6bc5392283c","datavalue":{"value":"AC-paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209615$773226A0-42C1-413E-BF80-94A01C4C26C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b92356f305919490fca168d05f573ccb542e1f81","datavalue":{"value":"equality semantic tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209615$CF144C37-E8A6-4724-9924-359940098419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cb88fd25f6cc01abc758a416a95d939c49a71c0","datavalue":{"value":"\\(Q\\)- semantic tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209615$DD798147-BE7F-4EAD-A568-E1C62E7E266F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209615$B28559A9-0FA9-4DD3-B620-18216095EC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209615$B3040FD8-627B-42AB-82F4-BE79EFA16B0A","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":"Q1209615$8CE249BC-DF1A-47E9-B741-5795F81EF63F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ecda5e3a46bcf7593ba405dfe633a1c293b69b7","datavalue":{"value":{"entity-type":"item","numeric-id":1340508,"id":"Q1340508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbe43d7999ca7ed29dfeefbfa621539a06fc935b","datavalue":{"value":{"amount":"+0.8246123790740967","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":"Q1209615$9A6B7FD1-1605-40CD-BE6B-E71449B5699E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c33f30e9dad57eae1b4e76ad6357482eae0eedf8","datavalue":{"value":{"entity-type":"item","numeric-id":1355755,"id":"Q1355755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea6cfde92d240dfbe8b5902fe159c234571b36e","datavalue":{"value":{"amount":"+0.8177698850631714","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":"Q1209615$0C165AA3-A1BE-4F6A-B705-E24A251CCCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f5a42e658543452fe32c23cfa6bc53fd395c5ba","datavalue":{"value":{"entity-type":"item","numeric-id":5055849,"id":"Q5055849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8605c172829ae3fc7f6db2c6250d740fd402883a","datavalue":{"value":{"amount":"+0.781684398651123","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":"Q1209615$3542FA39-29FB-47D6-BB26-C6D06B50805E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3300315caebea1d75efab67bc0a04ca3d7c7808f","datavalue":{"value":{"entity-type":"item","numeric-id":4302847,"id":"Q4302847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71081466885f1c6cee53e7e37806cfeccb8bcbaf","datavalue":{"value":{"amount":"+0.7771309614181519","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":"Q1209615$195B859E-EBB0-42EF-B2B1-2795521B3CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95706b86adb6f9693edbee0db1fd8fe26e83786","datavalue":{"value":{"entity-type":"item","numeric-id":1099648,"id":"Q1099648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f559d79aee5c49d2359aae1912e5ae786981460","datavalue":{"value":{"amount":"+0.7709681391716003","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":"Q1209615$FF0CCDB0-5A5F-45C9-9AC4-89CF67508A3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1209615","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1209615"}}}}}