{"entities":{"Q2409732":{"pageid":2420475,"ns":120,"title":"Item:Q2409732","lastrevid":52928774,"modified":"2026-01-23T20:19:06Z","type":"item","id":"Q2409732","labels":{"en":{"language":"en","value":"Symbolic execution and thresholding for efficiently tuning fuzzy logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6791223"}},"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":"Q2409732$1FAEB0C9-2816-4D89-9B10-971F4F9E2699","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a78849fa17aed56d4f3e172d54daff7f55bd32f","datavalue":{"value":{"text":"Symbolic execution and thresholding for efficiently tuning fuzzy logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2409732$6290CC72-FD12-4633-B75B-37BA01B36CDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fde59b44cd6987bdca779c5910b6aa9df2a3e548","datavalue":{"value":"1485.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409732$51F7D4E8-D493-403D-9EE8-3B108742C4AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a62c6ce533058f3392abff12b8a943ec13bb08c8","datavalue":{"value":"10.1007/978-3-319-63139-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409732$615D5633-927D-4159-8024-0A89D5A40BAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92c97ba72c4f168acc6b5a76caf2cc21a832a979","datavalue":{"value":{"entity-type":"item","numeric-id":1037852,"id":"Q1037852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409732$5B57CF6C-7615-4F1A-B27C-0906650DD3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b909de7617dba6abfc250a6eb67b7dbb2a3ae8e5","datavalue":{"value":{"entity-type":"item","numeric-id":1037853,"id":"Q1037853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409732$F6DCD412-267C-400A-8C2E-0FADBD53C8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93ac2e9f8c2a4c31caa5b9648ad65d195ab8bd70","datavalue":{"value":{"entity-type":"item","numeric-id":1995454,"id":"Q1995454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409732$9DB20EBD-44C0-445D-A428-134DCCCE90C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"018a45413fbb8c9259001dc9c55f052d2b61eb8d","datavalue":{"value":{"entity-type":"item","numeric-id":232929,"id":"Q232929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409732$5771123E-EEEB-424F-8DE9-53843F608367","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc9e63601a8e28f445aeeeaef7b99c9c03ba64fa","datavalue":{"value":{"time":"+2017-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2409732$5875A9CD-95A1-4DB1-8675-69CDDDF8E3CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409732$6D7FC302-0E6B-4BC1-9FE8-3CE5CED9FDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409732$260C0E3D-F4A6-47CD-9F4F-3118CA812F42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23e93368db2241977e1ef3cf4b92a79111a18af3","datavalue":{"value":"6791223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409732$6EB6E4B2-46FA-421B-8E8D-455BF39098D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e575981ced5dd54633067b2ae7c903fd0f908d12","datavalue":{"value":"fuzzy logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409732$9242E156-47A0-42E4-91BB-96702BB3DB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409732$8637C797-E21C-49C8-8A41-BD237BE625A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf83e504ed2d555ba3628c8c8af74e4fb8bab09c","datavalue":{"value":"tuning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409732$39574316-EBB4-41BE-BBAC-B1D694224E3C","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":"Q2409732$B06FF9B9-471E-4C91-85A4-C7D01F43DDA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6f952c679cfaa4b94ae0feb612ead3d26322cb3","datavalue":{"value":"https://doi.org/10.1007/978-3-319-63139-4_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2409732$65DD1469-17CC-4B0A-8B87-5EA78277934A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8433b5eab58385f27ea36a00a9ebdabde0cf933","datavalue":{"value":"W2739034799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409732$EA96904A-DF29-460C-849B-32D4721CE6F6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"61a82d8552ecde564422637ef9b4fd4c5c5530b0","datavalue":{"value":"Q130349522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409732$58DDDA38-F3E1-44BD-8BE9-133BACEA78A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e792bc0f41f8f54227a9ed9a50e7e6556e594a","datavalue":{"value":{"entity-type":"item","numeric-id":1995455,"id":"Q1995455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08cc03733ab46261ed181281b046530598c4bdbd","datavalue":{"value":{"amount":"+0.8600016832351685","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":"Q2409732$425D645F-5B48-4AFA-BE5C-2E84973B4F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557479bb66040432f817651cf3fb3bbc55775141","datavalue":{"value":{"entity-type":"item","numeric-id":3620350,"id":"Q3620350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdcf968e2d8b8f52f95981735fb0821c10e6db0a","datavalue":{"value":{"amount":"+0.7942776679992676","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":"Q2409732$95097AB2-0232-4A21-8F63-2E88E26F0591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d9c6c3dcb840865738c46b8829e79aab294eea","datavalue":{"value":{"entity-type":"item","numeric-id":3557684,"id":"Q3557684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccc022cf605ad10fa341a7fb7e56aa47f0aa76e8","datavalue":{"value":{"amount":"+0.7745569944381714","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":"Q2409732$CEDACFB0-7254-4106-AB86-3178DFF6EAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"325bd44dd18a28783af0c426bbe01a947ee3ec43","datavalue":{"value":{"entity-type":"item","numeric-id":6215466,"id":"Q6215466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee7b5305fab95334d0d6ba0ff81a079397d03b46","datavalue":{"value":{"amount":"+0.7698509693145752","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":"Q2409732$CE077B46-CCDF-4F5E-8784-D3EEB0C2FC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b48e5807d62e6bd22251f8d4a67116692b50d3d5","datavalue":{"value":{"entity-type":"item","numeric-id":5946475,"id":"Q5946475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9413f10708a6d27b21272e32e86ac0c51b68c058","datavalue":{"value":{"amount":"+0.7555035948753357","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":"Q2409732$94C1F00C-25B1-45CE-8E8D-1834CF6DDD1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2409732","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2409732"}}}}}