{"entities":{"Q804567":{"pageid":806415,"ns":120,"title":"Item:Q804567","lastrevid":49503994,"modified":"2026-01-07T09:05:42Z","type":"item","id":"Q804567","labels":{"en":{"language":"en","value":"Multi-valued logic and Gr\u00f6bner bases with applications to modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4202244"}},"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":"Q804567$A11BDD13-6E67-461B-B15B-83C894EBCE4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"734cd54786d3ef8e6be4389ab6cfb4411af7c722","datavalue":{"value":{"text":"Multi-valued logic and Gr\u00f6bner bases with applications to modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q804567$3CCE154C-48EE-45A1-BB49-F7431AC6B5B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef66a593898cb54792ec2f7dbc180e5cd2454dcf","datavalue":{"value":"0728.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804567$DBFA5569-DC6F-40FD-BDF9-B7F9FCD9F36B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a56dcee4aae58f333396f46d28d141f8674a438","datavalue":{"value":"10.1016/S0747-7171(08)80043-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804567$C8A9D02A-E7EA-4F46-BEF3-C4DA4D40A0A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804567$D879F9E6-0D0C-4EC5-9608-B5C8546322D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804567$A5942FBA-AF92-4F04-9189-9D277B4726D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q804567$D7304227-07E0-4A30-934C-62094289D7B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804567$E9570627-839D-447D-873F-D6E5C6643A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804567$9B48247C-3607-43AD-8441-FF376E9A0628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804567$F086E317-ED56-490B-B0DF-AA095AA88CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804567$C0F0D2B1-FAEA-4E54-AB05-CF9E4143785E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e50e879f6b59d6c101c330fe63c8d2968d9dadc9","datavalue":{"value":"4202244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804567$3869820D-1190-4236-9AE5-E2DD3425BC65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856e320dea003be8066c713b15ecd4f50d63e44b","datavalue":{"value":"multi-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q804567$C887E69C-C901-4A0D-9B21-6534FF0A2DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbbae5dcaadfa419f127cff73ceeb2c322f9a67e","datavalue":{"value":"deduction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q804567$1D3B14C1-4E3C-4C09-94F6-908E6AA2E967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd5e075a12b724a19ec2060afbe28bb57d6da1cc","datavalue":{"value":"ideal membership in a polynomial ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q804567$C7BF910A-5CBF-48E3-BBE4-EB76678DBA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ad2001af29c5accebaf62aff07a41b63fd7eff4","datavalue":{"value":"Lukasiewicz's modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q804567$43575346-2D4E-4165-A3FD-F5573FBE23AA","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":"Q804567$7BCDC17A-ED65-4A05-86D4-910E9F549300","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2ff25c73f4a555312a382f1c103a698d99948a","datavalue":{"value":{"entity-type":"item","numeric-id":4133082,"id":"Q4133082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804567$0B7E2050-C9A7-438C-A320-8E834C741252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d87900de754ad2a3f7d55a3f915d6adeffa7325","datavalue":{"value":{"entity-type":"item","numeric-id":2544438,"id":"Q2544438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804567$8DED700E-2562-4CC4-ABC2-A4362A009F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7a76e3d93219f8f35922f7e651242be822568a","datavalue":{"value":{"entity-type":"item","numeric-id":3208084,"id":"Q3208084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804567$4EBA57B9-C444-4802-9457-7F2CBB98AED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ff57ef70bd9e86c9b7017e46b8cd84cb7965f4","datavalue":{"value":{"entity-type":"item","numeric-id":3714165,"id":"Q3714165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804567$F2E7248D-DAC8-400D-B55D-F2FC8159C5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37dd1bb7b8fbc44c91c36d3ec3d557247ca3b277","datavalue":{"value":{"entity-type":"item","numeric-id":3809230,"id":"Q3809230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804567$33F9CE3D-F003-4844-8A46-259EDCE77176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e4e03f3dd8f7362d729507ad34add946ab883b","datavalue":{"value":{"entity-type":"item","numeric-id":3674088,"id":"Q3674088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804567$145B5FC3-E525-4242-80DD-DCAAF1C68CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7814c93fd14c472a24a528c1ff4a97ba1b2c10db","datavalue":{"value":{"entity-type":"item","numeric-id":802317,"id":"Q802317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804567$D889E2FC-6E08-493A-AC3C-F3840A9B04D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a00e564510c152430ba9f59c7b7c4f0c9042fc","datavalue":{"value":{"entity-type":"item","numeric-id":1106657,"id":"Q1106657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804567$CC1F124B-5B1B-4A21-9751-A3C08E96B7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aaae8474431fe34aa5f87dff0cced3a248d4113","datavalue":{"value":{"entity-type":"item","numeric-id":3997000,"id":"Q3997000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804567$2A3F3395-8FBA-4476-8854-26B15D16301C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d855aedb6b8689008dfa235ba2981fd83a136c50","datavalue":{"value":{"entity-type":"item","numeric-id":5661846,"id":"Q5661846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804567$11C46E82-D9E1-431E-A0C7-4A5BFA79F876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02cadedd7a65e75efe02bdda275daf43b301610","datavalue":{"value":{"entity-type":"item","numeric-id":5763114,"id":"Q5763114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804567$9A5DC91D-E744-4ACD-9457-C6F3F7ED5DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e2d761ccb0b052ed932a9e25e1934d9433dace","datavalue":{"value":{"entity-type":"item","numeric-id":3745825,"id":"Q3745825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804567$1C6EFC71-68D1-4B11-9E14-6D646AFA7417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1e00ee3494b82b40a4282b8625cb57e2239ba15","datavalue":{"value":{"entity-type":"item","numeric-id":4149741,"id":"Q4149741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804567$419CC3E3-9C34-4E04-B8F9-33C67826DD5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99d9767dac5ec0f003ef625383627713210f9da8","datavalue":{"value":{"entity-type":"item","numeric-id":3123888,"id":"Q3123888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdcfb1e4766e6c0f01e0c5442711e3115c27533b","datavalue":{"value":{"amount":"+0.8251343369483948","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":"Q804567$EA23C24A-8379-471D-8A93-60028F538A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47c981cb60fa4774b207f7dddf9109dd99e7e8e","datavalue":{"value":{"entity-type":"item","numeric-id":1404692,"id":"Q1404692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f1c54b656bdd0bb11b017a5c4e09eece85a7e2b","datavalue":{"value":{"amount":"+0.8088169693946838","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":"Q804567$9BDFDD17-53CF-49FD-8158-6C8EA043AB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14d713b5916ad46eaa462fffa55722167e3ca7a","datavalue":{"value":{"entity-type":"item","numeric-id":4236072,"id":"Q4236072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f54671bd5f8004a401578e91d52391145a7903","datavalue":{"value":{"amount":"+0.8086604475975037","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":"Q804567$22EB709E-B599-48BD-9D1B-56592A5670F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25273cef471ad619db82c4efb5e38f62c3939538","datavalue":{"value":{"entity-type":"item","numeric-id":3021917,"id":"Q3021917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd1f22de5e2447d9405c90f1091c8c4ca9c33f59","datavalue":{"value":{"amount":"+0.8006371259689331","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":"Q804567$017E47C3-C4E0-4C18-AF84-938B36CBF4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4210334daf2a6f6f15643cde1b51f7cca196bb35","datavalue":{"value":{"entity-type":"item","numeric-id":5505497,"id":"Q5505497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6b86b500cdc76d848aad66aa57354145ca0c4a3","datavalue":{"value":{"amount":"+0.7985648512840271","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":"Q804567$2A312600-3A90-4323-A516-D19E9B66F975","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:804567","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:804567"}}}}}