{"entities":{"Q3685174":{"pageid":5715080,"ns":120,"title":"Item:Q3685174","lastrevid":50103457,"modified":"2026-01-12T23:04:56Z","type":"item","id":"Q3685174","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3907753"}},"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":"Q3685174$6D5D6061-24FD-4C4E-919F-ED851BC78A38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd28d7dec7a4c36ba1fc6fb020060a70d1ce10e6","datavalue":{"value":"0568.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3685174$7623AF96-2213-4748-9510-1C1EA2C1956C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3685174$25B77D1E-D527-4263-A575-DC06BCB6440A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98daa176291d3f31b004bb8af3845f694af2604d","datavalue":{"value":{"entity-type":"item","numeric-id":1095644,"id":"Q1095644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3685174$E5DB856D-E0B2-4579-8BF4-0D0EF665E6FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3685174$92970894-6E9D-4920-B4AD-621E2E6045F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3685174$470A7941-E8E7-4899-987B-7988B38B3B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3685174$64C3D6A4-66C3-4D22-AF14-A419E6EFFEEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18fe97e420cd84fba11a4a87ef231698c6a7e86c","datavalue":{"value":"3907753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3685174$25CC290D-71A7-4970-8E68-DE3FC3A020A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e81400e2def23f37fb871ee929549398794576d5","datavalue":{"value":"synthesizing data type implementations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685174$9265A8A1-2A12-4D9A-BEEC-F78D7AE3A3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685174$AD26FAFC-57ED-4D5F-B8DB-1815F2B496EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685174$514DD8A1-7F9D-4AC6-9A5A-CD04CCB58A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"968154142f4a673f669385ee68d8f299d2b6cd78","datavalue":{"value":"proving theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685174$5029BDB0-12F5-4806-8FE8-4C0BA68A4F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685174$60BD646A-A1D8-455F-B7FF-45246DED775F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33ecf041eedbe3fee8d29905fed91e77f22410fe","datavalue":{"value":"instantiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685174$33BE4EF7-B39D-47F1-B147-CECD0D91713F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6065b14e68a4605ad3192872115bf4f2c9698e3f","datavalue":{"value":"simplication","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685174$E04D6F4A-1FB9-4D61-BE88-F133314DBB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a56e5793ea33870a204239ad40fe7f02bf24fac2","datavalue":{"value":"expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685174$0C9AF9D9-E7D2-485B-89A8-044710739708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7afb061a59320873c389bd9854f262530ac13ad","datavalue":{"value":"hypothesis testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685174$9441D694-5C02-415E-B0C8-DEBCDA966298","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":"Q3685174$98CC3841-BF44-4A9F-9846-F0641663ACF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f9fe438505a2dbe16dc225f18127783c2b282e8","datavalue":{"value":{"entity-type":"item","numeric-id":3687693,"id":"Q3687693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a566d436f3e0de281698a1c4926dd453fca05c0","datavalue":{"value":{"amount":"+0.788642168045044","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":"Q3685174$A50E941E-09CF-4403-91B6-9994DF7FBC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf46f319d63f9e0789f735f4c58c45d4094b2ea7","datavalue":{"value":{"entity-type":"item","numeric-id":3780492,"id":"Q3780492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e349b476bf805037a3e15368be75451990b72724","datavalue":{"value":{"amount":"+0.7684754729270935","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":"Q3685174$B1D4FA6C-6E04-413C-A2D5-C2BCB28D620A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dfd27a861a5d2cbac0f6e40623ae835e5489daa","datavalue":{"value":{"entity-type":"item","numeric-id":5881289,"id":"Q5881289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"addef72ea6854b14983169c58c138bde6092b311","datavalue":{"value":{"amount":"+0.7572227716445923","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":"Q3685174$19B93871-1A37-483F-8B88-3031B3F0AC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf0f16f9bd2a779f2f0fde3110857be40584aed","datavalue":{"value":{"entity-type":"item","numeric-id":1322836,"id":"Q1322836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8bf5cc7d5f96dd127f07b56c24b77095a3fcdb3","datavalue":{"value":{"amount":"+0.7563661932945251","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":"Q3685174$E4E37FBF-9C84-4202-B457-1D2A72363FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7930b793b2b9c66b5d16571462f9cf7e55bf7a","datavalue":{"value":{"entity-type":"item","numeric-id":3314972,"id":"Q3314972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d02dd6dee88cd0d0ced674e175b42634a414690","datavalue":{"value":{"amount":"+0.7562536597251892","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":"Q3685174$914E8C6E-4467-4550-8A1F-5BEC0978A6FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3685174","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3685174"}}}}}