{"entities":{"Q3460043":{"pageid":5239443,"ns":120,"title":"Item:Q3460043","lastrevid":46599501,"modified":"2025-12-25T04:28:36Z","type":"item","id":"Q3460043","labels":{"en":{"language":"en","value":"FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6528775"}},"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":"Q3460043$28EE97E2-15FE-4804-ADA6-30F2351577E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f40db1e48339d02df9a9b5d8999c38a156a3f24","datavalue":{"value":{"text":"FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460043$904EFE11-365F-4779-A0EE-CA175DF59085","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d610bd289dce53bdc6956a60aff39ec0ff2c10b0","datavalue":{"value":"1471.68312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460043$A3C48092-8597-47ED-BDA0-708E14C926F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f782487b3f63c9513891e56221d9e42e6dfeae84","datavalue":{"value":"10.1007/978-3-662-48899-7_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460043$4B9A165F-270D-4BF8-99C9-0102D9F7F020","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad6a046b48bbe4ab777309f1d5c19b5fc7dfbda","datavalue":{"value":{"entity-type":"item","numeric-id":286799,"id":"Q286799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460043$097811C1-C28F-440C-B235-22FC446DF79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc204e2e78d924e815f2b640ec35c8c2356ad41f","datavalue":{"value":{"entity-type":"item","numeric-id":286786,"id":"Q286786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460043$8A426C96-E771-4C98-B573-A8856EBA78E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460043$C73892E1-0E9E-46E7-8997-499F99E295C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f91432dc3d3ba35c1a5312422600047e5b632480","datavalue":{"value":{"time":"+2016-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460043$4DEF9ED8-7BD1-46AC-B1A3-E64789B7A193","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460043$0D3EF380-B185-4B1B-A68B-CFBC74DA5DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460043$58CC6BC6-B09C-4B9D-88D4-8FFC3F974F07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c503a342a94758a7535e3914e9a7eb80c834ce8","datavalue":{"value":"6528775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460043$249961AC-260C-453F-A853-BC7D75A2B954","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b3b40f76bce6552c493157b80dbd804b66f47869","datavalue":{"value":"Q108482154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460043$47E21408-4CD5-4AD2-861A-E2CF930C80CE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460043$AD037DB3-C2A7-40C4-8F93-A009D3A40299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460043$110B76FD-2762-47EC-842E-33EEBD0043F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460043$E1CABC91-0AAF-4B8C-8E9B-E2F32A73E536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4725be8fa705861afbab12b59e447099c9ebb4e","datavalue":{"value":{"entity-type":"item","numeric-id":20216,"id":"Q20216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460043$F432FE25-4145-469A-AC6C-4B104D0DF990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7cbb37e14a01458626c5623c37a9141435c8062","datavalue":{"value":{"entity-type":"item","numeric-id":19250,"id":"Q19250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460043$E83E86FA-9701-490F-AFE5-BA8B079940D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ae510ff9d7026cdfae7484e5c88af62cffb92c77","datavalue":{"value":{"entity-type":"item","numeric-id":21735,"id":"Q21735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460043$A5AF8C2A-6EED-4DBE-A3A8-40CFC8BB3EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460043$4DAAAD30-5220-4C5C-AE0F-C8EF146AA869","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":"Q3460043$32C7B841-F97F-4D92-AF6D-5FBC8467F8BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70640c5664d854a678d2eb18d769c37ded173b1f","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48899-7_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460043$F56A2676-1662-4B66-95D5-DB50342C1BF6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ac44bed415c49c63a3f40afeffb59f3cd0238fc","datavalue":{"value":"W2257927474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460043$F3B72A3C-3DEF-493E-A8A6-D8AE63713857","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"730645516d7276ab17178de6fda2a0ea957636e5","datavalue":{"value":{"entity-type":"item","numeric-id":3010374,"id":"Q3010374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41603955775e5750f7a519e7d0cf446ac0d176c8","datavalue":{"value":{"amount":"+0.8799045","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":"Q3460043$FFB24224-FD00-4E72-8D9F-98ECA879433F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8891623e9ede7941759125c02f74d0d785ef4406","datavalue":{"value":{"entity-type":"item","numeric-id":2817929,"id":"Q2817929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b832524f4c82f3bda3cecd78f49757c7cc818d41","datavalue":{"value":{"amount":"+0.76290995","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":"Q3460043$DD9951EF-E051-4A72-B834-C9E13A7BBB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f849e8c0079e919fbd590217e8c1c62f3f277e67","datavalue":{"value":{"entity-type":"item","numeric-id":1404981,"id":"Q1404981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0a715a346100cfdf42a7f6b64ed81ba4911679b","datavalue":{"value":{"amount":"+0.7594539","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":"Q3460043$178863D4-8812-4B2F-83E0-5BB32487F3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb636f355d8796679a448ab2f0465b71bf2a95f4","datavalue":{"value":{"entity-type":"item","numeric-id":3459922,"id":"Q3459922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc12ff443a421b7652792ec2efc627603b19d94","datavalue":{"value":{"amount":"+0.756492","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":"Q3460043$0DB1C1AD-824F-43B4-AD62-5AD210A720C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7450ef75eab7759ec3e2c41e6b79462da7c276b1","datavalue":{"value":{"entity-type":"item","numeric-id":4645728,"id":"Q4645728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a8337afe8de487982e40ce5e46c1c86631f527a","datavalue":{"value":{"amount":"+0.74662346","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":"Q3460043$27D260C3-4987-4DBF-AA79-098F9BDFC62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fac03fc28094dc9e2c5577fcf6cb715a2dca930","datavalue":{"value":{"entity-type":"item","numeric-id":5955618,"id":"Q5955618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee5b4f3653e10c2afae4b5b861c4bed57993459b","datavalue":{"value":{"amount":"+0.7435209","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":"Q3460043$1816FA22-B63E-472B-A968-BDC9D0AF944A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b4c5f96d303cd2ac7e264012577aaaded5609ce","datavalue":{"value":{"entity-type":"item","numeric-id":1630027,"id":"Q1630027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"123e615972c92e9947312c1b936fb54ba1fd634e","datavalue":{"value":{"amount":"+0.73909473","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":"Q3460043$12B5B815-E609-485E-8078-2DB18AFB9622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3209d57345f99ef2c52afd245fc08116b5b7cd18","datavalue":{"value":{"entity-type":"item","numeric-id":2142077,"id":"Q2142077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98185de5aa0e5297b61fe705fafafb61f8d13fe2","datavalue":{"value":{"amount":"+0.73599386","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":"Q3460043$FCF1BFDD-3FF5-4CE2-BCC8-3817AAA04D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6dbb346f4d6438497a93358f9fc5d941f401797","datavalue":{"value":{"entity-type":"item","numeric-id":2946572,"id":"Q2946572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e29db7950cdf5d5a9cbfb977c547167cad1f698","datavalue":{"value":{"amount":"+0.73308593","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":"Q3460043$5F1A3EDF-0F25-4024-A069-555DEF7A7BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dacbde12ba11a83e5f0b2e5b5eb4a7e3a0cfe3b","datavalue":{"value":{"entity-type":"item","numeric-id":3192198,"id":"Q3192198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae76e5a913116b66647e3ba0e1343e6a3489b2ac","datavalue":{"value":{"amount":"+0.7330684","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":"Q3460043$3D7D51EF-EED8-4F43-8468-D27C6FF29280","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3460043","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3460043"}}}}}