{"entities":{"Q6166141":{"pageid":13301023,"ns":120,"title":"Item:Q6166141","lastrevid":47883601,"modified":"2026-01-02T23:40:46Z","type":"item","id":"Q6166141","labels":{"en":{"language":"en","value":"HoIce: an ICE-based non-linear Horn clause solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7721430"}},"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":"Q6166141$9BC59CF5-7013-479E-B14C-4582C246927F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60bf88854ff90dd3155b44fed2d6268c20279bf0","datavalue":{"value":{"text":"HoIce: an ICE-based non-linear Horn clause solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6166141$BF4D5D7A-6FEF-4636-87FC-C384C80F4F18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ae4e1a9ede447a352fe051a36e72986382d7670","datavalue":{"value":"1519.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166141$104FBECD-3BC3-4218-A5E9-D38A986946D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f7d2a8bb86a180d37a2e59fe733376408a35c06","datavalue":{"value":"10.1007/978-3-030-02768-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166141$EA31FA1A-2DE0-4374-A692-2402A519B4D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47938d453a4a1b431374d331201754b751d6c8be","datavalue":{"value":{"entity-type":"item","numeric-id":2208297,"id":"Q2208297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166141$2B93C2DE-F46F-416A-8ECA-F4830D14BE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166141$40DF662F-CD7B-4887-AE4C-CF76174166FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5d5e541856222db48de28512fabd6428d088740","datavalue":{"value":{"entity-type":"item","numeric-id":6041008,"id":"Q6041008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166141$A0B55FBC-DE4C-4A1B-B784-9D7EE9A21E89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166141$5C7AA67E-8010-4C53-BC35-C60A21F57C8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c377ab7875b781eda1304e6f4ef79ea097f76f82","datavalue":{"value":{"time":"+2023-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6166141$C5E59365-2E8E-4C63-A4A6-9F6DE830244A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166141$0791065E-FA3C-4436-B250-B83403BC8BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166141$D37AF02D-9CA8-43C4-BD6F-7A964AE89276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166141$31F629F0-085E-42C0-AB4D-8A4E9DD94300","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"462022c73f52e42b032e2368a4bf5d83adfe083c","datavalue":{"value":"7721430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166141$5FE06490-7D82-49CD-A44E-6736D5BFD3B2","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":"Q6166141$ABEDFCA3-2EA4-4206-8F5B-074644096FDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bc35b08d795aa58764795c7f8135398168d6c3e","datavalue":{"value":"https://doi.org/10.1007/978-3-030-02768-1_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q6166141$6262ABE4-4A56-4D9A-8EC6-DA3CDB74C90D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66f4559497e942cf1dc2a067c1fe98316b143b27","datavalue":{"value":"W2896700544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166141$48DEF40D-949E-4197-B577-DB676D54FFA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d43e6e0d0ae7a229d36a7947d6edc16ba52ad99d","datavalue":{"value":{"entity-type":"item","numeric-id":5015369,"id":"Q5015369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b88268c8a65fdf119af40b2703cf75a565767940","datavalue":{"value":{"amount":"+0.7501174211502075","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":"Q6166141$6CFC727E-848E-452D-9E5B-C8FDFCB6BEEE","rank":"normal"},{"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":"1ee8cb9e0f9eef433523370ff266a1962c8fc185","datavalue":{"value":{"amount":"+0.7341992855072021","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":"Q6166141$B677A808-74DD-47CA-8B3E-ABBB36DD306E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8be0f10bc1b1c85d3f0319a640e4f8fabb30e358","datavalue":{"value":{"entity-type":"item","numeric-id":2961586,"id":"Q2961586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d933d0ff5ebddaaffb4f8932a3e942f58868dd4","datavalue":{"value":{"amount":"+0.7332727313041687","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":"Q6166141$5DAB6A01-1E6B-4041-9DE0-E7E26218DEE2","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":"6edef24e03c514cc6a408d6c058f9dda34332acb","datavalue":{"value":{"amount":"+0.732184112071991","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":"Q6166141$85B6FE3F-B3B5-4011-9009-45CF7F0DB454","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":"69e047a732cfa62f75ad4428f906ef822cb37391","datavalue":{"value":{"amount":"+0.7255540490150452","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":"Q6166141$FBF72DD3-4342-43AC-A687-0D159F70219F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6166141","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6166141"}}}}}