{"entities":{"Q2851676":{"pageid":2862396,"ns":120,"title":"Item:Q2851676","lastrevid":58020117,"modified":"2026-04-03T11:47:52Z","type":"item","id":"Q2851676","labels":{"en":{"language":"en","value":"Implicit resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6215588"}},"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":"Q2851676$A98CD758-72FF-4D3E-8FDC-99381F940652","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b789d0694dd5fd3d5fee8631c25cfc44ee5f16a","datavalue":{"value":"1297.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851676$A94B0AEF-D6EE-419D-BC10-741399F8AC59","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1d071e52f65a69f9d96675cf207adf22d8dd6f2","datavalue":{"value":"10.2168/LMCS-9(4:7)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851676$B5F07861-4E3E-4C25-88A7-3BE18AE87772","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ef76ec7298aecb91b38e5cdd83a9c96880c7f7e","datavalue":{"value":{"entity-type":"item","numeric-id":2851675,"id":"Q2851675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851676$EFFA8A87-8823-467B-996D-B7D4365A1256","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851676$5323C059-F4D7-4ABB-A30B-8A7FFF24DF6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e66e529c7db342e2e69c7d5a949f71cd11d4666c","datavalue":{"value":{"time":"+2013-10-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":"Q2851676$200D8085-B92E-4370-9F0C-8CA05D57B240","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f9fb9cf03aa30510d3347927713712e3a944f04","datavalue":{"value":"https://arxiv.org/abs/1308.5608","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851676$5BDF7EDD-D569-4371-B0C9-EC3E610CA90B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851676$4548CB35-48D7-4785-8AB7-A09DEF2960D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29ba2737fc16cea41af042eced41e737fb672ff2","datavalue":{"value":"6215588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851676$8338BAD3-D03B-43B1-8426-EA61A2FA530F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48614b3e35b84d9c025b4a8a23eebe3994aac895","datavalue":{"value":"implicit proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851676$2424E59B-59C9-4E7B-9A71-B5D444554BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851676$F4946A90-6DB3-44C5-A637-CA2A2E816CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909a9d5ba5d586cae1f3eb27ba8cd7fbe3fab9e4","datavalue":{"value":"Extended Frege","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851676$C03C246C-C590-4014-94FC-345F89936BBF","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":"Q2851676$8E7F05DF-4C13-4D44-8104-92FE411C7EE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"277344eb5354fbe7bcfacda0565bd914365d90c0","datavalue":{"value":{"text":"Implicit resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851676$94ED541E-5A3E-407C-A368-B182F06A5FA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d12a8926ad32fe635ba23d0b7aeef387590aecf","datavalue":{"value":{"entity-type":"item","numeric-id":5311729,"id":"Q5311729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b5273c3f8b1327a17f16627e4b092f12e185c58","datavalue":{"value":{"amount":"+0.8028196096420288","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":"Q2851676$B12C4BDD-95D5-4563-B728-5510BB72EEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a13204615f85c9fa4953a0f158a78851a47c05","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"433b1f3a335cbb5688476ac811d4af849f342c97","datavalue":{"value":{"amount":"+0.7236517071723938","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":"Q2851676$9D5A2670-E95F-4B19-AF32-EB86A241EF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b79ff46c62eb19ec3b05b87662de25751c1c66c8","datavalue":{"value":{"entity-type":"item","numeric-id":1881219,"id":"Q1881219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04413843c336ba7ae45a71877ef3ac148e46ce6a","datavalue":{"value":{"amount":"+0.7194173336029053","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":"Q2851676$99479E69-1D28-4282-B807-9FE53BC4204B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a81e83bb15280ef3eb461e6946913d06ecf871f","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3060faebc2ed3ea534ef09afdef1fe15209788a7","datavalue":{"value":{"amount":"+0.7154178023338318","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":"Q2851676$8AEDDEE4-B704-4BFE-AD66-7868D3C1F4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c518395aa246f622d0c2ee99208bae427a398f65","datavalue":{"value":{"entity-type":"item","numeric-id":952492,"id":"Q952492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f395e70ac60ad1be74f02c8341ef8dbf810544be","datavalue":{"value":{"amount":"+0.7121045589447021","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":"Q2851676$7CB97D43-98A7-4946-865E-145A6F6B2E6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851676","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851676"}}}}}