{"entities":{"Q1702932":{"pageid":1713673,"ns":120,"title":"Item:Q1702932","lastrevid":72117168,"modified":"2026-04-14T02:45:21Z","type":"item","id":"Q1702932","labels":{"en":{"language":"en","value":"Property-directed inference of universal invariants or proving their absence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6845687"}},"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":"Q1702932$56FD9C56-07C6-4090-B9B0-53A9413BF28D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0bbf2e58853391bd554a5f01d7d5d89a0db1bff5","datavalue":{"value":{"text":"Property-directed inference of universal invariants or proving their absence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1702932$0B0DCFF0-7BD9-4953-9077-6511BCE852D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84ea7f2fd098e4948d9e9ece857ceb3124565997","datavalue":{"value":"1381.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702932$DB224E26-7B71-4D00-801E-395B5BDC974E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bce4f36bb9adf757844be6b1161aaef62ae00118","datavalue":{"value":"10.1007/978-3-319-21690-4_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702932$09DF0AC3-E423-4E0A-855B-9628608956B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cec177c60e5a5e06c4135c2d656205cdaac4e3ae","datavalue":{"value":{"entity-type":"item","numeric-id":259064,"id":"Q259064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702932$F1AD70BB-C993-4E94-8946-0FBC2B86A749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfc7b1b7ab0184a05cf0cccf558a3e1b198b2a30","datavalue":{"value":{"entity-type":"item","numeric-id":2324193,"id":"Q2324193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702932$5ACB0E08-2A73-4C01-8CCA-04E806C0B7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f1a755ad39b856fc5a2e4101b7c12f7b83c7256","datavalue":{"value":{"entity-type":"item","numeric-id":483050,"id":"Q483050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702932$5196EDD7-B580-40B5-8F87-6F1CC18A43E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"123bfafb2f4109e7c3df6b89fc9b0bf1a3482dfb","datavalue":{"value":{"entity-type":"item","numeric-id":784118,"id":"Q784118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702932$98A25C18-4593-40FB-808C-5EC7450C42C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5713d682d296f1e75a239a1684f9b620ca3af428","datavalue":{"value":{"entity-type":"item","numeric-id":615950,"id":"Q615950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702932$D8809766-AC8F-43C6-B2EC-E795FB3CDBA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ead1def560b38beae02ca12f5c5bf33059d8b8e","datavalue":{"value":{"time":"+2018-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1702932$D8B06DBC-2BBD-4FAA-8FF6-DFC8FECBB680","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702932$1E6D6B93-6506-4EA0-908B-FE3A403A9BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702932$0710199D-1D92-4DA3-A4B7-08054ED93D64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b82c30448484fe19a2e3210d58ea01fc52ca8fe","datavalue":{"value":"6845687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702932$1D012DE9-56F4-4746-A114-9A5CFD5673D3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"28cff576496c4ee6851a70884e3a4343ae4475ff","datavalue":{"value":{"entity-type":"item","numeric-id":25690,"id":"Q25690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702932$B73DDAAC-D233-47D6-A4DE-C161A633636C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702932$FB00C6F8-5D6C-4E5A-927C-1A394C4E181A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f72920035b67b72d36194fa1cacb9706003d48fb","datavalue":{"value":{"entity-type":"item","numeric-id":23847,"id":"Q23847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702932$1CD68F8D-4CE0-4CA6-821B-1AD45DB8218C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702932$D23FC39D-A3EA-49A1-928F-8D29B7CCB5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27ecdb249d937c8a623acb0b8586242460e60996","datavalue":{"value":{"entity-type":"item","numeric-id":40383,"id":"Q40383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702932$33BBBC5F-E391-44B7-A0FB-EFC14A589846","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":"Q1702932$75FA4948-63C9-4133-B9F2-EDA7423F4164","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b309b7dbbe0c40e2fb83cfbf9d32e0220c15c68","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21690-4_40","type":"string"},"datatype":"url"},"type":"statement","id":"Q1702932$698DFAFA-9E28-41D5-9EE6-8D5735DC0A1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4debb2d3f9529c3232fd505e415030c944777fc2","datavalue":{"value":"W944431708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702932$D65172BD-C621-498C-B3F0-E926F7E945DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a505f5185cc790a15e02721fd0da0e503f46206e","datavalue":{"value":{"entity-type":"item","numeric-id":3177887,"id":"Q3177887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01ad5f81e116d3133777b95517fbeff1a2828a93","datavalue":{"value":{"amount":"+0.9917045831680298","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":"Q1702932$DE76624A-F1E4-4DDF-A15C-4B8BDB37B702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"501587f1d5024fdaf6c3718f9d2901ae36121df6","datavalue":{"value":{"entity-type":"item","numeric-id":939166,"id":"Q939166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0dba00ecd31c6e912b837f4cbcb49287a713da5","datavalue":{"value":{"amount":"+0.7791435122489929","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":"Q1702932$A99F7EA4-4FEB-4132-A78C-98EDCCF86DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e0556055412afe4d9c6e8708f47dce5a6e5da3","datavalue":{"value":{"entity-type":"item","numeric-id":2961566,"id":"Q2961566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ebd00dc3e52968a8cf626fe6b8be94d9932d0d7","datavalue":{"value":{"amount":"+0.764769434928894","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":"Q1702932$E015DF62-B86E-4E90-A4A2-0C068F9230A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e06016963fa7603b778e3bb1f46482d10e1b53c1","datavalue":{"value":{"entity-type":"item","numeric-id":3648730,"id":"Q3648730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc01e4913004c44311d5d78df3b48a628126fb1","datavalue":{"value":{"amount":"+0.7487040162086487","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":"Q1702932$DFD58873-E769-4BA6-BB03-591FFB81658F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a601b7873b1373e7aa846c82044f5ed1d504783","datavalue":{"value":{"entity-type":"item","numeric-id":2796039,"id":"Q2796039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2177d2f75e259bd31aa6daf22d7ac7dfac0d9df0","datavalue":{"value":{"amount":"+0.747122585773468","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":"Q1702932$EEAB9EC4-0891-4762-A958-BA3CFC7BA063","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Property-directed inference of universal invariants or proving their absence","badges":[]}}}}}