{"entities":{"Q5194952":{"pageid":7224524,"ns":120,"title":"Item:Q5194952","lastrevid":53532977,"modified":"2026-01-25T04:48:25Z","type":"item","id":"Q5194952","labels":{"en":{"language":"en","value":"Inferring simple solutions to recursion-free Horn clauses via sampling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105935"}},"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":"Q5194952$D0D5987F-34D0-43AF-A95C-253AFD7EB528","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d41274b0bf60435315f556b93846f94facbc037d","datavalue":{"value":{"text":"Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5194952$6F109699-E9A3-4075-B295-FDB8AF536EA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6d0e118466946186d8fc5bcebcde33b8ce91ab2","datavalue":{"value":"1420.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194952$D4C0C7FD-9DC7-4412-B8C0-6E491EA578BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecdf7a6a6eafb7209c9d1e01d374d58c7361e168","datavalue":{"value":"10.1007/978-3-662-46681-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194952$D4E9F628-2ADF-4F91-B379-3DD7D4538635","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad89601800dc23413dc7ca174df857b300e44e3e","datavalue":{"value":{"entity-type":"item","numeric-id":832226,"id":"Q832226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194952$05ACED87-3043-457C-8847-68A71CFA0C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbb2b3863299559ef6ebd59e50269b0807955a10","datavalue":{"value":{"entity-type":"item","numeric-id":832227,"id":"Q832227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194952$CCB0C171-B4FD-44D1-86FD-5405E12E62BB","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":"Q5194952$D1B58E1F-5302-42BD-926E-396081205C70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5194952$31CFD89C-E027-4D56-86A9-F4C971D526DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194952$5340E2A0-1D72-432F-A98E-B4D1E977F4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194952$5C968495-0CB5-4186-B7AC-633488E9ACCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7ad3c3c59ffb52d4fb251e61d510666b8841edb","datavalue":{"value":"7105935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194952$90AA66D0-3DA0-469D-857F-E3494FD9A9F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dccd65fbf10c4b2327e3717fe7d64644d77ffc6","datavalue":{"value":"solution space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194952$0B451107-71F6-4FA3-824C-5FE16B4A9833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a19cd3456f97e48f19596f98f3a5556c93eaad4f","datavalue":{"value":"simple solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194952$1B6076F6-03A8-4C9D-81B5-BE132FD712AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f07735839cc3b14889b87d8290babdbeb4e3ff92","datavalue":{"value":"atomic solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194952$8B7B9011-A3B7-45CE-A1E7-DA63967B5C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8f384098e8f2ae4ef2ba4576b8d375f29034500","datavalue":{"value":"Horn clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194952$2BAF8638-2BA5-49F5-8A78-2DB4FF1D3FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b6e879e75c263def884cd75dd4f0f1db53ca39a","datavalue":{"value":"predicate variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194952$B4D8133A-701D-4CFE-9EDC-85987BD314D0","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":"Q5194952$BCA01F2C-A6DC-4531-A8B4-6C3A2207942F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbd7f1951762b24c18b25670387bdedfb7d4e617","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46681-0_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5194952$13EE9CE2-B2D9-43F2-9262-A4567664E710","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6014938895ce1015bd99a6ef45c407404e9f92e4","datavalue":{"value":"W594226166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194952$544A334C-2888-47E4-9544-E5ED099C6F8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c4a36a31274c5966ce09e345f4fcb7cb21489c","datavalue":{"value":{"entity-type":"item","numeric-id":4997234,"id":"Q4997234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a39c2cb45c57303c24ddd822d3d5e1d0a1023bbf","datavalue":{"value":{"amount":"+0.7975528836250305","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":"Q5194952$76F7D673-06C3-461C-887A-C264BD470E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"509fe2d0413b578d259b63377ae6e13a0e0a719c","datavalue":{"value":{"entity-type":"item","numeric-id":746767,"id":"Q746767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"604d288ee76e8c1faaca3e62ac1b03d7fb711620","datavalue":{"value":{"amount":"+0.7644435167312622","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":"Q5194952$CAA4808B-1EF3-42B3-B259-8CC9FA3A275E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38d531ebfcb6c94fc098771aa782e50b1cbb06b","datavalue":{"value":{"entity-type":"item","numeric-id":2164260,"id":"Q2164260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1f75f60c02a67d4eb27be76c789a4a89021639e","datavalue":{"value":{"amount":"+0.7347812652587891","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":"Q5194952$BBA46FD5-4FA6-44F8-A0F1-1BEC8CB064B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a5bb51e3095387c40d880ae273a0fce71d2c1c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dad45dd6158046cf00f0acf94cba6ee7edfa600","datavalue":{"value":{"amount":"+0.719029426574707","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":"Q5194952$6A2F55D3-6AA1-4D9D-84B9-97AF131C2C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a2829ee7f5621f0f381ec164ab8665b84e3adc5","datavalue":{"value":{"entity-type":"item","numeric-id":681335,"id":"Q681335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb7cfe7ef71ccadf0e609398f9044c008b240547","datavalue":{"value":{"amount":"+0.6994885802268982","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":"Q5194952$A56C5F28-4563-4435-BD82-E238EAA5E4CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5194952","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5194952"}}}}}