{"entities":{"Q4586158":{"pageid":6615743,"ns":120,"title":"Item:Q4586158","lastrevid":53200619,"modified":"2026-01-24T11:03:45Z","type":"item","id":"Q4586158","labels":{"en":{"language":"en","value":"On polynomial semantics for propositional logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6935612"}},"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":"Q4586158$82157C68-B8EA-4CBC-89EC-CAD05A45247E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3749789da4a24ad2de9c1a1009737c47c11d584","datavalue":{"value":{"text":"On polynomial semantics for propositional logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4586158$B3133D4E-F599-4D02-AD36-CE8B080C1BDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b285952d86ace9d3daee8950a8882dd6b7484c60","datavalue":{"value":"1398.03134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586158$9E161766-9A83-485B-BFF5-B77B5A37593D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b0fb6901a3bed8c6462dcde3a227a5cc38c28ed","datavalue":{"value":"10.1080/11663081.2016.1198529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586158$D810FF0F-5ADC-4517-A4E7-4C7B981AB9EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eb56cedfc1b0b7fa8d41bde60a2d0fb3dcfbe79","datavalue":{"value":{"entity-type":"item","numeric-id":2399602,"id":"Q2399602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586158$862F2DF9-24C5-4285-995A-46DA00EC7BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0639c39c75718f554904efdf656dbbb4ec2d62af","datavalue":{"value":{"entity-type":"item","numeric-id":4586156,"id":"Q4586156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586158$89633F1B-2C14-4B17-A474-E6448BE3E784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7caf4f9bda92069f33a866c50ffba439d17a730","datavalue":{"value":{"entity-type":"item","numeric-id":4586157,"id":"Q4586157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586158$70765F3F-1FB1-45CF-97E2-6A0727F5AEBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586158$BD6D3701-23D6-4885-8FFB-02E805EF2653","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"655dac8f5dda40a8d093e159bbdfdcfade2b2927","datavalue":{"value":{"time":"+2018-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4586158$6147817B-19A8-4500-8243-F2379DE382BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586158$AD8745BE-CB1B-4A0F-873D-DE10FB94E301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586158$2CCE6FE5-9233-42DE-9B77-69C7C135C25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9cf30409c08d8794814df406302eff616099c6f","datavalue":{"value":"12D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586158$8C078FC0-2B94-4699-A526-F607D5FDC2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586158$5231ABD5-DBD4-4F15-B179-B36485E36208","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82a7bc8a014dacd113254a7b2fe9b03a00e11e34","datavalue":{"value":"6935612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586158$DBC910C8-2696-45A8-AB42-997210763B7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db69c84fb2b6a718f7f9157f85fc0d7e1d35bf18","datavalue":{"value":"polynomial semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586158$7BA7F3AA-A43A-4F5E-AC74-3E6515604130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bbeca918e822b834ce779c3c27892da853615f3","datavalue":{"value":"finite-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586158$10C1F34A-8F24-47DF-B9AF-AA288FCA4769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586158$308C77D3-16B6-498F-B996-4CEEABEE1158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a2e92a926594d101b2543bcdf741b909cebc6be","datavalue":{"value":"polynomials over finite fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586158$2B50D59E-58C8-473E-BAA9-33CB655188EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2eb3a91bf72f0b4c96d137c17ecb2132450925f","datavalue":{"value":"nullstellensatz for finite fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586158$FDB6387A-E171-48A3-A386-2FD5379635AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586158$3E301794-9759-4453-99D7-7C2C46DDEEDF","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":"Q4586158$5F88BF7D-A5D6-4BD8-B391-37974043F86A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c74b9137f4084adc3299d31904132d090bdd354e","datavalue":{"value":"https://doi.org/10.1080/11663081.2016.1198529","type":"string"},"datatype":"url"},"type":"statement","id":"Q4586158$938F38B7-08F8-4F54-9C69-61E917387CC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d684c473b17f31556438cb3a5d3a556bd6ad5d83","datavalue":{"value":"W2497724070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586158$0FE4C59E-01C4-4A2E-9125-11EA3A2F7898","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de464f4aafb4e9508ba256e2980a33d9d5749fdf","datavalue":{"value":{"entity-type":"item","numeric-id":4305609,"id":"Q4305609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586158$04B8EC10-87A5-4838-A938-5262263AA5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397cde7f6d86ed3026a4b3d79258b37d59f56a23","datavalue":{"value":{"entity-type":"item","numeric-id":3006006,"id":"Q3006006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586158$0D0233F3-95BE-4F61-B5F6-7CB2CD73B9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33d09fcbefc5cf5639eb295fbe0362e8107fa28e","datavalue":{"value":{"entity-type":"item","numeric-id":3133185,"id":"Q3133185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586158$A6044C0B-8CE2-40F6-BE29-B649DD678526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526cbec1d1836fb444191f137981aaa9a33081f9","datavalue":{"value":{"entity-type":"item","numeric-id":997049,"id":"Q997049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586158$A23E656F-4E65-4849-9438-77B59D27FDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cc3af5435b11ea9ae0424f0cdfe5241b03fb3dc","datavalue":{"value":{"entity-type":"item","numeric-id":5311062,"id":"Q5311062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586158$E5E1D4C4-AE66-4A8C-8CC9-EC8A26932998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f71c1d2b8f877342d1f75eb537c5f2e4c2476de","datavalue":{"value":{"entity-type":"item","numeric-id":4928710,"id":"Q4928710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586158$17601ABE-D916-4085-B308-3C5EE9D30093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e74616caa39611ede14f2b9d7a2a8b9d639a8d1e","datavalue":{"value":{"entity-type":"item","numeric-id":3149220,"id":"Q3149220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586158$F4E5C043-28DA-4C08-AC32-22095BEB1474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deecd76567778abc53cd8bb3a1e3cbe925dcf95f","datavalue":{"value":{"entity-type":"item","numeric-id":897932,"id":"Q897932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586158$45C9AB33-0DA4-4F8F-BAC9-30903AB0A3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12c91697c4a6e1538be05427b6b9da3db93f68d8","datavalue":{"value":{"entity-type":"item","numeric-id":804567,"id":"Q804567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586158$88027E72-3122-40B9-9367-7D69A5697D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180dcdcd70e7dd722922a02e19e8df3d14ff3abb","datavalue":{"value":{"entity-type":"item","numeric-id":3413659,"id":"Q3413659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586158$324EB3B4-09FC-43FB-AD93-B6323DCA708F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31385ef3ca1eb53ed08bbfa48b8b91d2510acbaf","datavalue":{"value":{"entity-type":"item","numeric-id":4282674,"id":"Q4282674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586158$4A3A7765-8A1B-4B58-96F8-CA626DAA0CA3","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":"ec7451eefe9e1eaa37e4ce4bab73f9b58f22f5bb","datavalue":{"value":{"amount":"+0.8075916171073914","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":"Q4586158$D41D40E2-EB76-4B19-8D50-E5ADB15238FC","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":"5334b5ebf1dd59ca65a3fbc00bac3509b90d30af","datavalue":{"value":{"amount":"+0.8053819537162781","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":"Q4586158$071BFCAD-D184-4D86-BA8B-7F991FF3F5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33d1e5909f58d36b772e097ce8edf00b3e451c35","datavalue":{"value":{"entity-type":"item","numeric-id":3081831,"id":"Q3081831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b81573538b088d60fb51f34415986565cb0f2750","datavalue":{"value":{"amount":"+0.7856163382530212","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":"Q4586158$5C3386C0-A6F5-49AD-8517-CD093A95DE71","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":"c4e0337e49180af6d96ecb4b8f4032b68e3e8224","datavalue":{"value":{"amount":"+0.780556857585907","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":"Q4586158$7F360BE0-801D-4407-A053-AF68F79323A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d154aac18b605bf40cc73baca9bd75805c7db14","datavalue":{"value":{"entity-type":"item","numeric-id":897932,"id":"Q897932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb853d69ab2e66e3f7955fcfdca08208019836a1","datavalue":{"value":{"amount":"+0.7715883255004883","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":"Q4586158$E7B313FB-A833-4DE5-AC74-1A69C6C60B41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4586158","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4586158"}}}}}