{"entities":{"Q3723724":{"pageid":5753630,"ns":120,"title":"Item:Q3723724","lastrevid":87586136,"modified":"2026-06-04T12:03:46Z","type":"item","id":"Q3723724","labels":{"en":{"language":"en","value":"Automated Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3954301"}},"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":"Q3723724$20CE9732-036D-456B-99EE-1C51880BAAAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee7003f7206c6919a03a135e6ae062ffff5ad19d","datavalue":{"value":{"text":"Automated Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3723724$3B14FAA0-5557-47CC-84E3-02B4EC3CF2BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2692115bfdff3efa7819dfc1f11241cb3e53a9d9","datavalue":{"value":"0593.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723724$26F5F861-B624-4716-8217-ABFF31C5219F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3811232f33300b6f00135f5bf60d1abffed43ed","datavalue":{"value":"10.2307/2322633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723724$B3555CF5-FDB8-4527-8609-64808771567E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb96b4ac991d1c9fabb6ef3d281db52e4eb2e155","datavalue":{"value":{"entity-type":"item","numeric-id":93751,"id":"Q93751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3723724$55B9DF99-7171-4A33-880D-23DF2C101FEB","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":"Q3723724$F1624F8E-2FCD-4C68-9E69-E2C3B492409A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723724$816EED0C-BAD8-4A2D-9B20-64FE7E2DA237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723724$498398A1-4E39-46CE-983A-5CFFDE36A1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723724$8398905F-FBC4-408D-8DB2-0F0F8091AFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723724$91463E5C-E96B-4E23-904A-9DDD65BC138F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723724$8E9BAC72-C9C7-423F-B1BF-E6826DB2465E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723724$49C2C98E-44B7-4729-B2DF-02DBA1B2AEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723724$D02899E4-C325-456D-AC56-1D2CE707C89F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df37e136c41c648a183b105486f8554035e41152","datavalue":{"value":"3954301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723724$D16764F0-32CC-40E0-A48A-946D7EE1BAFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723724$78F05419-07D1-4347-95F9-9D8CD549962A","rank":"normal"}],"P1463":[{"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":"Q3723724$C1A9C8E9-ED85-4DC5-8D6D-8E0C0AACD6BF","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":"Q3723724$EF50603F-F4CB-4CFB-9C5E-8824DDC5115A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"986a7c8ecfa17eec7debf7031a3288eeae303c5b","datavalue":{"value":"https://doi.org/10.2307/2322633","type":"string"},"datatype":"url"},"type":"statement","id":"Q3723724$AA038719-CA90-4740-8CFB-1936DE313109","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0c34c6adcdb79621e60920153a30ef01bef7e5a","datavalue":{"value":"W4240619131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723724$59D8D498-6767-494A-ABA6-4D4BD3C1E0A1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3083b17bdc0f618ad5fe8a7f9aba5d5f452a1545","datavalue":{"value":"Q114252040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723724$BB5DCCE1-835C-43A4-B47A-4249B35FCBE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated Reasoning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_Reasoning"}}}}}