{"entities":{"Q4647516":{"pageid":6677097,"ns":120,"title":"Item:Q4647516","lastrevid":53320910,"modified":"2026-01-24T17:43:34Z","type":"item","id":"Q4647516","labels":{"en":{"language":"en","value":"MUltlog 1.0: towards an expert system for many-valued logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001909"}},"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":"Q4647516$DAFA27CD-5EEB-41E5-ABB6-068AE278DF39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe2629cd834e49baaf5224e3ee42b2cc3d86f55c","datavalue":{"value":{"text":"MUltlog 1.0: Towards an expert system for many-valued logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647516$094D4CEC-AB53-4C6F-97FB-DE2D6719990E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e2b1a60d5eab20784ec414c30195659541f4dbc","datavalue":{"value":"1412.68204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647516$7D9A4FFC-7B7A-4E62-9A6D-9AC06D6B31E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b7dde87a9fd2803828334e1e28ea1ace36cd335","datavalue":{"value":"10.1007/3-540-61511-3_84","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647516$712425FD-2BA7-4742-878A-873088738C18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647516$49414B95-A6F3-49FD-A2D8-6326EA1460B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"730065f6e9d808e78e9979c0b5adf9d3d0a26e2f","datavalue":{"value":{"entity-type":"item","numeric-id":685345,"id":"Q685345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647516$56284FC3-4426-42EE-A015-7265F1359ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7af07974ad8783087ab1b975cd3d810e876a707f","datavalue":{"value":{"entity-type":"item","numeric-id":671654,"id":"Q671654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647516$198334AA-53EF-48BC-80DE-EA87289403A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b019e89cb08882c4fda7783a360d1728596378","datavalue":{"value":{"entity-type":"item","numeric-id":288246,"id":"Q288246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647516$1B37DE38-ABAB-4232-BE4B-887FA6328B6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647516$DFA22CCE-9894-48D6-B1A8-99FDD6D0126E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647516$1A814A00-A286-4651-9D22-110CD5FA1F7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647516$8031D599-00EF-429B-BC5B-AC87B335A076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647516$D58DE4C1-E66C-414C-86FE-75E18283827E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647516$48ED742B-58CA-4EC4-9FAF-172DBBD0E3CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74cc0e3e197894fbf90ff2ceb4483444a54ecbb3","datavalue":{"value":"7001909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647516$8695CA6D-A22C-406E-9B5D-D5C4CE46EA0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fa9089d9f7f5a1b8ff7aefaf14a78f5ae28c62f","datavalue":{"value":"mixed integer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647516$8573024D-1C8F-46CD-8DBD-FEFC9C863DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647516$733DC1D2-7158-41F4-815F-D170D5C427AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647516$6D73630F-64C5-4B77-9454-F2A0882AFB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647516$5E6E7103-A497-4FF4-9CD6-C92F0109999B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30b0da7f53ff6476e3dab8b8b24a7069b2f87795","datavalue":{"value":"definite clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647516$5952B008-E32A-4263-9246-10FAAB224C5D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1ccd5e68e3cdc3ef728b8f894bc92ed260d8d4ef","datavalue":{"value":{"entity-type":"item","numeric-id":18694,"id":"Q18694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647516$C9FF1887-146F-41DD-BF1A-D41E973B2542","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":"Q4647516$396460B4-CEB9-4AF3-994C-261CC1732F42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be2404fa62a2a4213d0087dbbfca1ea9691587e8","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_84","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647516$9B9E2E1F-B12C-4FD4-80FA-0AD899D02DC9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ec06c6b1256c719b60b86c0bb3faf2e88e6b1d6","datavalue":{"value":"W2145733904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647516$C79A8069-0241-499E-8E38-DB23247B82F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"75695a8beeb327509bdf451e6c8d3a3f23213ec0","datavalue":{"value":{"entity-type":"item","numeric-id":1897558,"id":"Q1897558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647516$B32FD230-D881-44D8-902E-2299FCF5AEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f670e7dda06e912438c3fcf7da257acaadc647d9","datavalue":{"value":{"entity-type":"item","numeric-id":4282535,"id":"Q4282535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647516$DEDED477-4911-4ED3-B1DB-AEF95120E92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd99276c611a0b07b3afe6756018507155148f8c","datavalue":{"value":{"entity-type":"item","numeric-id":3142560,"id":"Q3142560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647516$68861368-B633-4FD4-8C51-F9D0EFD0C3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"165b65e137be5e7ee616ffc2e9e24def67d009c4","datavalue":{"value":{"entity-type":"item","numeric-id":4840168,"id":"Q4840168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647516$AF19F04E-EDF5-4A00-BF34-1979033B5230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838411164f69c97962f39c7996d24f24a07a1fd8","datavalue":{"value":{"entity-type":"item","numeric-id":3770497,"id":"Q3770497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647516$D73819F8-3D89-4D8F-9727-5F60F25BC6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5251d862db37b18c0c514a0f92835960323642c2","datavalue":{"value":{"entity-type":"item","numeric-id":4289327,"id":"Q4289327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647516$4C906C1A-58E0-4D0C-95E8-A09DD756AFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"569927fbe93407529f06d41b68d2ef6209ff2db6","datavalue":{"value":{"entity-type":"item","numeric-id":1924752,"id":"Q1924752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647516$08DC51F4-47FF-4B20-891E-E5CCC879F16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae14e5d7ccd9d401edc3ddca1d5fdde08ca7bbfd","datavalue":{"value":{"entity-type":"item","numeric-id":1580665,"id":"Q1580665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647516$FA6C285C-EA57-420F-8DF7-88702C35C309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e02c8fd5a0c3234de52455be624291c050a5c6e6","datavalue":{"value":{"entity-type":"item","numeric-id":5534913,"id":"Q5534913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647516$82F4F9A3-212C-4910-B5B3-A842E04A7F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5777ceefdcbff13af8c170a6b9cebc37296c9181","datavalue":{"value":{"entity-type":"item","numeric-id":4647557,"id":"Q4647557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647516$6328A033-73A6-426B-A0F4-7E0539BABED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c59f24245bd23fc74e4844865db68ccee29c3d1","datavalue":{"value":{"entity-type":"item","numeric-id":3226747,"id":"Q3226747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647516$6694D91B-7656-4E05-B455-54B2881DC0AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7ccc83f4da17f3971bb80a76cb047637ff75074","datavalue":{"value":{"entity-type":"item","numeric-id":4885909,"id":"Q4885909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc9c59030e40aba45597ab74deeb78a742d071be","datavalue":{"value":{"amount":"+0.9559109210968018","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":"Q4647516$A6F8F6CD-DFA6-400E-92FA-A083196B95DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb9836b5354ac90e5db460bdec9acd6bbdb848c","datavalue":{"value":{"entity-type":"item","numeric-id":4282535,"id":"Q4282535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a15fbd9681d1a71f03501300448168d27f23a20f","datavalue":{"value":{"amount":"+0.9316235184669496","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":"Q4647516$648DBDD1-9903-4A7C-8D64-A23345C73DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dd139595eb486b65fbfcd609b960749504abffe","datavalue":{"value":{"entity-type":"item","numeric-id":4360106,"id":"Q4360106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc3b0103a413221e9beef5cb4bcee055b76e36f9","datavalue":{"value":{"amount":"+0.7978872656822205","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":"Q4647516$E3C3C28F-A2AB-493E-8E98-B95F0D1E3073","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":"cc3b0103a413221e9beef5cb4bcee055b76e36f9","datavalue":{"value":{"amount":"+0.7978872656822205","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":"Q4647516$63F5EA20-99E5-4D45-8799-0469E485068F","rank":"normal"},{"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":"1ba38fe020e56f832449e7b1b367c2316c0492d7","datavalue":{"value":{"amount":"+0.7974343299865723","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":"Q4647516$76B55A5E-7040-4036-990F-A207D0C4CF34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647516","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647516"}}}}}