{"entities":{"Q3821628":{"pageid":5851534,"ns":120,"title":"Item:Q3821628","lastrevid":53962886,"modified":"2026-01-26T00:13:16Z","type":"item","id":"Q3821628","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4094864"}},"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":"Q3821628$F693FCD8-73FE-4307-B4DD-00B12C24D55E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fe78863718688954c2aa9038103a646bcedc076","datavalue":{"value":"0668.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821628$DD4ECA92-FE8C-4CCD-937C-493408717D56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4be3301cd970292cce02c71608c282412478f911","datavalue":{"value":{"entity-type":"item","numeric-id":360437,"id":"Q360437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3821628$66F0D521-34CA-4398-A3D1-2342F93BA2AA","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":"Q3821628$FB7B3E3E-9EB2-484B-91E0-61F3A3D90A61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821628$B84540D2-7692-4EA3-B5A7-B90594AB58FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821628$293573B0-7C16-4CCC-8394-544532044FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821628$EC8F55BD-A148-4CF2-9A92-1FE95CC52C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821628$B2B1AEFC-B07A-44C1-B43A-17F67B7B783A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f714f840e5048bde91128dc5f1ca84db1faa5cbd","datavalue":{"value":"4094864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821628$EE185190-7DAE-49F0-9B2F-4B7CE4FACC74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4421b72da5e69352497a79d6545f19cec17c3a4a","datavalue":{"value":"tableau method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821628$60BAADA6-9F37-4366-8CE8-ED190ED105F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821628$852E02FA-752E-4364-AA9C-39202728DAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821628$D54262D4-B702-438D-9994-C1A646CA3011","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":"Q3821628$83E0C750-58E4-4B2E-9D1F-B472B6B83B06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40e4025334441a53a3f698d2cf9c50a049ccad31","datavalue":{"value":{"entity-type":"item","numeric-id":3999019,"id":"Q3999019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c262cd02a08d3f987f6eacb0b9f9197707ec587b","datavalue":{"value":{"amount":"+0.7108075618743896","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":"Q3821628$77AE8EE6-4667-43D6-92C5-CD34EF354E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f358d54a823cccaceb21d2bcccb95854e3b497f","datavalue":{"value":{"entity-type":"item","numeric-id":3807643,"id":"Q3807643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da4904b563ed5af33484cc17b3aa5a9eeea3ce2f","datavalue":{"value":{"amount":"+0.7103502154350281","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":"Q3821628$517E3B8A-CB31-430C-9DD9-9D78C693333C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6fca6997d553581712dd8867e6bc53d7f4a57ca","datavalue":{"value":{"entity-type":"item","numeric-id":4039734,"id":"Q4039734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ae5ff561599f949abc204e5ebcd7f012042b49d","datavalue":{"value":{"amount":"+0.7058796286582947","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":"Q3821628$F1CC04F2-FEEB-4786-9BCB-06F10BC03BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02d8abe78196e9fd2a5401ab5e0bc500972f204d","datavalue":{"value":{"entity-type":"item","numeric-id":4729755,"id":"Q4729755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a029fa88cc0c1282c3ebf9d5ebe243ea739fb26","datavalue":{"value":{"amount":"+0.7039949893951416","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":"Q3821628$CFC6D391-668D-422C-8AAE-78DE95491FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"116ae40af25df1caab31ce7865056cc8623f9e19","datavalue":{"value":{"entity-type":"item","numeric-id":3789101,"id":"Q3789101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e09933f27516e6989b16d664f4ea529615c2f365","datavalue":{"value":{"amount":"+0.7038342952728271","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":"Q3821628$6485AB74-4E10-4647-A0BF-7B0030630C47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3821628","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3821628"}}}}}