{"entities":{"Q4585828":{"pageid":6615413,"ns":120,"title":"Item:Q4585828","lastrevid":53198492,"modified":"2026-01-24T10:53:30Z","type":"item","id":"Q4585828","labels":{"en":{"language":"en","value":"Many-valued logics. A mathematical and computational introduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6934362"}},"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":"Q4585828$2E2B802A-91DE-4415-94EA-2732886D4D32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba2c61b7c2d2b4f3a9cd35d255b8fb17b00f5235","datavalue":{"value":"1435.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585828$9245514F-D15C-4DF0-B2EF-084C9E3F8BDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f91e08167d88c9208467e24870668b15417ddec9","datavalue":{"value":{"entity-type":"item","numeric-id":4585827,"id":"Q4585827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585828$F1D14564-E6DD-4692-9BB3-09684F016581","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dcc1f4e47199ff02da9d0a1bbed21b10f26803de","datavalue":{"value":{"time":"+2018-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4585828$517FE38E-DD0C-4395-B293-8F7647F42528","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585828$7B75518D-76BA-4C30-98DB-77CEF5A54089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585828$57F03363-0F21-4B79-BD0F-C436DB51D9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585828$EA263E54-4E85-40DB-AB2F-FB656C8ED7EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82e2ef91b8aba5ce52ebb420028b0df1919d1baf","datavalue":{"value":"6934362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585828$D5BFB95A-05BE-4E9D-87C6-4441A0758D66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4585828$5ED20BDE-102C-4128-9719-36D1826BAE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabf0147a2477f9d5b36f07617332c9ddcf9e122","datavalue":{"value":"many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4585828$80729C1E-A5A4-4426-A8D9-9C3CD796FBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af136b102baa23b35b933b96803eba90d47e2f4e","datavalue":{"value":"MV-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4585828$C0CB7478-8629-4585-9383-E854E4EF14CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425bca00fb1d1eb479b135b691e9eaedbfc58daa","datavalue":{"value":"signed tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4585828$1D1BF207-7447-47ED-BC30-A964F4491078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b159bc5d5eaf82b6adba0a8928b8849590c5bdae","datavalue":{"value":"signed resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4585828$0F418275-F843-47EA-9393-2D6A4249D086","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":"Q4585828$CDE0946B-9B15-48D5-96FA-821869349F45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74605f270555cf3185d043a6754024cdf112af54","datavalue":{"value":{"entity-type":"item","numeric-id":2757760,"id":"Q2757760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0172e89295eb89923cd689b19743eebbca88bf05","datavalue":{"value":{"amount":"+0.8969600796699524","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":"Q4585828$9F99A7BE-70DF-475E-969F-DD16C323843B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c038b686135e819d5872c4c6a723bf9444c5489b","datavalue":{"value":{"entity-type":"item","numeric-id":4693184,"id":"Q4693184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7443188db497ddd58aeabc9f9c04463c4cc9f91","datavalue":{"value":{"amount":"+0.8898031115531921","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":"Q4585828$6155790A-A32E-40E5-BC7F-8197662AEDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be055b314b934e40a3d60a53755f0ad33613a859","datavalue":{"value":{"entity-type":"item","numeric-id":4212163,"id":"Q4212163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7443188db497ddd58aeabc9f9c04463c4cc9f91","datavalue":{"value":{"amount":"+0.8898031115531921","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":"Q4585828$19F02A5A-FE57-4D23-B55D-52259063B34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eed5f6a80d4ecb9920cca418a19fb8331e160c1","datavalue":{"value":{"entity-type":"item","numeric-id":5906778,"id":"Q5906778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f54d493fd6495d1e213dd2b4ac9a88ced901a937","datavalue":{"value":{"amount":"+0.8615700602531433","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":"Q4585828$DC54917B-9479-497E-AC38-502BF6BA0C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bbc4f7a5e727e0baf9a90d7e857e790f80908a1","datavalue":{"value":{"entity-type":"item","numeric-id":4289329,"id":"Q4289329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac13c227aa678f578bf8ac79c2a013e0f1747fbb","datavalue":{"value":{"amount":"+0.848297655582428","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":"Q4585828$761B1AD1-A561-4F51-B4F6-EED4218BD253","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4585828","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4585828"}}}}}