{"entities":{"Q5889305":{"pageid":7918855,"ns":120,"title":"Item:Q5889305","lastrevid":55879897,"modified":"2026-02-20T18:53:06Z","type":"item","id":"Q5889305","labels":{"en":{"language":"en","value":"Efficient representation of piecewise linear functions into \u0141ukasiewicz logic modulo satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7676410"}},"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":"Q5889305$53927FED-EF8A-4325-9E85-6DE577738338","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88d48536fbbe226b55a5c234ccd60101684a2e5d","datavalue":{"value":{"text":"Efficient representation of piecewise linear functions into \u0141ukasiewicz logic modulo satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5889305$FD75F655-6949-4129-BD41-E0BAF205D78B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5f0bfa135f76f645709daac6e23c9f535afda59","datavalue":{"value":"10.1017/S096012952200010X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889305$7C016792-8220-46CF-AFBB-3C89D4E9E35D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0816d216dbc9a91e1da3c5a12751693bb6da7b22","datavalue":{"value":{"entity-type":"item","numeric-id":1799079,"id":"Q1799079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889305$6A5D3060-8355-427B-88C8-2F5573CC25E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"538aac5482944b23b9509c42900acf09751a5dcb","datavalue":{"value":{"entity-type":"item","numeric-id":385020,"id":"Q385020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889305$B6DBAA93-9C50-4216-BC09-4F3291D90514","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889305$7AB3250B-DFB4-4D1D-B262-9AAD04A34E10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45170dd21fa676e67e724b08d39d43dc9ec45445","datavalue":{"value":{"time":"+2023-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5889305$55EF726E-97FE-4ED1-960A-22D9B51E1848","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889305$440E320C-2057-4390-AD46-BECA5120A81B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14534e5acc3d4e96a8812a65cc5bfb6cb4bb851a","datavalue":{"value":"7676410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889305$272AF670-820C-4F7F-AF6B-6EA8B409694F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"651fb6b6ac9ada9d8c6e9e0dacc60a68c04ba0cb","datavalue":{"value":"function representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889305$7B2F9A33-343A-496F-95FB-69545F5D828C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9ad16ed41cc8ad9e316ca4a99c73cd9efd2d39","datavalue":{"value":"\u0141ukasiewicz infinitely-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889305$69931048-2A53-4151-AD89-8E4581A2E9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a2ca7472eeca82fdb75d94ee294080ab222b692","datavalue":{"value":"rational McNaughton functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889305$FAE3342C-C01F-4F7E-BF45-B00A19646D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f28fbafff413c9e12e452fcdf3c599ad000514f","datavalue":{"value":"piecewise linear functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889305$1CAA80A8-0A2D-4A51-860B-9F6281818EF0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6663be921a3fe3b244879abf2c0c98e00d21e962","datavalue":{"value":{"entity-type":"item","numeric-id":13835,"id":"Q13835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889305$DAB8CE33-384D-49BD-A6F8-F2565B1352A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889305$9BF91849-E725-4E55-A373-917A3A23C5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889305$4FD90AC5-A8BF-413F-9FE0-EC7636EEF130","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":"Q5889305$0AC08115-44BD-4511-A931-05E90589C009","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d2c17be3a7dc22b2f28bb15ee3ee2290cb71b81","datavalue":{"value":"https://doi.org/10.1017/s096012952200010x","type":"string"},"datatype":"url"},"type":"statement","id":"Q5889305$0888241E-0D8B-46B4-8329-B39099400ACD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39b112ef89b00678ef349d0f908adbb1854ab891","datavalue":{"value":"W4280629967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889305$416469D2-D96B-43A9-8ABF-FEE29499A8E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d70697a2032b819126b1b11d3a4902b3f11e11c8","datavalue":{"value":{"entity-type":"item","numeric-id":1271879,"id":"Q1271879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889305$6E65F60E-5594-47B3-9D58-2C90CC5ACB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc4cb2b2f794e63ee3c04e613c884dd7bc2a67e","datavalue":{"value":{"entity-type":"item","numeric-id":4450452,"id":"Q4450452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889305$476AFEF6-8DB9-4D89-8DD7-68C00C4ADDA2","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":"Q5889305$E48C3B8D-7949-4301-A9BF-5A588E97AC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96a81a33d89661e3784a7af6ad0706b13c42e3f0","datavalue":{"value":{"entity-type":"item","numeric-id":5928311,"id":"Q5928311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889305$AD139428-946D-4A3A-A7BB-27F57A9B140F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ad917faf559de2df41286584ab87b59c05622c","datavalue":{"value":{"entity-type":"item","numeric-id":1799080,"id":"Q1799080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889305$4D5EC395-9635-41CC-938F-EF1E7F5AD62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5899df00ecb2bc8edc1ef88cf4ef123c63c43f2d","datavalue":{"value":{"entity-type":"item","numeric-id":2209555,"id":"Q2209555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889305$79448633-47B9-46AD-BC71-951D1AF2E1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16e8dfcfe65d86684bcabe5136abe2826fccd4d","datavalue":{"value":{"entity-type":"item","numeric-id":5804993,"id":"Q5804993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889305$30E67BF2-4193-4597-89D6-DF5B153CE0FD","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":"Q5889305$1B9E766B-61C5-4FC6-BAAF-8A3A5EFF2300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69cf6e350090a83589b32b35f7400ebfe8dfd8f","datavalue":{"value":{"entity-type":"item","numeric-id":4302355,"id":"Q4302355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889305$58797CB4-AE17-4C28-8273-883759199AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef5fff4e9a833f330416b1c69073b2b4ed998e2","datavalue":{"value":{"entity-type":"item","numeric-id":2229157,"id":"Q2229157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889305$A9B89627-A78D-4688-A832-690CEAE39E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"451253786e0b28849a0342984cfeb572dc1ee1d6","datavalue":{"value":{"entity-type":"item","numeric-id":757045,"id":"Q757045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889305$77DE8A1B-EB0B-4DBA-B84C-1D9FC5F2166D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1655cdf00e8b6d63d7782f0b6641c0006aa0bfe4","datavalue":{"value":{"entity-type":"item","numeric-id":1596969,"id":"Q1596969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889305$6FB870C3-CBE8-4111-9C18-51AFE19E60E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e665406bac2de3909d015814d764f2901cc5215","datavalue":{"value":{"entity-type":"item","numeric-id":2229157,"id":"Q2229157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fa691c58a8fb9792b5318b65c58fe1c93abfcda","datavalue":{"value":{"amount":"+0.9394067525863647","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":"Q5889305$D7E4820E-0A0F-4FDA-9BC0-F659DEF9409E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331a8cc8c44f47a39a53884bb57c4afcb2685373","datavalue":{"value":{"entity-type":"item","numeric-id":4442751,"id":"Q4442751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15dbc75bd36598836148f317092bfa551d5eb783","datavalue":{"value":{"amount":"+0.7998327016830444","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":"Q5889305$40323273-CBE0-48EE-9C8C-BA688FAF9A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e61cf3c8249a88e322a5356abfc603e916aeb42","datavalue":{"value":{"entity-type":"item","numeric-id":4302355,"id":"Q4302355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1077eeec382bae0e763c16094a727f8da3ca5a6","datavalue":{"value":{"amount":"+0.7685337662696838","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":"Q5889305$F5CA088E-8020-4E34-9038-2F84900864E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08deca86e88faecfd37014bf92027ebdaaefabd7","datavalue":{"value":{"entity-type":"item","numeric-id":3484771,"id":"Q3484771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4dda5db8f17bfb6906e2152c9d28d9bf6b6175d","datavalue":{"value":{"amount":"+0.7675360441207886","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":"Q5889305$8BC9CE27-0CE3-41AF-A0AB-10F5EAA24F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a5f0a62c788f53606586cf6935ca2b95b01a8e2","datavalue":{"value":{"entity-type":"item","numeric-id":1882628,"id":"Q1882628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a93d8fbe6776ee170a672d9698c4d763c83eec","datavalue":{"value":{"amount":"+0.7568073272705078","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":"Q5889305$34BB894D-1894-4AFF-AE04-9DE685E0352C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5889305","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5889305"}}}}}