{"entities":{"Q7034854":{"pageid":21712008,"ns":120,"title":"Item:Q7034854","lastrevid":77522576,"modified":"2026-05-04T15:32:21Z","type":"item","id":"Q7034854","labels":{"en":{"language":"en","value":"SAT-based learning of computation tree logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7977164"}},"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":"Q7034854$44BFF3A6-CB63-4BE9-9CBA-017B35343F40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54fd576dd358dab1d396272c76de4b4ec2c7174b","datavalue":{"value":{"text":"SAT-based learning of computation tree logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7034854$F756B00D-323C-4165-BCAE-42792613E30A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae9ecc3982007e9f86347b274df80d5b9705ac38","datavalue":{"value":"10.1007/978-3-031-63498-7_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034854$CE8D3E5E-0A5E-4C6D-B95E-9C49E6815EAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54d62ef0ac476071efaf1d32c10923287eab0cb","datavalue":{"value":{"entity-type":"item","numeric-id":2165217,"id":"Q2165217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034854$A8B1E06E-9F55-4971-BD69-2A6D757F346B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14e56827f06618d86e2b4607051191938dc12b14","datavalue":{"value":{"entity-type":"item","numeric-id":832264,"id":"Q832264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034854$EE62BB67-C9CE-403D-8A55-BC72F07EA0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f298998336c8f58de74da371b2a42ddd771a23d5","datavalue":{"value":{"entity-type":"item","numeric-id":7034853,"id":"Q7034853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034854$2A0AFA50-DDE2-4143-80D4-293240228CC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faebccf51ad7ddcce1eed4a97c7e0eb92d585316","datavalue":{"value":{"time":"+2025-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7034854$257FC7F2-84B8-4F46-B1F7-EE8695938C8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034854$476AF65F-5876-410E-9381-0795D7DA0EAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00715316d467249f2832b151d3976c74d916fe3a","datavalue":{"value":"7977164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034854$DA2D43B4-1D14-45F3-A8D3-BE79587A990A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034854$C3C53018-7E8D-4115-99E2-4B28E1A8B572","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034854$467D3C85-0731-4918-85E3-5700DCF501A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c49206da99bba745d47aac7da29bc96285a9db6","datavalue":{"value":"passive learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034854$60675719-CDE1-42A8-8E03-377D43B89BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87021f83c0bc2bfb13b38866d6825671687cfc77","datavalue":{"value":"SAT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034854$0F714502-932E-4F68-993D-66AAB5B4B0BA","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":"Q7034854$6EEE3993-6820-453F-BB75-5ECFC596BB80","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034854$81227FF6-5DED-436E-A9A5-294013131D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b39464a78499f9fbbd00185efc04ba3627e5aee","datavalue":{"value":{"entity-type":"item","numeric-id":5466464,"id":"Q5466464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034854$BB7EDA7F-457C-4813-8961-5AA9B4872DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034854$7DC7AB41-DA7F-49BD-9583-CC00FF88276A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034854$57096694-31C9-4BC1-8CB5-F692F440DCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"115ef96bf99331e3ed47d04557a5b1c7b96446bf","datavalue":{"value":{"entity-type":"item","numeric-id":6487335,"id":"Q6487335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034854$BC44C62A-6532-4833-93DF-B42B05124289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ffa88322789d29e4c6c91ab94c428d06a1896ff","datavalue":{"value":{"entity-type":"item","numeric-id":2147181,"id":"Q2147181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034854$3013E3F4-D42A-4A7D-B7AE-798D16282895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87957d20676b341fc2d415efa4c896e75ab57ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4414397,"id":"Q4414397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034854$3405A85A-39EF-43E3-A13B-B258C3C513B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62bf56316f400add0d0fd24e4ac8769d1d269f45","datavalue":{"value":{"entity-type":"item","numeric-id":3146278,"id":"Q3146278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034854$EBCF18D3-39F2-4278-AEEC-92F21822E9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec785066f721fdcdca6ad8622011c52b3fb6052d","datavalue":{"value":{"entity-type":"item","numeric-id":1158954,"id":"Q1158954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034854$086B3651-3FDA-49E4-A684-CF9963728E68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SAT-based learning of computation tree logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SAT-based_learning_of_computation_tree_logic"}}}}}