{"entities":{"Q3000656":{"pageid":3011380,"ns":120,"title":"Item:Q3000656","lastrevid":45232081,"modified":"2025-12-03T14:09:37Z","type":"item","id":"Q3000656","labels":{"en":{"language":"en","value":"Unbeast: Symbolic Bounded Synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897414"}},"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":"Q3000656$36173A50-9D19-4F3E-B7F0-B1DAB036BAD6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f925adc796f3b33c23ff026d58741207c80da048","datavalue":{"value":{"text":"Unbeast: Symbolic Bounded Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000656$C5C310C2-ED16-42B3-BBEB-CEBF92F1249F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43ab2deefbba732c6161b33d9a1848ae9e112ae6","datavalue":{"value":"1316.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000656$83201173-BC87-4BC2-8A55-CBAD3C70307D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1183c53136a1346eb95302b346442fff50f00140","datavalue":{"value":"10.1007/978-3-642-19835-9_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000656$4F15A5AC-10FF-47BF-801A-024C29A762E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d5826cb46f670122cdc676198f817f684799cc9","datavalue":{"value":{"entity-type":"item","numeric-id":453534,"id":"Q453534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000656$75F2679D-624B-4F2A-9364-26320B8BD7D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000656$CD5D1172-E97F-4B4D-9EA6-57219FA27879","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000656$CCD8137B-C2E0-4ED2-83B3-1C9AB273F638","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000656$3A7BF953-7A40-4C1B-9017-8560FC77E4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000656$85FC334C-47B2-4364-BC2D-EAC99955FD25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f453996439b30d6646c8ec0fb5d8ad2e1130f835","datavalue":{"value":"5897414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000656$863E4637-B69A-485C-B90F-F74DB54B693C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000656$5AA8E7B3-CC66-4FFD-909C-F98839E7B5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000656$E1E369F0-D441-4D7D-9E1D-524A99EDF9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000656$387A21A5-7521-480A-9DB6-4A286E5769A1","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":"Q3000656$74DD4965-C30D-4C78-A2E3-4FFE461651A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91852c40a2832a29f72ad6947c7b8efd2c0a6913","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19835-9_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000656$5A0AFD18-2150-4974-B724-D357DF35F22D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3452a2ca4b30200b484bb85e1b2b302bc48fb8e3","datavalue":{"value":"W1483600339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000656$3DB76DD3-5511-46F0-BA1A-C2919F67D5E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000656$7E3DC822-D650-4E1E-8AAD-773A76AA8F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"299f0e222fa0320068daa86655dbdc8583b9cf48","datavalue":{"value":{"entity-type":"item","numeric-id":3636866,"id":"Q3636866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000656$006A28F1-8734-40D8-8286-24F856E7A9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b7a2ec3c749152e7b4afbc524ed973549c96f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000656$4CBCB27E-28B3-4660-90F9-B32748671115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed620432d7ddcf233610ef2f2a050010220ed20","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000656$AE8B2B1F-C9A6-4182-B1FC-CDB5C5D53771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa9496983c523e576ed7e030ef8b8418be0e0d0","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000656$903C4504-2F1B-43A5-AA36-6FEBC6A80D3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9455a0da0956e4d14fb1597f23a78e98e362d135","datavalue":{"value":{"entity-type":"item","numeric-id":453535,"id":"Q453535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f303186e3f5fec9ab2088762b589b5d04d28eb77","datavalue":{"value":{"amount":"+0.9060391","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":"Q3000656$6EFCE55D-D597-4779-AEB7-5EB4DA453A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"071bb9bae8bf4d8c480ebe2d585a7570c05f6071","datavalue":{"value":{"entity-type":"item","numeric-id":5712276,"id":"Q5712276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68988d7e9735e60fad9d56fb32ee44f75bafddb1","datavalue":{"value":{"amount":"+0.85615605","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":"Q3000656$39179667-8CEC-4DE6-90CB-A53EF92C5C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74a35817cac7a82aefaf5ffbcbd77ac577e24346","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b162c7f05ecb30a2d7906f4319ef8fbf13dbb98","datavalue":{"value":{"amount":"+0.84449756","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":"Q3000656$02DDEB25-9AFA-49E1-89BB-B8F60B17EC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee356ae861b9bbcfde7895c962ba1a94d08ccb2","datavalue":{"value":{"entity-type":"item","numeric-id":4804900,"id":"Q4804900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8abfda5f0c17d2989f4ec234c13450b17878a8da","datavalue":{"value":{"amount":"+0.83942246","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":"Q3000656$29A63EFF-7103-4EBD-BAFA-BC98ADCD9982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2d37e73c744ef5d5a1d6434189ddba91c2592c8","datavalue":{"value":{"entity-type":"item","numeric-id":3303904,"id":"Q3303904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88728f7e61392596f1da191c2f05dd723b20bbf7","datavalue":{"value":{"amount":"+0.83800834","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":"Q3000656$882CFD05-FCB0-4FD6-B90A-CA9C2E503338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"451a27ba17917bdc4fb7255aaaa1a4114bae0564","datavalue":{"value":{"entity-type":"item","numeric-id":3637253,"id":"Q3637253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c4dac96b6170bdcc2e078b1ebc4b12d57666a6b","datavalue":{"value":{"amount":"+0.8326026","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":"Q3000656$E78E4A0C-F8DA-48B1-99F2-F25BD18D7717","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000656"}}}}}