{"entities":{"Q7361409":{"pageid":31519766,"ns":120,"title":"Item:Q7361409","lastrevid":105365729,"modified":"2026-10-07T13:36:17Z","type":"item","id":"Q7361409","labels":{"en":{"language":"en","value":"Boolean Expression Checkers"}},"descriptions":{"en":{"language":"en","value":"AFP entry Boolean_Expression_Checkers"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e18cf8d499f81ebb34ed197442f6ba1e73773259","datavalue":{"value":"https://isa-afp.org/entries/Boolean_Expression_Checkers.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361409$A66CB5B6-8F7C-4FCF-8FD3-074599322D02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86dbd4a496e67c472ef2a7d8722123c3bd9882d0","datavalue":{"value":{"time":"+2014-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361409$A64D116A-D22E-45C8-9453-FA20C051C067","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"78083bbf5b06a4f292e9e00ee445948e4fa51db5","datavalue":{"value":"Tobias Nipkow","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361409$AE823AF2-B918-4979-8C9D-8DE200992A7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73710257da46022b34594927a67186f537c165d9","datavalue":{"value":{"text":"Boolean Expression Checkers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361409$2280CD4E-F23B-488E-81B8-4D586F30609E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"12cc622886a0388224964f49aea6cc859c1a09ff","datavalue":{"value":"This entry provides executable checkers for the following properties of boolean expressions: satisfiability, tautology and equivalence. Internally, the checkers operate on binary decision trees and are reasonably efficient (for purely functional algorithms).","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361409$C3A2F38C-714C-4C82-A2CC-7505D4B713D8","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361409$9A776BB0-F5EC-4A32-91F2-1501613D6F62","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"1157f6239d5752bb0ad1cee836272bd46c6bf40f","datavalue":{"value":{"entity-type":"item","numeric-id":7360772,"id":"Q7360772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361409$3CE6CBD3-5A6E-4FC9-A15A-245294F22081","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361409$1BF7E7EA-2CE8-4530-BFA8-7275B1CA4835","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Boolean Expression Checkers (AFP entry Boolean Expression Checkers)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Boolean_Expression_Checkers_(AFP_entry_Boolean_Expression_Checkers)"}}}}}