{"entities":{"Q5881277":{"pageid":7910828,"ns":120,"title":"Item:Q5881277","lastrevid":47823904,"modified":"2026-01-02T19:24:33Z","type":"item","id":"Q5881277","labels":{"en":{"language":"en","value":"Knuth-bendix completion of horn clause programs for restricted linear resolution and paramodulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661648"}},"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":"Q5881277$813CC562-322B-48E6-A086-73FE8E11C4AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"344dff1141748b2f7fa0b460ffbac192ddf5643b","datavalue":{"value":{"text":"Knuth-bendix completion of horn clause programs for restricted linear resolution and paramodulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881277$5EE7D761-E210-4931-A71C-B8174AD8F99A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd184fd21f0099e2d21312aea87cbad7ae2c4d94","datavalue":{"value":"10.1007/3-540-54317-1_90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881277$753E0FB7-09E0-433A-BDEB-9C5DFB7A2CA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"714c0d950f882182116d50d41c888da80e1f046c","datavalue":{"value":{"entity-type":"item","numeric-id":3817578,"id":"Q3817578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881277$A58C1CFC-FAB4-4DC8-8616-960D71130258","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a4b5901641e74cf791bcdabc63125c8cff24565","datavalue":{"value":{"entity-type":"item","numeric-id":5881262,"id":"Q5881262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881277$A1B6E52E-5AF6-4C40-9809-DE8D29B92F1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa71b3b2a7b7ab0138de60bd723d67e92e6e5110","datavalue":{"value":{"time":"+2023-03-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":"Q5881277$360C0F35-CBC3-4AF8-80D5-6F0309BA1571","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881277$F31ECFDE-6956-42BC-9AEB-26BB4C12B3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881277$C2088563-CEE3-4E82-9BD2-357016751F3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da4aa1b0115cd43e941b4c45eac8564dcb68763f","datavalue":{"value":"7661648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881277$79CD8E63-CED8-4948-9468-6CD560AC0DA7","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":"Q5881277$C746766B-5C57-482D-A37B-82DEFBBEAF21","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19c102b95eb1961abcb4a96c7335aec9c329f4fa","datavalue":{"value":"https://doi.org/10.1007/3-540-54317-1_90","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881277$1C3B5B73-AFDF-4004-A646-A2D3CBAB5A9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbe45d24757bc72a78fdce71872b5f013285b302","datavalue":{"value":"W1537313229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881277$EE5A0866-01A3-46E4-96F9-7CA12BAB17E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba63cec2a86a6dc7431d441a20d30f64d69d94c","datavalue":{"value":{"entity-type":"item","numeric-id":5055711,"id":"Q5055711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881277$B2E87DB4-ADA5-40E6-B83B-3987F1735499","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":"Q5881277$0FFD372B-AF61-4325-985D-769E443FFB46","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":"Q5881277$808AAFE7-C0C7-4CB6-AD76-142A4B60A46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60e52e7e288b65c32f8ca859cbd3cca69d32d89","datavalue":{"value":{"entity-type":"item","numeric-id":1801319,"id":"Q1801319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881277$35DE26A8-DC0C-443B-984D-0B6B7F100695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b624435100aa332b4ed9a77a30a3c9fc845318a6","datavalue":{"value":{"entity-type":"item","numeric-id":3818295,"id":"Q3818295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881277$A3C8AC1D-2759-4F92-9CB4-1532156F39C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881277$C525E2BB-752D-48BC-8C31-D2F78CA3D3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e9bdddaebddb563767fdab13b5d71ba14f7f56","datavalue":{"value":{"entity-type":"item","numeric-id":4040341,"id":"Q4040341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881277$AD98F3B8-8476-4769-AC29-7836A411365F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d44b80ae72552fe355c6d62c8e6e6500eb145a21","datavalue":{"value":{"entity-type":"item","numeric-id":3806800,"id":"Q3806800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e3097241f7f234329ee18833129727d9b277264","datavalue":{"value":{"amount":"+0.835893988609314","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":"Q5881277$C57EB7DF-6D21-4A68-9E5F-B1DAF2392643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096d3275cb274c69c48366d1ebfdb48139456f16","datavalue":{"value":{"entity-type":"item","numeric-id":3698310,"id":"Q3698310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeca4f85b6203cfce012fb1279dde74fa478c7ea","datavalue":{"value":{"amount":"+0.8119017481803894","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":"Q5881277$5B5332F3-0E40-4980-B053-551035B118E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"710d404b1f7eddfa543075d27999e3ebcc49af7d","datavalue":{"value":{"entity-type":"item","numeric-id":1085152,"id":"Q1085152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e08b11f2e691c65524ffa83a3090f02846c33b","datavalue":{"value":{"amount":"+0.8118913173675537","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":"Q5881277$2CE925B0-D72F-44FF-99A0-A2DB42440FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99aed25df6cc93ea2ca523ca9a8585bcac4deb3e","datavalue":{"value":{"entity-type":"item","numeric-id":1824381,"id":"Q1824381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a23c010ebda800b3296039f5c4607280bb1d308","datavalue":{"value":{"amount":"+0.8060360550880432","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":"Q5881277$A71CF7DB-B50C-4F89-A90C-69F509769D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2567d3171f195e96f5fadcb5959ec11af9eb761a","datavalue":{"value":{"entity-type":"item","numeric-id":3725540,"id":"Q3725540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74357ab0b7eb3ca60c4ad7d32e216d0aa6f5ed0a","datavalue":{"value":{"amount":"+0.8051027059555054","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":"Q5881277$A16CB4A6-B009-4C39-8276-6DC5471551AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5881277","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5881277"}}}}}