{"entities":{"Q2229157":{"pageid":2239900,"ns":120,"title":"Item:Q2229157","lastrevid":53940197,"modified":"2026-01-25T23:25:08Z","type":"item","id":"Q2229157","labels":{"en":{"language":"en","value":"An efficient algorithm for representing piecewise linear functions into logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7313970"}},"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":"Q2229157$A3CFE6CC-E274-4EF6-884D-B32D261FEB8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b1e6b35905a184f293b6f0da8cd803c7b751962","datavalue":{"value":{"text":"An efficient algorithm for representing piecewise linear functions into logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2229157$0AF16FD2-E897-4D73-86DD-E138D0DC4B95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc2d51016d9787286bde831bb3a015d686b4594c","datavalue":{"value":"1498.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229157$C2248BF2-2AF1-4175-A3A4-A9E332F2A2D9","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":"Q2229157$6F911C95-EF05-46E8-8F18-1F7BC3ECC327","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":"Q2229157$893114A0-89C8-43CA-AEF6-AC44E3DA3461","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf0749869f595759ee793dee0f3189be235834d4","datavalue":{"value":{"time":"+2021-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2229157$A414D20D-D870-4594-BE18-D1D76AA2A102","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229157$0CC00689-BFDE-456A-9677-E64B2EFFC630","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"406b882cb7f4dd8eb5d88bfc741d53192f6d5762","datavalue":{"value":"7313970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229157$6F065652-ABC5-4162-9EFA-175C91C59C57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9ad16ed41cc8ad9e316ca4a99c73cd9efd2d39","datavalue":{"value":"\u0141ukasiewicz infinitely-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229157$0FC8C6F8-CA30-4AEA-A448-86E489109769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a2ca7472eeca82fdb75d94ee294080ab222b692","datavalue":{"value":"rational McNaughton functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229157$0969225E-35F5-4092-A5E8-6037BB8DFDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f28fbafff413c9e12e452fcdf3c599ad000514f","datavalue":{"value":"piecewise linear functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229157$1A1A890A-F936-44C2-9402-78D15C96A127","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"29665d05090f2c723aee76a77c30389ef9504834","datavalue":{"value":{"entity-type":"item","numeric-id":40347,"id":"Q40347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229157$9A9FEC2A-5781-4EA7-9DA5-87936E01A552","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":"Q2229157$4E29C289-801A-447C-A964-7DAFD2C20608","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3bdb64c9b527aba5f9e57f27cbee11fc81902d9","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2020.08.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q2229157$87E6422D-FFDE-4696-9347-59FD1C3E6976","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0bd4f376bb5c9e0db0960ac2745dd39cad00a33a","datavalue":{"value":"W3092846871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229157$7A75EEAD-0F90-4FA6-8D87-A0E7FFE905ED","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b41eb2ee21dde9859ed07cb2a9adb8e5d75225db","datavalue":{"value":"Q113317313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229157$D0ED7A57-8493-4B34-BBDC-548F4EA33983","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":"Q2229157$848FA407-C56E-4C45-B476-C0ADCC22A96B","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":"Q2229157$EBF265FC-9062-4DBA-970C-0271681B1B55","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":"Q2229157$C9FBD00C-738D-4BB6-A0D4-BC46EA0E1518","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":"Q2229157$C732E145-0648-4376-A088-EF1FA5BEC237","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":"Q2229157$D83AF044-A4A7-4825-96FC-29A0F4F9A2D0","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":"Q2229157$89118B1F-65F5-46E0-A906-27D7206ADD75","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":"Q2229157$30E08639-AD48-44AA-8337-AFDFCAF1EA0B","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":"Q2229157$454AF724-23EF-48D0-8589-A48FF175BACE","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":"Q2229157$82C0FC74-FAAC-4BBC-80C1-64CC8637A348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2062930d9701c0716080148f14781fb9929a7b","datavalue":{"value":{"entity-type":"item","numeric-id":5526189,"id":"Q5526189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229157$04DF52D7-EB94-49DD-8817-7EFB1C475E70","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":"Q2229157$5066161A-0F2E-46F7-9886-E484854BD7BE","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":"Q2229157$35FBC05D-01BA-465E-9827-79A3E7DEEFD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4534e2508772fafced7b49acb003a06248006b0","datavalue":{"value":"10.1016/J.ENTCS.2020.08.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229157$DB028A4E-6E7D-4AC9-93D9-D48F6EA443A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d9bebf68972046aef75b5f13357c3e867ea2bf6","datavalue":{"value":{"entity-type":"item","numeric-id":5889305,"id":"Q5889305"},"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":"Q2229157$BC370657-78BC-44C8-A32F-0294126784D4","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":"0e43b792392ab747f3c88eb7c96f11156e7e2f75","datavalue":{"value":{"amount":"+0.8018759489059448","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":"Q2229157$3F9B2132-36F5-4998-A212-4D6CBDB94E4F","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":"53610e3539677678c1faa094610fef56daa46351","datavalue":{"value":{"amount":"+0.7794464230537415","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":"Q2229157$17529429-D388-429E-8784-84A208676F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f08c203d9b456466878e8452cee15c6bbe3c608","datavalue":{"value":{"entity-type":"item","numeric-id":4442750,"id":"Q4442750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96c8416cd2fc583f1ac7af9e2582b4332b8f0f2b","datavalue":{"value":{"amount":"+0.7778136134147644","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":"Q2229157$973220E1-FE86-41F5-B555-9F796737286E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd80f52ba21495e5fd3aac3fad0c47fa307207dd","datavalue":{"value":{"entity-type":"item","numeric-id":1428676,"id":"Q1428676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ccf82c732d150b3f0875498744b083b24a6346a","datavalue":{"value":{"amount":"+0.7520399689674377","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":"Q2229157$6D56E69F-5415-4136-ABF1-D17FC497BFB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2229157","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2229157"}}}}}