{"entities":{"Q3010374":{"pageid":3021098,"ns":120,"title":"Item:Q3010374","lastrevid":51283871,"modified":"2026-01-17T14:35:34Z","type":"item","id":"Q3010374","labels":{"en":{"language":"en","value":"MaLeCoP. Machine learning connection prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5916718"}},"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":"Q3010374$2BDEC168-7CFE-475B-A216-900B88B4577C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ccf247a18adc70b766cb10ba9d801958a078db8","datavalue":{"value":{"text":"MaLeCoP Machine Learning Connection Prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3010374$AE0291DA-FD49-46BA-AA8A-4EBD6AF3493D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d008ce43118f414de7db08ee67c1ee1f1e96717","datavalue":{"value":"1332.68206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010374$293F1038-ABB5-4BD8-A63A-77DD5F272202","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1813122136b939e78cf6f4c5e9a1f9f26e781ca6","datavalue":{"value":"10.1007/978-3-642-22119-4_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010374$328EA9B1-8730-4673-B758-07B1BFECB850","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010374$40388970-4661-42F3-8C89-C25BF8BB2E7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd5c974ae982856259c10daa0aea2556c9e24f8d","datavalue":{"value":{"time":"+2011-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3010374$D9DECE08-7312-4F72-886E-687632E0E855","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010374$C6F66357-981F-43D2-BCC6-9ADEFB785070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010374$BF78B589-0197-47B1-A0CA-66967C9551A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6f5628677e6567f5f2fa2f11a077b351f41932c","datavalue":{"value":"5916718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010374$D2D068F5-A996-4D07-BE70-D7A9D1399791","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"824e66560bf30b02805a91f52441dbc38109d38d","datavalue":{"value":{"entity-type":"item","numeric-id":21736,"id":"Q21736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010374$7D3CB50C-694C-4535-9BE2-B0D993F19693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"484f589bd857c6ecd5604196ba88033adb11a795","datavalue":{"value":{"entity-type":"item","numeric-id":15128,"id":"Q15128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010374$7400B8FC-58B4-4302-92C5-89D52830F835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7cccd35b34888307d4ad7b137783609eb5c56b79","datavalue":{"value":{"entity-type":"item","numeric-id":16825,"id":"Q16825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010374$CCB1AB01-D9F8-4E48-8BCA-FA08B8EF7769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010374$5F0D5038-6EAB-4792-8860-959C0B72126B","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":"Q3010374$AE2DF6B6-230F-4048-BA95-E58E48A94767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010374$E628B7AD-6171-4EA3-8AB7-C873B2E1DB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62af2c5e450adf37bd9acb47c5a55b60b68447ea","datavalue":{"value":{"entity-type":"item","numeric-id":22241,"id":"Q22241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010374$2B3C99C6-D950-44EA-918B-244919E61B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c2ac6c1c15bd263207487c53115a7cc6abe2547","datavalue":{"value":{"entity-type":"item","numeric-id":19033,"id":"Q19033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010374$3CB2F303-2BB1-45C7-8CC6-B85AEBCE3BA3","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":"Q3010374$75ADC732-7B4E-4B4F-9CAB-0B96DC50B84F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f0a9d22255382137e7c19b71e59533b164c33e2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22119-4_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3010374$282407C8-7563-43A9-AB46-2695A41DCAAA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f71343f5432a2958fa61a7b9aa44cd42ef9c0fb5","datavalue":{"value":"W1573726182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010374$9FE57076-0491-4844-8541-E94EC16E3759","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ba556dba03bf31cf58af7f286faede7069925ed","datavalue":{"value":{"entity-type":"item","numeric-id":951681,"id":"Q951681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010374$2749D789-6C23-4D0B-BE95-06470736026F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c50bf30b5dabdf4dda50dde9e43de872f1c8761","datavalue":{"value":{"entity-type":"item","numeric-id":5200032,"id":"Q5200032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010374$8E89A6B8-9CCC-47EA-9F6D-CAC32596CC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f38c339bbd571c9f13a1b3052c0abde7b640b4a","datavalue":{"value":{"entity-type":"item","numeric-id":2471742,"id":"Q2471742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010374$BEF98F3B-92F2-4674-8711-E540B8341C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e114146a9d2d5e6b8c252e3e4a144fcee5ae9e","datavalue":{"value":{"entity-type":"item","numeric-id":1404981,"id":"Q1404981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010374$072F7FAE-1E64-4ED8-BEA5-AFE1D448AA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe69fc028355d5cb639899e284adf226488cd64","datavalue":{"value":{"entity-type":"item","numeric-id":3541708,"id":"Q3541708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010374$901F20AC-5717-4F37-94FD-34AA991A0A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35a75f053a353053f076c4579a8bd7588f50e677","datavalue":{"value":{"entity-type":"item","numeric-id":3568228,"id":"Q3568228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010374$27CC3213-7BC6-475B-AC1E-2A764938267A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb051a6b1eb9b88364c46513701492fc0e99189","datavalue":{"value":{"entity-type":"item","numeric-id":3150300,"id":"Q3150300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010374$D27F8C1A-68FB-4AE9-91D1-F0216B4EDFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8df9f4577a0dcd8391487c5af1766a60e3ef7ebb","datavalue":{"value":{"entity-type":"item","numeric-id":2755103,"id":"Q2755103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010374$9ED404B5-8C23-4967-9A7C-7CF430DAB355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf7b4ce3ab96d4236a4c36e2f89589530011a89","datavalue":{"value":{"entity-type":"item","numeric-id":877826,"id":"Q877826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010374$99E9B25E-B334-47CB-9C27-E7ABF23CA836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe1b7572751e7c38d04d8597a88021abb417e889","datavalue":{"value":{"entity-type":"item","numeric-id":5747877,"id":"Q5747877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010374$A264F6CC-4453-41E6-8246-82A804BD16C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9655c068a195af6d54bbb62184581b058670a2b2","datavalue":{"value":{"entity-type":"item","numeric-id":3541722,"id":"Q3541722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010374$7F0FC861-6181-4D6F-A0F5-21AFFCDD4346","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fc8bd83d0cedc23d8e3e09bf10cc5e42cda54f5","datavalue":{"value":{"entity-type":"item","numeric-id":3460043,"id":"Q3460043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b80a895077b5379c7057a084bba2b44361d2407","datavalue":{"value":{"amount":"+0.8625170588493347","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":"Q3010374$36590D7A-2B93-4E2F-9C3E-8241F87DADBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eab127e20c4e479e5e30e398294a19c06fe4cca4","datavalue":{"value":{"entity-type":"item","numeric-id":2351414,"id":"Q2351414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c2c7019d6e26e19f5c7f62c3767ee4b0c7b5c02","datavalue":{"value":{"amount":"+0.75013267993927","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":"Q3010374$B0B57950-9D16-4045-B3E8-F7C8A2EA8275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"733045d4bdb6ac84e39d437da15db86acd1c641d","datavalue":{"value":{"entity-type":"item","numeric-id":6108816,"id":"Q6108816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b4aed3fc1e6a57f04e20e1f7ff7b16df3674dc4","datavalue":{"value":{"amount":"+0.7367411255836487","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":"Q3010374$D57450FF-F4C0-4634-82FC-7A093C512D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c4536e6673b55152086f8b927aecca88677e446","datavalue":{"value":{"entity-type":"item","numeric-id":3541722,"id":"Q3541722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"325e84093694535ed0e57c541fc9c3c77326896b","datavalue":{"value":{"amount":"+0.7322404384613037","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":"Q3010374$1319E9CE-7505-4320-B158-1A6680770A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"982fcab1a369c4eb2fe6b9646cafff29763dab5c","datavalue":{"value":{"entity-type":"item","numeric-id":4913871,"id":"Q4913871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"854d27c51e412a7e87b24862394617702e4a6523","datavalue":{"value":{"amount":"+0.731386125087738","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":"Q3010374$F4EDF39A-C2EA-4B58-8853-82026353A320","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3010374","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3010374"}}}}}