{"entities":{"Q3541728":{"pageid":5571632,"ns":120,"title":"Item:Q3541728","lastrevid":80954696,"modified":"2026-05-06T17:23:00Z","type":"item","id":"Q3541728","labels":{"en":{"language":"en","value":"Automated Induction with Constrained Tree Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5374269"}},"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":"Q3541728$7F5F0CDD-59BD-45FF-9D12-2EDB1B3791B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75ffebb3a22f9c61851c4de489cd39a71357737d","datavalue":{"value":{"text":"Automated Induction with Constrained Tree Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3541728$D9CA56CB-E1FD-4731-B8F2-397D0FEC477F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6daf9037c0107ae4d3b6790b72837801876d4b8","datavalue":{"value":"1165.68452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541728$09ABB85A-8F97-4CCF-A841-E886080D5262","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1191fd9c79c70df229c3ce274a4242756b76581","datavalue":{"value":"10.1007/978-3-540-71070-7_44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541728$5D440AD8-D2B9-433D-BD0F-32E950832ABA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b3a8b345d1b3ec000ad6c59a5dcb5ae454f5a56","datavalue":{"value":{"entity-type":"item","numeric-id":420846,"id":"Q420846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541728$E964AD68-2B47-49ED-8674-73AF4838D0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3920c2ee987eac94563e155e27382f1dec3b4ac7","datavalue":{"value":{"entity-type":"item","numeric-id":420847,"id":"Q420847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541728$F76F8CD6-A55F-437D-B429-904AD46C7753","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541728$B045D3E3-EE30-48C4-8F87-63A7DAD84A59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a5749b126b021d85a2ebf6a8aa65ef57ba3c669","datavalue":{"value":{"time":"+2008-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3541728$43240BA3-601C-4B91-BC2F-B7B4F52EF87A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541728$3ADB0F1A-4EB8-4BB8-BC74-B306AAC190AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541728$9E89052D-6A1C-4ACF-AD58-943F2465C7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541728$5BC63E75-9EFC-4B9D-A323-59B2E0246C9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc521c5bec2571fb0f1234878b93cc898caadc4f","datavalue":{"value":"5374269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541728$F509BC7B-5FB7-43DD-8651-BA97C01BBBC5","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":"Q3541728$EF8F9C1D-1217-4FB8-AF9C-402E3A92E212","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9284fe8d4d26490769d4a9943b533141f8d14ee","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71070-7_44","type":"string"},"datatype":"url"},"type":"statement","id":"Q3541728$3FAE47A1-C456-4CF4-812F-A05BD4B432B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89f78a57503371c86f3a58eb4c0160429b6fba12","datavalue":{"value":"W1556936708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541728$2713A7B8-EC0B-4916-B1FE-09685EC1976A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38436ccc3eaf66833737c693efd9ee02093296ee","datavalue":{"value":{"entity-type":"item","numeric-id":1355757,"id":"Q1355757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541728$BCCD5836-525F-45BF-9FDE-DCCDD7412CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1541e165f8da97eb3fd7ff658d64b7ee02aeca1","datavalue":{"value":{"entity-type":"item","numeric-id":3541728,"id":"Q3541728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541728$456BD0FB-DF15-4A05-9060-CE2CA7132CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee8e869687239ba7356faf4f307148f6207fe3f6","datavalue":{"value":{"entity-type":"item","numeric-id":1854445,"id":"Q1854445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541728$4CF936D5-9034-4364-B84F-6AE68C79E56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0a77e1c48f39d3b14ae34f12c26a25727e4adf","datavalue":{"value":{"entity-type":"item","numeric-id":1978640,"id":"Q1978640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541728$DA804F03-BEB0-4A24-9B35-0CA8393C68E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7199b61e16a84b76da4670f962685e538ce1a13b","datavalue":{"value":{"entity-type":"item","numeric-id":1891255,"id":"Q1891255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541728$8D562124-014C-4558-94DC-D9A70624A96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a3e60dd0fca99bfbfa5b5591cdca181708b6d19","datavalue":{"value":{"entity-type":"item","numeric-id":1887142,"id":"Q1887142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541728$20C6E86A-DA96-4DE0-9896-9D68E2E21CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec2d796c9da1beefc6277ed4a94d08fad9b70f0","datavalue":{"value":{"entity-type":"item","numeric-id":5758053,"id":"Q5758053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541728$EE87BC9C-D506-49DB-B743-577544D4D2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541728$D792749F-1829-4207-BB67-6AB58E50FC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815b4ea88f4497df1041eb32323b341e0ab9b712","datavalue":{"value":{"entity-type":"item","numeric-id":2426520,"id":"Q2426520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541728$CF260134-C84B-44A1-83F2-6086BCD47A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7800cb26ebd8bd73eb3371458d6f9dbbf37e26b7","datavalue":{"value":{"entity-type":"item","numeric-id":5950934,"id":"Q5950934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541728$3E5D8E29-712D-471E-B69B-07C399FE6F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"823877466ffaaf00e3854a2ec95798a71d679b8a","datavalue":{"value":{"entity-type":"item","numeric-id":5881200,"id":"Q5881200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541728$23FEAE3A-CEC2-4A58-ABD6-9904C2DA5754","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9ca45c803917ea740855b6c448b851f7463e911","datavalue":{"value":{"entity-type":"item","numeric-id":1854445,"id":"Q1854445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98f997427c63be3ae2758885c0730f0a7add4eb4","datavalue":{"value":{"amount":"+0.9050495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3541728$A0BCFB15-CE68-43B1-814B-F0738E7C0E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613f186f03a738d80803c61a7484100e77858006","datavalue":{"value":{"entity-type":"item","numeric-id":4994129,"id":"Q4994129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44ce18e48beae0b56d8c54f9d3a76688e49e5c62","datavalue":{"value":{"amount":"+0.9047549","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3541728$95F7CAAF-C6CB-4F86-AFEB-76C0385FD18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c7f6a65ca3566cab93f402f8a76badab16ae07","datavalue":{"value":{"entity-type":"item","numeric-id":4933333,"id":"Q4933333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6223e4324782bcc812ad97cf4bbc48cc2adaa6d9","datavalue":{"value":{"amount":"+0.8950652","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3541728$F72616D6-8085-4684-A185-3DB1A35DC8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"267b420452456a8dc08d62016ff3db922bf413c4","datavalue":{"value":{"entity-type":"item","numeric-id":3586405,"id":"Q3586405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5883ef6be7dbc0cbd7526ba749992bc6d1f06382","datavalue":{"value":{"amount":"+0.8872897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3541728$088895D8-8A39-46AC-AC1D-BCF193949ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8c1f496b506374c0ed4e43bf11d02df982d2e0","datavalue":{"value":{"entity-type":"item","numeric-id":3533021,"id":"Q3533021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5883ef6be7dbc0cbd7526ba749992bc6d1f06382","datavalue":{"value":{"amount":"+0.8872897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3541728$D2FCB05E-FAC0-4734-8F23-CBC91B88DDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cbef939c47ef77454dd1dbe87d499a1d1fdbcf2","datavalue":{"value":{"entity-type":"item","numeric-id":5090498,"id":"Q5090498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31bc86623d8344dc0c799497e37f4c3d53123de0","datavalue":{"value":{"amount":"+0.8862753","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3541728$78A6040A-639F-464F-9246-F6C9AF3113C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f249d046f809b4dfe387d6bf4b32e4b27214a863","datavalue":{"value":{"entity-type":"item","numeric-id":3741087,"id":"Q3741087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"600e95d2da00feda7c888d88fcbb692b42295c1b","datavalue":{"value":{"amount":"+0.88624895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3541728$FEB48B25-62F5-4301-B519-2BB4506ADBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd1d89e5c7144714cbc04d13ecc44f359334372a","datavalue":{"value":{"entity-type":"item","numeric-id":4281553,"id":"Q4281553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b80bc9139f537ab1b1c08a46b31c55c3ff83fff5","datavalue":{"value":{"amount":"+0.8846743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3541728$3CB2BA76-0EAA-41DC-885F-22DF640D1133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebca772138c49ee95355c350048d9a51596d8375","datavalue":{"value":{"entity-type":"item","numeric-id":4349580,"id":"Q4349580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e52be0914f93120b870d3da716ed1b8846ee8c2f","datavalue":{"value":{"amount":"+0.8841266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3541728$8DDAC7B6-8877-49DE-B02F-066C2086CD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2e9e86e0a50c475c12d3c958db4aa9b0ff24e0b","datavalue":{"value":{"entity-type":"item","numeric-id":2164002,"id":"Q2164002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eb4d93d9951d62311c4772aaac042cf32281840","datavalue":{"value":{"amount":"+0.88150626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3541728$24DCD68A-5478-4FE2-8ADC-FB6CA109BDDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated Induction with Constrained Tree Automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_Induction_with_Constrained_Tree_Automata"}}}}}