{"entities":{"Q4999300":{"pageid":7028877,"ns":120,"title":"Item:Q4999300","lastrevid":58388787,"modified":"2026-04-05T00:20:03Z","type":"item","id":"Q4999300","labels":{"en":{"language":"en","value":"Property invariant embedding for automated reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7368510"}},"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":"Q4999300$23CAF704-6C8B-4B6A-A8C2-AD7D751CA8FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0778e89b6c0ffc1486e595fd553e84137fb46849","datavalue":{"value":"1464.68317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999300$E339C847-F7BA-416D-8FDB-226A5F97ECD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3dd72e6c4b39621fa4f3a4bc2f05ad6812a0041b","datavalue":{"value":"10.3233/FAIA200244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999300$8FD3AE42-C87B-4410-A597-ECF34021A00C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f262ccff1e45e707e9f2a40bf03c6342da98b7f","datavalue":{"value":{"entity-type":"item","numeric-id":831936,"id":"Q831936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999300$7D1A9749-578E-475D-9167-87B58B5A1E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad6a046b48bbe4ab777309f1d5c19b5fc7dfbda","datavalue":{"value":{"entity-type":"item","numeric-id":286799,"id":"Q286799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999300$0D2D3907-60E7-4E3A-A433-E45C7DABF669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc204e2e78d924e815f2b640ec35c8c2356ad41f","datavalue":{"value":{"entity-type":"item","numeric-id":286786,"id":"Q286786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999300$D0329DC2-81A0-43CF-B639-4FF3523637C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dea07e2e14cf0a66355cfc6e3cc2a283124ee993","datavalue":{"value":{"time":"+2021-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4999300$3106C6EB-6633-4D0F-964B-D37ACD62ADFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1be331d0a127d4adb260b60b707f3e429312bb3c","datavalue":{"value":"https://arxiv.org/abs/1911.12073","type":"string"},"datatype":"url"},"type":"statement","id":"Q4999300$9FF56CEF-7B5A-4B05-AB4E-0424B88CC09E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999300$D9E2DECF-C2DF-4146-AF5C-D11C3C7C785C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999300$326D1928-699F-4821-A81D-DFD28D9CAD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999300$175B067B-0DFB-4AE9-A1D0-FA1B4CBE63F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f262520048e309acf9726d366eeece6da10330df","datavalue":{"value":"7368510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999300$67AACAE9-4F9B-46B0-8FF9-AC61DEB098A7","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":"Q4999300$A05498F0-90ED-4E6C-B81C-3B6F06D9AE3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f30c338b15471376e69c1a9415f436ed234c90c2","datavalue":{"value":{"entity-type":"item","numeric-id":2055841,"id":"Q2055841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76ce39417b8a420527db580de5645392a56a3bba","datavalue":{"value":{"amount":"+0.6857155561447144","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":"Q4999300$F1A55E31-F82F-4513-837D-76DA21413F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c546c37062a648d50a89f0a16d38293ac6aa402","datavalue":{"value":{"entity-type":"item","numeric-id":2104548,"id":"Q2104548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9961277982bacd07fb0fb1e24005ed1f9700c86a","datavalue":{"value":{"amount":"+0.6781602501869202","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":"Q4999300$4F52F735-E76B-4C3D-8F9D-2ADE4C772559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31b46633ff74af5fab70e9ff04fad78fe0aa79d6","datavalue":{"value":{"entity-type":"item","numeric-id":2128800,"id":"Q2128800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87237a5abc21b74910ac8afe9d443f5594b63e26","datavalue":{"value":{"amount":"+0.661422073841095","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":"Q4999300$A9F26B67-B095-465F-BE6C-01B81EAE3390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ceebe865e77aff9416d0797ad6740927d1eddd","datavalue":{"value":{"entity-type":"item","numeric-id":3808065,"id":"Q3808065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3816aa391ef6698e4bc73028a191c14bac715e4","datavalue":{"value":{"amount":"+0.6580089330673218","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":"Q4999300$3D9FAE17-1567-4940-B709-4CE1C63D3F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7450ef75eab7759ec3e2c41e6b79462da7c276b1","datavalue":{"value":{"entity-type":"item","numeric-id":4645728,"id":"Q4645728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"174530218414ab712211f4b394cd0e77ae016742","datavalue":{"value":{"amount":"+0.6557230353355408","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":"Q4999300$C66B2CEB-6EAB-4FE2-ACFD-1B49B3D0F15D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4999300","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4999300"}}}}}