{"entities":{"Q3838803":{"pageid":5868708,"ns":120,"title":"Item:Q3838803","lastrevid":54495932,"modified":"2026-01-27T10:27:54Z","type":"item","id":"Q3838803","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1189096"}},"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":"Q3838803$69D66661-0A28-4AF5-AE0E-2CABA102B9D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c00f9fe5c855ffd09988be3b363e2f7b135a7a5c","datavalue":{"value":"0910.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838803$C75CC9C0-0050-4094-8E87-0C115FBFBDAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63095d86c000f08026b5823fdf1f8a25bfef2e00","datavalue":{"value":{"entity-type":"item","numeric-id":167057,"id":"Q167057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3838803$826AA1A4-4A61-4975-B853-4DC592519369","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"598703f00d94fef55523c92c719be9981f1c620a","datavalue":{"value":{"time":"+1999-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3838803$A6657606-6568-43D3-A739-CD7E71EB73F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838803$7C8FC382-FE6A-4BC1-BB45-85CB96FE4321","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ec812cc51e267c9ab9089f7747c61ad40e1931b","datavalue":{"value":"1189096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838803$8662B4B2-8114-4A99-AB04-00F1FEA56784","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838803$0F744611-08BF-427E-9467-4FDA4785C415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e270a88b1a722195dfc81ac0696d3e9277cb23b6","datavalue":{"value":"model extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838803$F923CBA7-DC17-4325-A5BE-36C029FB19D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a6895475d08998a5e5489cca5af5310dace2eaf","datavalue":{"value":"hyper tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838803$22697D1A-C16D-41C8-91BD-DDEC195C8A78","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":"Q3838803$6B8B9C17-03AA-4831-B6CF-60A91AA2A77C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b8536a3e17f2a494be1ecf93d3a1e7c672768e8","datavalue":{"value":{"entity-type":"item","numeric-id":5235250,"id":"Q5235250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33d93adc19759445602984c08f85a33a0335de1b","datavalue":{"value":{"amount":"+0.889967143535614","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":"Q3838803$BE73B7DF-7117-4255-B104-2BDF18E51720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"702f614d3b1cf6db6263643d534e27ad9308dbcc","datavalue":{"value":{"entity-type":"item","numeric-id":5475621,"id":"Q5475621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33cc8cb4e8d9679cb146a4d709f1ef1334d8ed3e","datavalue":{"value":{"amount":"+0.8326101303100586","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":"Q3838803$5F434F2E-7347-4B10-8C93-C8D2589EF06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6775afbfbab38e695b755a444f34e4002f1cc655","datavalue":{"value":{"entity-type":"item","numeric-id":4783311,"id":"Q4783311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f9f19a16fbf3f2a81ccb7aaa7ebec01847ef24e","datavalue":{"value":{"amount":"+0.8315555453300476","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":"Q3838803$AC9CA3D8-CDED-4426-BB0A-32744111D52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fed39a206a07c7b5b7dfb40c30153123a625560d","datavalue":{"value":{"entity-type":"item","numeric-id":3406685,"id":"Q3406685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54e6fd7ac767f57132afc7fcce5736f750cb20e","datavalue":{"value":{"amount":"+0.8006827235221863","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":"Q3838803$379FE84E-C1E7-4D64-B45D-08F0C54669B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86f80878e3d6987e2d89acaf5e00e9e68411b0e","datavalue":{"value":{"entity-type":"item","numeric-id":5698235,"id":"Q5698235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37189fd3a19867fed4d3124162a70bf3bf6c3a39","datavalue":{"value":{"amount":"+0.7986551523208618","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":"Q3838803$227A8657-DB1E-435C-B97D-5D1B22413917","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3838803","badges":[]}}}}}