{"entities":{"Q3768858":{"pageid":5798764,"ns":120,"title":"Item:Q3768858","lastrevid":51863084,"modified":"2026-01-20T10:24:38Z","type":"item","id":"Q3768858","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4027415"}},"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":"Q3768858$AA0AFEA1-8E30-4300-B6B6-9B0007B60841","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5866d5f8e7ed3cac8bbd0a5365a7051b5f05f6d9","datavalue":{"value":"0632.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768858$F1C8F60A-0185-4880-9E17-610D731BA8BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3768858$AD89F679-4E90-4871-B2CB-081D0FB1490D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768858$5E232D2C-B768-447D-8006-267A66FE544D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768858$22A2F372-7265-4B98-BACB-E1554AD0687B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768858$33DC6617-E8A1-475F-A170-5E4A0FE749BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cb16d3bfb82ca1e832e3e8b2c327754caff3cff","datavalue":{"value":"4027415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768858$26142333-3570-46DA-9DA7-23504E8A7169","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768858$720EC522-757A-4393-94CF-085B20BA363E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768858$06307444-7C95-4487-BFDA-7E487E9931CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768858$F7474409-2F6C-491A-825D-58927FFAEFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f03331eda68c128964fa4d234f97104a9f7dbf","datavalue":{"value":"theory of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768858$8F3D5ADD-4D5B-4EAA-9FC5-2E2F47C1494E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92f25b9ea895f2b57606a79389bb66216727043","datavalue":{"value":"recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768858$66278E25-30E0-423A-9A86-C841077C85CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768858$3E9D1C08-7523-4794-9A19-30FEA4212B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768858$DB20CB56-6392-402D-B899-4433F8DC1AC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d03039664f86d7517c30a64acbdad4c2f746ab89","datavalue":{"value":{"entity-type":"item","numeric-id":431715,"id":"Q431715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768858$046E5930-F246-4E9F-805A-1A2DAFB80FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8735deae3225f716194dfca1cfe5307145d062","datavalue":{"value":{"entity-type":"item","numeric-id":1707926,"id":"Q1707926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768858$304A1ED3-D489-45D7-8200-2E72F58740C4","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":"Q3768858$743F9D08-0A0B-497A-B3F3-D54ECC414DEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da5336f60a47088be9b3012804f1893cb8cf86b","datavalue":{"value":{"entity-type":"item","numeric-id":3718676,"id":"Q3718676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4ad0dee37826333079fe9a4df88ff707f2426df","datavalue":{"value":{"amount":"+0.8516637086868286","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":"Q3768858$E75DE48F-5A85-4F20-B195-E952147F07A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9824552a2b16a6fbf63e4f8dba2b5434656dccc0","datavalue":{"value":{"entity-type":"item","numeric-id":4422745,"id":"Q4422745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e17750023dde0b05d41ed1391aff60e8f69bbc","datavalue":{"value":{"amount":"+0.8469347357749939","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":"Q3768858$DAD9150F-89B5-4F3B-98C3-A8D53C5D10BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb8d549a04857835a019f4b4a8bcbb8ab44252d7","datavalue":{"value":{"entity-type":"item","numeric-id":3516027,"id":"Q3516027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab2094ff382c9e345572492186afdfc34c82bd93","datavalue":{"value":{"amount":"+0.8466123342514038","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":"Q3768858$854C87E0-DDE1-403A-9348-16E148C0CE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faa2392f5d3c2519a17574e230fe21c38d686106","datavalue":{"value":{"entity-type":"item","numeric-id":4531074,"id":"Q4531074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"581c32edd96ba1051fa4dc2582c85c90b8266a1c","datavalue":{"value":{"amount":"+0.8445853590965271","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":"Q3768858$1ADA1FD7-0877-47A4-855B-193BECFF2559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1fa7a6dfc26f761bd7616cfbeb486b4083cd4d4","datavalue":{"value":{"entity-type":"item","numeric-id":4306655,"id":"Q4306655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71719ae5a31686aa29b74a513a606d613465070f","datavalue":{"value":{"amount":"+0.8432924747467041","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":"Q3768858$0E15F81C-D099-486E-A2F0-C89F007AB443","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3768858","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3768858"}}}}}