{"entities":{"Q6041178":{"pageid":13175279,"ns":120,"title":"Item:Q6041178","lastrevid":93738992,"modified":"2026-06-05T05:00:48Z","type":"item","id":"Q6041178","labels":{"en":{"language":"en","value":"Efficiently learning safety proofs from appearance as well as behaviours"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689289"}},"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":"Q6041178$93C6F3B2-F6F8-4C01-A06A-A629E4463F08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7dee2d78bfcea3a3c4e2cb70f0f48dfdb316381","datavalue":{"value":{"text":"Efficiently learning safety proofs from appearance as well as behaviours","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6041178$08174DDD-628E-4A7C-B761-2B6D312FD904","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e2ffec30e26fe857735e40fa4bff5782d35889e","datavalue":{"value":"1517.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041178$AF8E5159-CF49-4108-A731-76654848010F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecbeead337a2645b7f6ce895d0f719a7db552799","datavalue":{"value":"10.1007/978-3-319-99725-4_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041178$296E4F1C-18B3-4B5E-AE84-F5EAF847C5E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e48743d2a55c9f2f3bbf277bdf93c3006d76e4e","datavalue":{"value":{"entity-type":"item","numeric-id":5096087,"id":"Q5096087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041178$4CB4749D-F1BE-4823-9D01-87C56D497BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d1988a0f8344c4854bd8bbd79a71067f1994f72","datavalue":{"value":{"entity-type":"item","numeric-id":672263,"id":"Q672263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041178$6C11622A-02D9-4592-81FF-408FEA271148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4426182ab210f0026cb1d2516c86321c2524dc53","datavalue":{"value":{"entity-type":"item","numeric-id":267411,"id":"Q267411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041178$656F3985-9E6F-41B0-8F23-32AD6CF5B45C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041178$E17A73D1-CC09-4F0B-BAE8-B4B38630F1C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6041178$1B1B5005-0569-45A1-99A0-16E49272B6CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041178$1E44B330-D66B-4C4B-9A1B-7880A5A610AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44a43b90f60b1009a48725dae67e12a4170ed99a","datavalue":{"value":"7689289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041178$703A6CB7-56AD-459D-A388-8F988A706945","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":"Q6041178$F2F40894-5FD0-42E3-B1B9-C8F4E36A50CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ef235ad108d05592299d3614ece2ab74ea395ae","datavalue":{"value":"https://doi.org/10.1007/978-3-319-99725-4_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q6041178$6385D1DB-FD85-4B67-87A9-E43F1E734681","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d31c1d9e0fd352dfb7a94fe1947e842be9bd3c9","datavalue":{"value":"W2889520176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041178$E04108D8-E966-488A-AB4E-2CCB65DF5743","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352e5e58cda96d5a32474cce4d947edd87cefaf7","datavalue":{"value":{"entity-type":"item","numeric-id":2225478,"id":"Q2225478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13cb86d789f5feac66f86dc3db4e51634eb43f0d","datavalue":{"value":{"amount":"+0.7636419534683228","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":"Q6041178$98D9FE8A-DB9F-4C61-9780-9446F99AFA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557aba351f98a507dc47f03eaddfa587e5ea434b","datavalue":{"value":{"entity-type":"item","numeric-id":2208307,"id":"Q2208307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f37368d13bbbb5e631f121cd4ce201b69be3090","datavalue":{"value":{"amount":"+0.6943285465240479","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":"Q6041178$EF9F2D57-EF6E-470D-A431-6A9E23ECBC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"725bb17ca3657881f0a98dc3d779187baeabced2","datavalue":{"value":{"entity-type":"item","numeric-id":3656883,"id":"Q3656883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cc6fb678955323e6e064d45127467f99a597af2","datavalue":{"value":{"amount":"+0.6876484751701355","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":"Q6041178$A607A496-C0DA-427D-ABE5-28327B8F11C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e36f3694c49ffa7483df2a818342d806f5dea076","datavalue":{"value":{"entity-type":"item","numeric-id":5740643,"id":"Q5740643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51b40f2f6a051e44e0b9998febb5ba057bdc21ed","datavalue":{"value":{"amount":"+0.6875517964363098","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":"Q6041178$67BB0F95-A737-42B9-8D5A-448060120730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a505f5185cc790a15e02721fd0da0e503f46206e","datavalue":{"value":{"entity-type":"item","numeric-id":3177887,"id":"Q3177887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a83e127af6524df99bb5247816e7c30f0e79419e","datavalue":{"value":{"amount":"+0.6855143904685974","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":"Q6041178$17E2E5D0-BCDA-47E5-9665-AE7B18347064","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficiently learning safety proofs from appearance as well as behaviours","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficiently_learning_safety_proofs_from_appearance_as_well_as_behaviours"}}}}}