{"entities":{"Q6536295":{"pageid":14147438,"ns":120,"title":"Item:Q6536295","lastrevid":55636816,"modified":"2026-02-17T20:08:07Z","type":"item","id":"Q6536295","labels":{"en":{"language":"en","value":"\\textsc{Sorcar}: property-driven algorithms for learning conjunctive invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7834948"}},"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":"Q6536295$DE99AE16-C9A5-4A8C-9374-09B7C3AF84B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c03fbffbfcb5857573cb32c3975d3d4ce5886138","datavalue":{"value":{"text":"\\textsc{Sorcar}: property-driven algorithms for learning conjunctive invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536295$5846BE93-8C2E-40E2-8220-3DDC7A315460","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70111eafe5fd09ba7e75a5b2d41287c489d1e93a","datavalue":{"value":"1539.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536295$861F07AA-73D2-4CD6-8D2F-30E3CDEDFD0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d26cafff450e58337d5cc1a648a95e86c3005ba","datavalue":{"value":"10.1007/978-3-030-32304-2_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536295$A5FE2BE6-199F-4201-BDCA-EB8B91C0FF4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"985ba93433527f6d082a450a60d069993898369d","datavalue":{"value":{"entity-type":"item","numeric-id":477196,"id":"Q477196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536295$78E7FC3E-53F4-48DE-B7F1-FF2EBF124B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08dea09d468230ac7ef2543a9211289760c3589b","datavalue":{"value":{"entity-type":"item","numeric-id":2208305,"id":"Q2208305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536295$21FD78AF-4E94-4B9E-A60C-2C93384EE350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7db51a0f04b9f0d6e4008fbb01a7a758126343","datavalue":{"value":{"entity-type":"item","numeric-id":746777,"id":"Q746777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536295$6099E81C-E68E-4582-8083-0DF24AF04A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7ae23aa61a0d3617ed945c3a7817f6e39ebeb8","datavalue":{"value":{"entity-type":"item","numeric-id":236078,"id":"Q236078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536295$FA47D6E9-34F0-42EE-90A3-118044461431","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea6e0d286aec87d7de2b77268af916e9034fb87d","datavalue":{"value":{"time":"+2024-04-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":"Q6536295$B6296D45-274A-4381-A93D-439E3C537797","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536295$19AE3914-2785-4646-81FE-C21966F016F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536295$4F22E79A-F498-4416-B28F-FD70EB74BBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536295$0F1C7A08-D7E6-4F05-BEDF-BAF56D19EEA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68650631aebe9bba0d786627e2deb84c2093eff2","datavalue":{"value":"7834948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536295$D5D06C53-8B4F-42B7-851D-268777DDE568","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"535f65541f41a57140701ba196c6989224dff34b","datavalue":{"value":"invariant synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536295$9FCA23F4-A117-41BD-AD3A-FE4A60018BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536295$A99C4AA8-08DF-4B45-86A8-0FDD68219A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a457c126d7cf7f643628d1d2efb945be5a1f2a11","datavalue":{"value":"Horn-ICE learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536295$C01ECE5D-04A4-4A66-AB34-272B1F9EAC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"364eb6df21e0a937ffc5f08856e033802c60fe6a","datavalue":{"value":"conjunctive formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536295$F20F580C-8A2B-4BD8-BB8D-183531913E09","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":"Q6536295$3F977C78-2D35-4CA6-B42A-E5A4FD95EEC7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536295$3E2D4049-9327-41B5-872B-B8CCD8614BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc85e7648787a5ed94053adc1ecf581a9fa4439a","datavalue":{"value":{"entity-type":"item","numeric-id":5919615,"id":"Q5919615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536295$2CF9D4B5-AA1B-43D9-BC0A-35B6495489CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a80eed9f379f185c9ca92aab1fa2ad3cc4463c9","datavalue":{"value":{"entity-type":"item","numeric-id":3887227,"id":"Q3887227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536295$58DED3F6-0ED9-4293-AC9B-0DF92809DA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee35b920b29b4f9dcb2d3243c04d909ecceb6c8","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536295$9BB22D65-7528-484D-8E4E-FC7C3D3035D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd9b88bb298728fba36d6cb290ee95ccae0a7ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763999,"id":"Q2763999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536295$AA64CACE-F0A3-40D6-A9DF-C7F7E15D9E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536295$6A278730-54EE-4676-884C-F970809CC99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536295$EA29D464-F229-4DBB-9593-4BDEDC84F0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba089f9433ceda1f0b3df955a6d5984fb8f80e5e","datavalue":{"value":{"entity-type":"item","numeric-id":2324217,"id":"Q2324217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536295$77457B5F-FD3B-44C5-A794-2CCC1D397A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5543be9943ed5afa4e775fa2b368abaa7788d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":5326308,"id":"Q5326308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536295$39BFF629-4575-487E-8C3D-2B594B6A86CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b51e7f09253c42c681c594648e00a23eef5ebe9c","datavalue":{"value":{"entity-type":"item","numeric-id":2961586,"id":"Q2961586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536295$4B1F4835-85DA-4B55-9C02-968B69F0AFBD","rank":"normal"}],"P1643":[{"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":"ccccf07456ddc8d5a9e90f52acf8e02dc4a9431d","datavalue":{"value":{"amount":"+0.715966522693634","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":"Q6536295$9592D03A-F170-49BA-9379-245430F43EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d950c362d3801fde912fba8bdf9587069d04358","datavalue":{"value":{"entity-type":"item","numeric-id":5452621,"id":"Q5452621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c54b270dd5b4e70732fcd9e810e1e07afccbfa","datavalue":{"value":{"amount":"+0.6928242444992065","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":"Q6536295$EC095BC8-1F52-4AEF-9426-A95A047953B9","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":"2ec314770c22588ac8acdc97c5c9822e4a5b34ad","datavalue":{"value":{"amount":"+0.6907619833946228","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":"Q6536295$0217E3FC-4F10-4A20-902C-CAB264BD3E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"501587f1d5024fdaf6c3718f9d2901ae36121df6","datavalue":{"value":{"entity-type":"item","numeric-id":939166,"id":"Q939166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d92a636c38355e071be90ead1a3437aff6829e0b","datavalue":{"value":{"amount":"+0.6883761286735535","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":"Q6536295$C62FF7FD-849F-40EF-893F-AB04D5C57EDB","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":"3ffb9abf20a1891ef7266600bbedadc3b2676950","datavalue":{"value":{"amount":"+0.6833240985870361","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":"Q6536295$B33F59AF-C405-419C-B954-8D64D5F008BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536295","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536295"}}}}}