{"entities":{"Q6535619":{"pageid":14146762,"ns":120,"title":"Item:Q6535619","lastrevid":57343509,"modified":"2026-03-30T14:03:20Z","type":"item","id":"Q6535619","labels":{"en":{"language":"en","value":"Maximizing branch coverage with constrained Horn clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798030"}},"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":"Q6535619$938770ED-092B-4214-A504-186911D622F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c9629453560a99a1aa52d1b6d808d4fd2eecafa","datavalue":{"value":{"text":"Maximizing branch coverage with constrained Horn clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535619$1DE3E810-F284-4367-98CE-0B7BF50D2B91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af65068fd7989541b194974ba560cb602bf2eaff","datavalue":{"value":"1547.68465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535619$DE5C4B74-4072-433D-BA5C-8573C982525F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0446c97524acfcaf7561d851cb359a9df19f6596","datavalue":{"value":"10.1007/978-3-030-99527-0_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535619$C589333B-DC3C-40CE-AA4E-A9E13D938930","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8835a3dd473632679b28a9d6a74459fe8e7346d3","datavalue":{"value":{"entity-type":"item","numeric-id":6535618,"id":"Q6535618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535619$C91F79E7-3A60-469B-A0C8-9C4F4CB43BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"138e91d832e835b45e439ed8c45f97cc7963138e","datavalue":{"value":{"entity-type":"item","numeric-id":784130,"id":"Q784130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535619$7332634E-D81A-4C5B-8708-AF4C36DEA432","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee76859de6cb7315119a0b9d8fb63ade5f4cb1a2","datavalue":{"value":{"time":"+2024-02-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":"Q6535619$7AB97DED-D43B-43A5-B942-6EF3F9B65D14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535619$17B1783D-B76B-45D1-819C-8886D160E179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535619$4AEAD123-D739-4618-8E09-DC7285458454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535619$D5A8558B-82F4-4D13-9648-763A535AFE2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba367509971f489566cc6a71b73a402e4642245e","datavalue":{"value":"7798030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535619$8E290FCC-45EF-440C-A0FF-288BB854DE00","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":"Q6535619$FF84A8FB-340A-437E-8A82-A82AAEF6DE4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b345502c513dc247f853426190dd82b49384e626","datavalue":{"value":{"entity-type":"item","numeric-id":5458338,"id":"Q5458338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535619$3F537276-DF83-4BCF-B05C-FE0523DD650E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d029ce62525989da0424f880b693d80f4cfa5a4","datavalue":{"value":{"entity-type":"item","numeric-id":6056638,"id":"Q6056638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535619$5E05F04E-C3FC-4A6E-A170-CC18C52605D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535619$6B672520-E07E-4EBA-802A-5EEFC06673DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9e6dd0047866bfc8e77788fb7e9f9e563b66da","datavalue":{"value":{"entity-type":"item","numeric-id":4633561,"id":"Q4633561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535619$C0D73716-6787-4B1F-83CB-188C3C410FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c4cf2cc00850270a28614888dcd0fd49d3c89ac","datavalue":{"value":{"entity-type":"item","numeric-id":2225478,"id":"Q2225478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535619$5109D970-A934-4808-AD68-05545CC4CAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774e07bf0cdbe35003eaaf8e3d497ff9f1ce6b06","datavalue":{"value":{"entity-type":"item","numeric-id":6194577,"id":"Q6194577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535619$0A295B2D-9462-47AB-8B16-1A46D82DD592","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":"Q6535619$3FE68D7C-3158-459B-BB9E-30FD483A6A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535619$29D38758-E19F-4920-AFF9-3DF564DF2124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1060c39f6c78c6c906f6922c72b026efa0999e0","datavalue":{"value":{"entity-type":"item","numeric-id":518396,"id":"Q518396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535619$845D10F9-DAA7-46B1-8EDE-365998011FA7","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":"Q6535619$BE5ADD23-D66E-42F6-9B1B-A9CAC10C800A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b0f2931f80d71d37e4145cfa6c4c1d4b667be09","datavalue":{"value":{"entity-type":"item","numeric-id":3600472,"id":"Q3600472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86d8de099581d46f484ad49fdfc52c01b75e29d0","datavalue":{"value":{"amount":"+0.6842798590660095","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":"Q6535619$2ACCBC5C-FE48-49D6-9A1D-9A30564592BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a078659d6252a8b97172c86b4af6ca904d7c3452","datavalue":{"value":{"entity-type":"item","numeric-id":3384902,"id":"Q3384902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efdf08d0c1b15e41c1fef257dcf68f30fdce8c88","datavalue":{"value":{"amount":"+0.6815693974494934","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":"Q6535619$B480E1CF-EF95-4BEA-AA59-46408C240DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56319025a54655e12a8548514195be0952a954dc","datavalue":{"value":{"entity-type":"item","numeric-id":6535535,"id":"Q6535535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dd0985c571bed5dcb7257c522c6a300aa8edfee","datavalue":{"value":{"amount":"+0.6767536997795105","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":"Q6535619$3DB869F3-1CF4-4384-9312-3CDD60122860","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535619$0D234E91-2246-44EC-A6F6-9C7E9CAB111C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535619","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535619"}}}}}