{"entities":{"Q3553161":{"pageid":5583065,"ns":120,"title":"Item:Q3553161","lastrevid":50963552,"modified":"2026-01-15T23:11:52Z","type":"item","id":"Q3553161","labels":{"en":{"language":"en","value":"On resolution strategies with weak factorization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5697790"}},"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":"Q3553161$CD0AF8F1-08CF-417F-A58B-89C4E4FD527F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa7b11f39d7ec83ea437b76b8acb20865ae4d07e","datavalue":{"value":"1199.68362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553161$9CEDE81A-C92F-481A-9C48-4E2E797C2DA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"579aa42725621d822a1fc9974ceeb7eba1524b38","datavalue":{"value":{"entity-type":"item","numeric-id":3553160,"id":"Q3553160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3553161$217E4557-4228-4712-B344-DA15128D48F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f02be9883d625fd3319136e8ae50da56a98c787","datavalue":{"value":{"time":"+2010-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3553161$3586C6A7-7D7E-4785-BCE4-189CA74F92FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553161$8808FDB9-51D0-49A6-AEAF-622229E2E01B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9366e6825156ef5d4cd3904de4d12f1b3ff30bb0","datavalue":{"value":"5697790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553161$0ACCB7B8-172D-44B1-AF15-3474468562F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cec186bb3c684a6974081639497c11783a9fa53","datavalue":{"value":"clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553161$179178BF-AB83-490B-946D-7C88E8791FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88cb79a79a11bbbb9e3e97571562ce458d0b0050","datavalue":{"value":"linear resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553161$B9B5BF00-E1CD-4DD9-8D69-D5E3EA750B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"406d2f6080f132e5addf10b627bc55fc1d39e76b","datavalue":{"value":"completeness of refutation method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553161$BD44C69A-EB37-4388-8380-03B754355D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3184b11a31d7da69732803fd79ace03f08629407","datavalue":{"value":"factorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553161$F20C8D74-DA18-41D3-9902-F95A5D90E200","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":"Q3553161$340D39E6-CD68-470F-9C83-7FDD4EBA8CF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6acacedaa7923a1afadb7acccc332f1221229d90","datavalue":{"value":{"entity-type":"item","numeric-id":3441199,"id":"Q3441199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2118098d57ed8e9735af2b22e45859469194080","datavalue":{"value":{"amount":"+0.8568401336669922","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":"Q3553161$319FCB8A-E3E1-4BE1-8522-3FF473504EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a51152fb9e65ab4f47b1cbc1560f5c6819aaba5","datavalue":{"value":{"entity-type":"item","numeric-id":3804234,"id":"Q3804234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af0c7f5c6baf3b2686e4a08e8c71e127348997c","datavalue":{"value":{"amount":"+0.7924725413322449","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":"Q3553161$BE857C18-EAF2-4D3B-9369-482C2E94C83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2439d4f162250de37e0e06ab34e7fe33be00c96","datavalue":{"value":{"entity-type":"item","numeric-id":2932871,"id":"Q2932871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e23c47ff4c2c6972a494bcf5c9d549f5f32170bb","datavalue":{"value":{"amount":"+0.78167325258255","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":"Q3553161$CEFBF5AC-331A-47C1-8C08-F3469F4EB75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a3439ac502b6e53cdab3f76e7360d6b532f97fc","datavalue":{"value":{"entity-type":"item","numeric-id":1115411,"id":"Q1115411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aed44b112678b86c77eb3e1fb3884c7d41964ecc","datavalue":{"value":{"amount":"+0.7803778052330017","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":"Q3553161$788C0EA1-2F5F-453F-9458-C50CCF4AF40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af364cf85df2a7c577ffce42e13d9916b4ca2acd","datavalue":{"value":{"entity-type":"item","numeric-id":1314284,"id":"Q1314284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5922c9d97080306bb55b7138c694bd4d88c8e0a2","datavalue":{"value":{"amount":"+0.7802128195762634","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":"Q3553161$47A19AC3-EEE1-4776-8404-F430AB0FD7F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3553161","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3553161"}}}}}