{"entities":{"Q4544342":{"pageid":6573934,"ns":120,"title":"Item:Q4544342","lastrevid":47953609,"modified":"2026-01-03T04:23:38Z","type":"item","id":"Q4544342","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1775515"}},"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":"Q4544342$1BE6CCC3-7229-42CC-8758-5F73AAD02D98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"305b05a2aed6439e6a4b9fc17c849dbed426c488","datavalue":{"value":"1019.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4544342$2E82C25D-FD1F-4154-9569-393D689FF99C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ea72ecee982e1dcddee303e9fb3aea539cf87","datavalue":{"value":{"entity-type":"item","numeric-id":592080,"id":"Q592080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4544342$703B805A-0E0B-4587-9894-49F41D048BF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0ad5a041ba241aa8acd7b1ba5ce82be5f4fc6ba","datavalue":{"value":{"time":"+2002-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4544342$C73AF85A-C50C-4AD7-BDD8-DAF6D8F79ECB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4544342$E573D8DA-3031-46EB-859F-27C480DD7EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4544342$57002746-467A-4270-9CD6-BFD93F50DD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4544342$5CF4DF3A-D463-42DE-845F-53F83206BF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4544342$56B03967-B257-48FE-B613-C256880A57D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a17d5ccbafd1d7f2ea2df4044dab7dd33bda59f1","datavalue":{"value":"1775515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4544342$96DFCAE1-28FC-4EED-8C2A-DE5D249E5DC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4544342$52A89F63-BB55-41FC-BE06-66C514C7C8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4544342$A038A952-AA97-430C-BEE1-069079927E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabf0147a2477f9d5b36f07617332c9ddcf9e122","datavalue":{"value":"many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4544342$BE60A814-1A0E-45C8-84E6-9A9C05A0B7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8683380a0de068912484210ebac0222ef48533d2","datavalue":{"value":"distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q4544342$22982629-1B40-4E80-816D-BB03DA01F7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08503ff68fda0185e5c7ee17350804ec8b84a271","datavalue":{"value":"Priestley duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4544342$B1BA667B-3664-4699-8352-00F9051F8D08","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":"Q4544342$DF83ACEE-725D-4B2B-AC66-29F0D5560EEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6021f70475ec456907b1059df7b91dfa79a09357","datavalue":{"value":{"entity-type":"item","numeric-id":1897558,"id":"Q1897558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bda3970adc72d9db13b5f0f458f714a747e7baf","datavalue":{"value":{"amount":"+0.8735170364379883","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":"Q4544342$7FAB9942-F976-432D-AFAA-8503E5C32839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc47d5d7bda03aa5f81bd804c6f977624a87a40a","datavalue":{"value":{"entity-type":"item","numeric-id":4289327,"id":"Q4289327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a54e7abfc603915a5defe6774a910f6d031aea68","datavalue":{"value":{"amount":"+0.8704513311386108","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":"Q4544342$7116399E-5176-4EEC-9D8C-B3129AC59676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"778e3380839cafff1f1a1f4aa5d3370b75847bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4503916,"id":"Q4503916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987c03887bb4f4d509881d3cc1d77de07a11023d","datavalue":{"value":{"amount":"+0.829997181892395","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":"Q4544342$6AA91013-6CFD-48FF-8CE8-1A6F8CCA7FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af54a7870ca0d13931e6592961d66440dbdf3adc","datavalue":{"value":{"entity-type":"item","numeric-id":4380155,"id":"Q4380155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b079a021184cbd47df9564283ed29a7aa2461038","datavalue":{"value":{"amount":"+0.828824520111084","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":"Q4544342$0FE05138-409C-4EA6-B572-CA842A026D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3c9e9751b2f626072990ed5ebb4122586aea839","datavalue":{"value":{"entity-type":"item","numeric-id":3976578,"id":"Q3976578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9af2adc21587607d131fb97eed0c7a80c4f1c254","datavalue":{"value":{"amount":"+0.8027598857879639","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":"Q4544342$0B25BDC3-76DE-4D7F-8AEA-DC5623F0AD9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4544342","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4544342"}}}}}