{"entities":{"Q4366789":{"pageid":6396388,"ns":120,"title":"Item:Q4366789","lastrevid":46981062,"modified":"2025-12-25T23:57:28Z","type":"item","id":"Q4366789","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1090795"}},"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":"Q4366789$7EC9FED5-1EEB-42B8-A073-314D02B75E06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19fd670b29952d92eff901353be59349d5c465b1","datavalue":{"value":"0945.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366789$E8D7BC4C-52CC-4769-A713-4DA59E4668D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c329b0cfbc1aaef98657d19e20547a5ad05c055a","datavalue":{"value":{"entity-type":"item","numeric-id":992325,"id":"Q992325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4366789$EDC8956E-B02A-4F48-82CE-1B9E89320CFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b983b29e1e8cdd108637d9152bbd8714d57929a2","datavalue":{"value":{"time":"+1997-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4366789$92916F63-A354-47AD-AC02-C125F0F2A7DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366789$6168865B-FCD0-41AB-8D82-2FDBDA7402CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366789$21DEF8FA-4219-4BF1-B3FE-1ED61C68B808","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c57f056ea6de7325cc56b5daaecf7f10753a08cd","datavalue":{"value":"1090795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366789$069966E6-47D7-4181-B554-6BB75F33D54A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb111f358878095d3946009d8137cbd7bc3b8f1c","datavalue":{"value":"formal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366789$25719870-3E53-436B-B6FA-22A86B373488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366789$6A73C0CD-CCCD-4BBA-BC7C-AFDCEF0295E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864bd2308ad6ae0190090d51f6b5e01742de2ffc","datavalue":{"value":"deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366789$4563C054-8113-4F5C-ABC8-A154CBF6A5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366789$B7C8D3BB-7033-49D5-9FC0-909D051246F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb0b8b9b2b371c3f140c1c48786baaa0b6922bc6","datavalue":{"value":"elementary set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366789$D5DCE6F5-EFCD-453C-8AF4-13FCBBC0D855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366789$8045D3F8-4A11-4705-9FF1-E67E2186C69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100336e59ffe810f6eb92fc3a35315a7e797f99a","datavalue":{"value":"specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366789$165473FE-3551-42DF-B8FF-4697A1DE2E01","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":"Q4366789$8D89DA1B-40EC-4D49-8824-812E7F20A054","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e07a0c65288fe347e6516a7ae4e870a28b0470dc","datavalue":{"value":{"entity-type":"item","numeric-id":3123443,"id":"Q3123443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cf8503d2d6307bae9fe7bbd468fb5088804b8c7","datavalue":{"value":{"amount":"+0.810894787311554","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":"Q4366789$EBA95026-8F24-4620-92ED-8DCE7AB31354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbfa8a6077f7c9a7a3380ec3f33c7a4bd8a4f542","datavalue":{"value":{"entity-type":"item","numeric-id":5491530,"id":"Q5491530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc420936c673c92d5fca941bee4860236df9252","datavalue":{"value":{"amount":"+0.7824230194091797","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":"Q4366789$E9CE40BD-8147-4E04-AAA2-F3F993F9CDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc49982ecf8ffefd3149f96cdf9fa2500f628262","datavalue":{"value":{"entity-type":"item","numeric-id":5434189,"id":"Q5434189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b56a2690723cb4b89fc93ace35baa93b51f6a0b2","datavalue":{"value":{"amount":"+0.755887508392334","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":"Q4366789$A475B4D6-BF33-47CA-B251-435202D7C0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d757d23d8b6bb2b455de019f5c3d220cadf444c","datavalue":{"value":{"entity-type":"item","numeric-id":4582006,"id":"Q4582006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58888c3b56ff2c886d7ffea496b5b5e50a34524e","datavalue":{"value":{"amount":"+0.75003981590271","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":"Q4366789$7373AD45-5885-4B02-AACD-B6578ABD24D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4366789","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4366789"}}}}}