{"entities":{"Q3792276":{"pageid":5822182,"ns":120,"title":"Item:Q3792276","lastrevid":52952204,"modified":"2026-01-23T21:35:49Z","type":"item","id":"Q3792276","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4057055"}},"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":"Q3792276$2C7147EA-9C74-4A39-8609-A38C66112B09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5aff022556253a10422bcaabbd54f85737543042","datavalue":{"value":"0647.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792276$2616128F-EF23-4292-83DE-A2A7A2DF23D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"136b81f9517b6a80e9707baa92ec50c0a2fb8f9a","datavalue":{"value":{"entity-type":"item","numeric-id":3145331,"id":"Q3145331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3792276$1899E3A6-04D9-4259-A407-660E30D19D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c22cf57abb2fd410d5ca78c3a908820dbe77767","datavalue":{"value":{"entity-type":"item","numeric-id":3792275,"id":"Q3792275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3792276$750386D7-97AB-4A5A-8B62-8229C8B80243","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":"Q3792276$91A5C2AD-8355-4A4E-9910-39EF9EFA0AC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792276$1CE6E9CF-0CE9-49A4-93B4-43384527BC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792276$F49CC863-79BE-447C-98ED-5DF7F15301FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792276$078DBE0C-2468-4A5D-A1F9-D6382D2F11EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792276$7E517419-5969-4671-A037-9EFF43710C62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b83dd9240fd4746432150fb514663f5c4877ac2d","datavalue":{"value":"4057055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792276$72D2EE5A-5A3A-4680-9FF2-CB6D07520ABD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ca106ef01d8fec4153d4b404b5a0c354d8066e","datavalue":{"value":"propositional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792276$EEDFEAFA-C370-45A5-8463-FBBFDE34F4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"241bae341f363dee07a7736604155256a14925af","datavalue":{"value":"algorithmic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792276$F0F3DA4B-23AB-4200-B4FE-607D478BF5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792276$9B714B72-8BF7-47BA-A6C4-8020B84AD6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a23647d6ede883dfc02eab52853a4d75d6a4609b","datavalue":{"value":"historical notes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792276$93D687E0-565D-4FAC-A51C-B6FE3EE103D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2035ce8da11f844bb65034c234274a2169dd2d1","datavalue":{"value":"bibliography","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792276$0712DABD-1875-4C0F-B9C6-6277AFF7CE1E","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":"Q3792276$C67E5762-C474-44DF-895E-6F3CB8890FCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"707e428e7a1bf1e7612f8c34f37e5832692b79f4","datavalue":{"value":{"entity-type":"item","numeric-id":3789107,"id":"Q3789107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"553e90bd31505d22be896fc210b5f6be247a6c2b","datavalue":{"value":{"amount":"+0.8517823219299316","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":"Q3792276$56EA3AAE-0C51-4459-8585-D86502CC7A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81818d93a27b1f5ded655e0b84e52ded387f87e7","datavalue":{"value":{"entity-type":"item","numeric-id":3996315,"id":"Q3996315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29dac991400e69ffbeb809181034c09afe03a84","datavalue":{"value":{"amount":"+0.8134173154830933","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":"Q3792276$F49BFCDE-7516-4D8E-9FB6-08CCCA5DDEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f66c58a5f788facb120d8d4dba16b5c336840ad5","datavalue":{"value":{"entity-type":"item","numeric-id":4001666,"id":"Q4001666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1b4959483fc8bc27ad8aa54322cc836d1fc4a53","datavalue":{"value":{"amount":"+0.7823500633239746","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":"Q3792276$B76BD212-F740-44CE-B7E3-2A90FC3E5D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b690ca30aaf4ab7c8d79d57c0270b4a23482b3a","datavalue":{"value":{"entity-type":"item","numeric-id":4041013,"id":"Q4041013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1b4959483fc8bc27ad8aa54322cc836d1fc4a53","datavalue":{"value":{"amount":"+0.7823500633239746","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":"Q3792276$413899CC-083A-4540-9BB3-E65B24324159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebeda66ad919da2068505ec6cb62abbf8df07469","datavalue":{"value":{"entity-type":"item","numeric-id":5905500,"id":"Q5905500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"546c24d4eae8e2deb2539ea44c01e09f178fd13f","datavalue":{"value":{"amount":"+0.7815240621566772","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":"Q3792276$D1E888F5-976B-40AA-BE18-A09B0CFC2A99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3792276","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3792276"}}}}}