{"entities":{"Q278739":{"pageid":280506,"ns":120,"title":"Item:Q278739","lastrevid":56766408,"modified":"2026-03-23T13:08:03Z","type":"item","id":"Q278739","labels":{"en":{"language":"en","value":"Term satisfiability in \\(\\mathrm{FL}_{\\mathrm{ew}}\\)-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6576262"}},"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":"Q278739$8750B3D2-85B3-4005-8021-54D6318B09FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3423a9afa2be7b688ac0095f81884eacba182ecd","datavalue":{"value":{"text":"Term satisfiability in \\(\\mathrm{FL}_{\\mathrm{ew}}\\)-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q278739$4872674C-2D0C-494E-A860-C1798EB1AED7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"447cdf2026e24ecee5767e73944d2987c2d9d11d","datavalue":{"value":"1418.03193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278739$367645FE-7B51-4B1D-8B58-10A2F9F660AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"720b64026f990845176c12c224a82c9d4cb91c9b","datavalue":{"value":{"entity-type":"item","numeric-id":278737,"id":"Q278737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$F02D8D15-B714-40D0-86FE-5DFACB180D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3130e87f1749c59ee4d0e395d449a1e09007fc09","datavalue":{"value":{"entity-type":"item","numeric-id":278738,"id":"Q278738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$DC3431FC-7819-4164-96C6-F0678D161175","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$0491A85B-FDC2-421D-9946-3AA3CCBB13F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e456fdb4844415eea923a6e1b531b0c6eec91b1","datavalue":{"value":{"time":"+2016-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q278739$E1AB988D-6EBF-441A-8F26-861CD1EDC6BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c6f9f0265351bdc9ba8d58fe722c839780bf6d6","datavalue":{"value":"https://arxiv.org/abs/1501.02250","type":"string"},"datatype":"url"},"type":"statement","id":"Q278739$765C0B48-2F47-493E-B6FD-9F5777BAAD19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278739$65A19F38-B936-47F9-B683-81A205C3EAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278739$DD2628DD-8A44-4861-BEFF-C46672317540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278739$AD42DDFA-3CE7-44B7-861C-5D771C2D02EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8aaf80d5cfd116b0aa1a8612fed68b5f0255915","datavalue":{"value":"6576262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278739$4B06785B-8426-4BC9-962D-408E9B6C02F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q278739$911C4059-DBAC-447B-A7FC-A2F1B38DB6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"143075ff0971351c20da51b0bfb0810864901ec9","datavalue":{"value":"\\(\\mathrm{FL}_{\\mathrm{ew}}\\)-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q278739$E355AEEC-C8ED-4526-8ADF-990593C9C85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q278739$72DB6C3E-175B-420C-A0E3-ADD90051AEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q278739$26257669-2E9D-41F9-9C22-95E4FDB00B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q278739$30B60FAC-B974-4220-9327-9C480CB24878","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":"Q278739$87FB2187-DFD2-4F8D-A703-DDFA63590CAA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af806218e4a195800daf642030421e734cea8717","datavalue":{"value":"W1519689289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278739$96F0E4AA-BB91-435F-A9EA-70CD0A5DD1B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$9B0A3CF2-DDD0-4F65-909D-0BE189BEB187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$E0635A95-A7C2-4970-A328-765D3FC6B34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4557febfe43166275b526f096a284199bfccc929","datavalue":{"value":{"entity-type":"item","numeric-id":1407598,"id":"Q1407598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$F95B1A33-A56A-482D-80DF-3CD95AE78F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e4359de63188e9ac22aa2e99bb5c38ba9c03cf","datavalue":{"value":{"entity-type":"item","numeric-id":4459591,"id":"Q4459591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$B58EE2B3-A5F3-46A5-BEE6-A62F91E0C766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b7ae02ec79cf791b25c6e4203e9099e01fc667","datavalue":{"value":{"entity-type":"item","numeric-id":3623218,"id":"Q3623218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$1CB826B4-D352-4ADC-9811-F090E4C29032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$71158A22-7481-4CC1-9211-7C30CDE68080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f9224b25c79b271bbb04a0cd915c6285b5bc46","datavalue":{"value":{"entity-type":"item","numeric-id":5406037,"id":"Q5406037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$3996D7CF-87AA-4DA9-A4BD-5810CFEA967C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b21a46b53e0bc48233db6f19f8a64be4194c859","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$04A1F204-0396-4BC7-B964-8EF6052F3FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$A9244774-34A6-4A2E-968C-8EF014FB3465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043f9c36513f0169de9888eed47ae021ca19fe77","datavalue":{"value":{"entity-type":"item","numeric-id":2577712,"id":"Q2577712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$82355870-2EAC-441A-BC14-D92DA6CD5C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$CE913903-DA0C-4920-84C5-E3029F3BC394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4288e7fbb74ef031f8c5738b575c23ac769431e4","datavalue":{"value":{"entity-type":"item","numeric-id":1759708,"id":"Q1759708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$B19EDF85-D761-4BD7-9CB8-257976262FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70556bcc44f22546f0d8c7739cb90b25a6ee8bbd","datavalue":{"value":{"entity-type":"item","numeric-id":5406041,"id":"Q5406041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$539CCF11-01A2-4B2D-8B27-656B5466324C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66dc5e0def89d29d50e2faebc8f9ce17e86fd467","datavalue":{"value":{"entity-type":"item","numeric-id":4836218,"id":"Q4836218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$FAB5C99D-F83F-4F5B-B82B-538B0A9177B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc2025b602686e076b8d299467a3b8bc75c947d","datavalue":{"value":{"entity-type":"item","numeric-id":3939781,"id":"Q3939781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$32AA7218-D7C6-4142-9C58-95864C0E8BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dca4e376739e90cb915f405694b6ab7c37e738c","datavalue":{"value":{"entity-type":"item","numeric-id":773072,"id":"Q773072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$5341A353-D41E-49BF-A1BE-8BDB0E910C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8084845bc1e7476620c12a49f6dd2abd44035dcc","datavalue":{"value":{"entity-type":"item","numeric-id":1100196,"id":"Q1100196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$969FA0F8-DB5A-435C-9823-241AD6255513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b22e5fa258350a8f32ba329125ecfec08f44c0ae","datavalue":{"value":{"entity-type":"item","numeric-id":3466596,"id":"Q3466596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$523F3471-460F-4531-94BE-8FB4CFB0408C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$35179E16-3FC1-482B-8599-13BB9A41424B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1689434b8a8715c4866359ea8026b729021b6d","datavalue":{"value":{"entity-type":"item","numeric-id":5650663,"id":"Q5650663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$076958FB-0ED3-4F72-A7DB-C6C78E122E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a81c0fc55e696512d983791ca27ca0ed354fc7","datavalue":{"value":{"entity-type":"item","numeric-id":4296741,"id":"Q4296741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$97E2EE16-E5B3-4FE1-9C51-ABB602BA8973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6200cc2ed252916258eacf61e099e169ff1105d","datavalue":{"value":{"entity-type":"item","numeric-id":391322,"id":"Q391322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$00A4B9AB-C893-492E-BD2D-95841DB9D809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c813bb4df8641e98416d1fe8cd2ffadbb8ea6f47","datavalue":{"value":{"entity-type":"item","numeric-id":5773661,"id":"Q5773661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278739$9FA3CEBF-A123-443A-8931-FD84E502F9A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fe6093c8f6aee6e6d912bcf07a7e6398b4e8f39","datavalue":{"value":"10.1016/J.TCS.2016.03.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278739$2B8AABC2-FC67-45C5-A6DD-390CE7861EB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b54392c395d81ebd1ced043ac29149bd8c3b76a5","datavalue":{"value":{"entity-type":"item","numeric-id":3505077,"id":"Q3505077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"618ee6a20f12434b73fea3a52248d7cb0efee1b8","datavalue":{"value":{"amount":"+0.7554170489311218","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":"Q278739$E174032F-DEDC-4F15-AF3B-0962B2F66DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1082db891f9d8d814ce6b5f9817902a12277e459","datavalue":{"value":{"entity-type":"item","numeric-id":2998396,"id":"Q2998396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4337ca084f3291e665e4034c3526818a9aae4c96","datavalue":{"value":{"amount":"+0.7315655946731567","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":"Q278739$E73C2FEF-0D35-409A-942E-A3FDA3F90C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00493775202a3570951492dee8c49942aa9da2d2","datavalue":{"value":{"entity-type":"item","numeric-id":898779,"id":"Q898779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"027bb248fc08f87293e0e3a96264edcbd14cdad5","datavalue":{"value":{"amount":"+0.7232764363288879","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":"Q278739$C017DA0C-4C53-4621-ACF9-C870EB0FA933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d63c13678a3d73f0814bf31690c7b455634e66","datavalue":{"value":{"entity-type":"item","numeric-id":391322,"id":"Q391322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c53dc2120633892a9110b31d57702da53446611","datavalue":{"value":{"amount":"+0.7215795516967773","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":"Q278739$3A8C7644-98CA-4247-AA40-63F84B000914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457814893bb46a11eaeef4127481b4de596737e8","datavalue":{"value":{"entity-type":"item","numeric-id":3067781,"id":"Q3067781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e5aef13f4e698c46ecd8bc5e9f17c478dc8ffda","datavalue":{"value":{"amount":"+0.7080815434455872","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":"Q278739$F7D35467-1B83-414E-B24D-2EDF2F3434DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:278739","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:278739"}}}}}