{"entities":{"Q1771316":{"pageid":1782058,"ns":120,"title":"Item:Q1771316","lastrevid":69284928,"modified":"2026-04-13T05:59:37Z","type":"item","id":"Q1771316","labels":{"en":{"language":"en","value":"The complexity of resolution with generalized symmetry rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2159486"}},"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":"Q1771316$B00AC1F6-76FE-4DF8-8202-D2646B77C452","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a024ae7ca3a6b1436dd097f12ac391e4a398c70","datavalue":{"value":{"text":"The complexity of resolution with generalized symmetry rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1771316$E0ECF71B-C02C-41AE-8C82-06D4FD7A84C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17f774a45c27b10fc4f100fef4374fe4c8c2431e","datavalue":{"value":"1066.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771316$3ED71DA0-3E5B-447B-9E3C-7F724F101698","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771316$82C42488-ADC6-4A7F-9B6F-AEDE58242D50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771316$CCDFEF90-BAEC-46A4-B301-8C511FB81342","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb70300f99f400e55c13fd1158ba931b60602038","datavalue":{"value":{"time":"+2005-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1771316$D5268B9C-2ADD-4995-87A0-4EAEBBCD36F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f4306ef11c1c5c31c3bc4fc3ef8fdf6e6398c0a","datavalue":{"value":"http://dro.dur.ac.uk/1909/1/1909.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1771316$08761AD2-6982-4D57-A23E-3C74D81DED04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771316$F2BE7CAF-2FFB-4951-A0EF-DEB6B5CF0728","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea0ed81d7d93cad212bc91e347edd81ad4dcf3e5","datavalue":{"value":"2159486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771316$CF684A9C-862D-49E1-9E59-CC5833C88D15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"518ce0f0f489758dead9988f2fff8616dd9cef0e","datavalue":{"value":"symmetry rule for resolution systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771316$FBCD3361-A817-4EB0-8B7E-080E6D6DF551","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":"Q1771316$13AFBEE5-6930-421B-8B64-2BC3919330B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a3f8d225b70e773680f005ca06aa1a2d23c34ee","datavalue":{"value":"W2905990799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771316$2978E774-796B-4F18-918F-6EDD647A459A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a54175fb2ce9eab875674719966169bd9d692892","datavalue":{"value":"10.1007/S00224-004-1192-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771316$A07844D6-C3C2-4B5B-B5D6-E2A35EE8CC3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f584b6e7aaa9f9e37c6f1d0079e14e6c14d9a6bb","datavalue":{"value":{"entity-type":"item","numeric-id":4418674,"id":"Q4418674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5413622ed7d9457fc65ba8186d11ccf53e2e58a3","datavalue":{"value":{"amount":"+0.999520480632782","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":"Q1771316$17950DC7-6024-4847-9CC4-494BD81C51E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2358e39ed0ddeec0e70be90b5233c75d6251e39","datavalue":{"value":{"entity-type":"item","numeric-id":1961453,"id":"Q1961453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d1fbace7375ecf3a58cd96a64ed8e888e0937c8","datavalue":{"value":{"amount":"+0.8517013192176819","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":"Q1771316$ABF2EAEF-AEBD-483C-81F9-B2BBF90C2639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2751114c00a17d679338a004e070436da1909b","datavalue":{"value":{"entity-type":"item","numeric-id":2721182,"id":"Q2721182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99b989e71f8766d726342a8082dc979a919ed6f6","datavalue":{"value":{"amount":"+0.8275216221809387","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":"Q1771316$BC3C0898-369C-41D1-8E96-0CC3DC3E4187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978aaa6bd41dd861db1c8203a087e01f8c2c05af","datavalue":{"value":{"entity-type":"item","numeric-id":4282509,"id":"Q4282509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec23bc334bb24074b63365c1b01faf6c8e2bcb5e","datavalue":{"value":{"amount":"+0.8091223835945129","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":"Q1771316$BD4250B4-2DDE-4933-8A16-4338EC8F6C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71dffc636bbcd3c5a67d6c16300f69edcd1ce5f0","datavalue":{"value":{"entity-type":"item","numeric-id":800909,"id":"Q800909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84f1295c89815d6658d2976907f78eff7450c838","datavalue":{"value":{"amount":"+0.7672457695007324","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":"Q1771316$2C5BB279-03F5-4CD2-8332-B82136256F7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of resolution with generalized symmetry rules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_resolution_with_generalized_symmetry_rules"}}}}}