{"entities":{"Q1185013":{"pageid":1195762,"ns":120,"title":"Item:Q1185013","lastrevid":66791715,"modified":"2026-04-12T12:53:11Z","type":"item","id":"Q1185013","labels":{"en":{"language":"en","value":"Unrestricted resolution versus N-resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 35442"}},"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":"Q1185013$D600EA62-F6E2-4092-BB6A-78081FE0BBC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25867e205e57c727d296edf46d65a72e9e4fb095","datavalue":{"value":{"text":"Unrestricted resolution versus N-resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1185013$4DD4B8FF-526B-4629-BD9F-EABCD625D51E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"563b5b99230defd72671eeadf725d01ef96354cb","datavalue":{"value":"0745.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185013$AB8E711D-4B1E-4A1E-81DD-1641778B8E44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"886db5d3862751d51f6495423c215d831479729c","datavalue":{"value":"10.1016/0304-3975(92)90216-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185013$F7771750-CB26-4B6D-BC57-D2121B9E9136","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f77b99534bc776002bbbb76fab00244081288fe","datavalue":{"value":{"entity-type":"item","numeric-id":676450,"id":"Q676450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185013$1646E792-B4B1-44C0-B72F-7947F94A6A53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185013$EADDA5C7-B6FE-45B5-B724-31C5E4BB8746","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-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":"Q1185013$8FF05972-8B4B-4490-9D91-E85D429C62F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185013$CED86A49-FFDE-4664-B068-25F7649949E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185013$036D78FD-B214-4551-92F0-87D677FC64B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b30a4f9d1dc2d27359d7c7478d14ef0ece550e7","datavalue":{"value":"35442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185013$6ABD913A-F266-4D88-89EF-230A50F9BE0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1ff802ccd533c4307d584ef3b4a136798782a48","datavalue":{"value":"complexity of proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185013$97A8DAB6-EA9F-4307-A10E-99E3158C8116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0c038f742f9f1069d466d6f6a77f640f9903657","datavalue":{"value":"restriction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185013$212D0312-BA4B-48B6-9A28-D0465318A1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cd122ec6ff2ac11a6f95ff265fcc0719e2b1ab1","datavalue":{"value":"theorem-proving algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185013$C15CBD13-156F-4F0D-BE43-D56C94E832C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"953544a28d5ab4cb7e34af1c5898d51545244c4e","datavalue":{"value":"\\(N\\)-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185013$9925DA38-FCA3-47CE-977A-F3EE0387EDC8","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":"Q1185013$656D3C27-58DA-4519-BB8E-9B7A56AC1AE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ca5e5c54d03efeafef4ce2b510297429e14de3a","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90216-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1185013$A6A249FA-41C4-48F4-9DD5-33802B6EA202","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"811a68d3e34938a7cbab9b93b3d32b667f773cea","datavalue":{"value":"W2076663305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185013$E9D5701B-9CB8-49DD-ACAB-3C4E19AFD446","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5035ead90ebf2e92af4cb88fdfc91c7dfa88c06a","datavalue":{"value":{"entity-type":"item","numeric-id":920967,"id":"Q920967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185013$6BF9D74C-C270-4403-B127-33B7A3A1D081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185013$D85077DD-8AC3-45FE-BE78-39CB1B25CDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185013$88C82A1D-7118-418A-BB0D-A4D991835D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185013$62F79E06-A632-412B-8C50-244507DE676B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a35cc55e5b10a424a85f3ddcd5c540cf5328ff0d","datavalue":{"value":{"entity-type":"item","numeric-id":1249435,"id":"Q1249435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185013$CD0F17D5-1B7C-402F-A277-BCFD2065010A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185013$632C0939-22A6-41CD-850C-C470777FD6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cc6b50da59d61e4104676cfaa2ed0a6b850865","datavalue":{"value":{"entity-type":"item","numeric-id":5619635,"id":"Q5619635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185013$5F98A344-F497-45B2-A94D-54E85AA5BE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17712a187dc84422a99627a8301b6f187b072f31","datavalue":{"value":{"entity-type":"item","numeric-id":3777983,"id":"Q3777983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185013$F60BCB6A-96FD-4DBC-A6E1-164B3D8B44F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"764c075c90cc5f529b627cfa105bd25d7bbcfdf7","datavalue":{"value":{"entity-type":"item","numeric-id":3682461,"id":"Q3682461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185013$E29E0347-BFE8-4650-9BAC-63FBBF0D4A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab938ba3d2bb1de7d34dc0f9166735f59a48b21","datavalue":{"value":{"entity-type":"item","numeric-id":1114446,"id":"Q1114446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185013$8F61CCE4-81F8-4AF2-B842-7A116C52B698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185013$38D413E1-BFB3-424B-97B3-977E0BD15BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75089528348e2ee7d07dc2ae126b0ed3005ed24","datavalue":{"value":{"entity-type":"item","numeric-id":4096460,"id":"Q4096460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185013$328D90C2-A3CE-4CF0-8092-A6D55EFE360D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a96b14c50d6af749f6f7101fae5d2e3f6d86f6d2","datavalue":{"value":"Q126352572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185013$F7925113-E42A-480F-935C-AF924DC9FFFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b7af018f8b2ebf4b0b3e603a833e0faa6948251","datavalue":{"value":{"entity-type":"item","numeric-id":3358707,"id":"Q3358707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c035a60323fc24043f286519ee60aeeaa3a73bf","datavalue":{"value":{"amount":"+0.9778541326522828","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":"Q1185013$4DEDC444-8879-4E41-96D4-B1EC89E00115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d9812f44016d466ef24765bb45200244fd0e3cf","datavalue":{"value":{"entity-type":"item","numeric-id":1353991,"id":"Q1353991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b4fb1b30f7f07ca7946d9fcd8ea80ff7bbb784f","datavalue":{"value":{"amount":"+0.8529286980628967","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":"Q1185013$36A6669A-0BF4-4829-9B4B-5054FC662468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5856dd7dd9ddf199bc9d04e5efadc38ade5f7526","datavalue":{"value":{"entity-type":"item","numeric-id":2816413,"id":"Q2816413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b4fb1b30f7f07ca7946d9fcd8ea80ff7bbb784f","datavalue":{"value":{"amount":"+0.8529286980628967","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":"Q1185013$F2CD166B-F74C-42A9-8E5A-3AB62EB5E750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13a5bc9cbb5143c8e6f6dd1119ea1ec3e582b23d","datavalue":{"value":{"entity-type":"item","numeric-id":3137703,"id":"Q3137703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"366155c786337d01b37da2baf6fac4de9404a587","datavalue":{"value":{"amount":"+0.8125996589660645","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":"Q1185013$3F6AC50C-DBE9-4272-9A64-FECAB9A0B40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d6d0ce3b044943a59037d032b910bad4ac0cd6","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"366155c786337d01b37da2baf6fac4de9404a587","datavalue":{"value":{"amount":"+0.8125996589660645","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":"Q1185013$1E189687-0C00-419C-A751-19EE512C0573","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unrestricted resolution versus N-resolution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unrestricted_resolution_versus_N-resolution"}}}}}