{"entities":{"Q6535535":{"pageid":14146678,"ns":120,"title":"Item:Q6535535","lastrevid":57343737,"modified":"2026-03-30T14:04:44Z","type":"item","id":"Q6535535","labels":{"en":{"language":"en","value":"The \\textsc{Golem} Horn solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7787554"}},"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":"Q6535535$281A4CCB-B6AA-4EF8-9E9F-B05446C329A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6002d7cb3e546d9ac72567def974e718a00bd00","datavalue":{"value":{"text":"The \\textsc{Golem} Horn solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535535$7387313B-AB78-44CB-A84E-5F009D051416","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4afc4ae29995e23317faece7cbd2d9d02879a901","datavalue":{"value":"1545.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535535$58FB3FD1-9A5A-46BD-B23A-F815F3C7FC3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f2dda134841947e9ef827095a632a234bb75bb6","datavalue":{"value":"10.1007/978-3-031-37703-7_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535535$3E16477D-AB43-4E61-822D-A89D1CAF760C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0946a618bb46938edb68aaca49138b9212c6eb14","datavalue":{"value":{"entity-type":"item","numeric-id":784137,"id":"Q784137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535535$C109F6B2-592E-47E8-9983-75FF4B611423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cc5b6de633d6f89daec470538df386ebbcf38d6","datavalue":{"value":{"entity-type":"item","numeric-id":6535534,"id":"Q6535534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535535$B5D31DBA-877E-4540-B7A3-335FC40CE64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66a480d2e9b29ea82a9b0fc72873fd6d8201d31c","datavalue":{"value":{"entity-type":"item","numeric-id":287271,"id":"Q287271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535535$EDBF404C-1600-4BA3-86C1-A479E4DD06C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40fd68081729c6be8998aaadacd681a24ffbfcb3","datavalue":{"value":{"time":"+2024-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535535$E1C62E15-75F5-4000-BA71-B3C4C84069AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535535$F2330844-16B1-4FD3-B943-891764499856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535535$0D4D9C60-D91F-40CA-A2C6-75B579719BCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1b4c1b7b2bdfb5d315139e1aabb99b938efe2a5","datavalue":{"value":"7787554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535535$0A4D310F-23CA-4F26-BC0D-5EAF70DF282A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e47d18da5a3cc46f307e12b53d17a8f72c7da71","datavalue":{"value":"constrained Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535535$6186C619-BA13-4F10-88C9-6A87EED1F90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535535$E30324F1-8C12-4EA2-B6F4-88B0E52454BD","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":"Q6535535$2A1541ED-9D84-4BCC-A508-EA580B80EA09","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eebfbd54885f280e97728ebefc0801777abc1ae6","datavalue":{"value":{"entity-type":"item","numeric-id":5039500,"id":"Q5039500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535535$82EC4AA7-ECF5-4EB3-A921-696FDE3F07B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc25af5045c856aadb22057606de79dc70eaee2","datavalue":{"value":{"entity-type":"item","numeric-id":1703012,"id":"Q1703012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535535$2FB05E04-605A-47E6-925F-2C3F83C3D17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7fa47dc2bb5bb1dcf19a9463fca750d3acd35d5","datavalue":{"value":{"entity-type":"item","numeric-id":6535576,"id":"Q6535576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535535$7A59F47E-5FA5-49D4-B5B9-F727CF47646E","rank":"normal"},{"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":"Q6535535$EA347D50-B2A3-461E-B4BA-6A7D000526FB","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":"Q6535535$ABADD82A-1D64-4157-9309-9AF06D1C0DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"229fdcdf833f89bed9b165165cd53a3183da7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":6166141,"id":"Q6166141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535535$398359D8-6D2B-41A4-BA3A-93EFD6F1D72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535535$88F896ED-27EA-4090-A4BF-9EB5691366E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535535$9682A1BB-8D14-4EEF-8037-3AE4A3234AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8775f27a7580c94263ffd4c939643b39c2c60435","datavalue":{"value":{"entity-type":"item","numeric-id":6197216,"id":"Q6197216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535535$EEB1A056-3960-42E9-8503-BA88CA8BD39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a169be9a17e29e5ed123c147edd3744ffeefd68b","datavalue":{"value":{"entity-type":"item","numeric-id":5016383,"id":"Q5016383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535535$FBF22544-B7C4-491D-97C2-06046753FDBD","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":"Q6535535$E6318679-8272-4956-B14F-D04B9A4C6C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36c36a33f99dd120f8ee638e971c8b19f681cb1","datavalue":{"value":{"entity-type":"item","numeric-id":2226726,"id":"Q2226726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535535$79BB4A25-4DD7-4D87-848C-F0D35A21150C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29a9e63db651327a88d88e2cdc75e51e9cd4afb","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535535$ABED6E87-00C5-4F24-A378-92DE3E96C25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d6099524e3f7bed0ce635b8cc10b44d3701853","datavalue":{"value":{"entity-type":"item","numeric-id":4649296,"id":"Q4649296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535535$7D5B2B97-9CC8-4974-BAC3-647921843BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"715bd9b495ec757bc4f5f54f4d99370941ab86b1","datavalue":{"value":{"entity-type":"item","numeric-id":4997235,"id":"Q4997235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535535$AC673472-56EB-4F81-A098-5E766BD75C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c9e38395117f774ba9617661fcca711bd13f7ff","datavalue":{"value":{"entity-type":"item","numeric-id":2818042,"id":"Q2818042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535535$DE9F2C90-F58A-4D1A-87C4-84A825189F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95c28eeaefb34cdfd67072dd90f98e4a8d9941ac","datavalue":{"value":{"entity-type":"item","numeric-id":5172644,"id":"Q5172644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535535$534F12A3-9D2D-4FD3-842F-699AD5CB25C1","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":"Q6535535$640CB5CD-F55C-449F-A3A2-F57C043D5D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaff131682deb6ad1bffecaae47bca13d452055a","datavalue":{"value":{"entity-type":"item","numeric-id":300418,"id":"Q300418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535535$3CA11672-5621-4B8E-AB62-DEEF7DA02F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caae280f68c4c75b7241ece1c9cd53ba54f97d20","datavalue":{"value":{"entity-type":"item","numeric-id":5041108,"id":"Q5041108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535535$43C41E87-67E3-419D-84E6-07FCB635863E","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":"Q6535535$D71E1C89-49D8-4C9A-AAE4-C2D5394B9B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535535$C56E168D-8AE7-4A78-B910-D63BCB4F742D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90523338892982b1665740dbbd308e5958d89004","datavalue":{"value":{"entity-type":"item","numeric-id":2870162,"id":"Q2870162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535535$C2975C50-5F1D-4E92-A6EB-4BB2875BB470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31c70ca7f57dec1fd3ec22aa924f436369c54408","datavalue":{"value":{"entity-type":"item","numeric-id":5020662,"id":"Q5020662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535535$F9DA9425-692A-4F89-A5A3-71DDF4883D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f7ace0416453353f91f0a6ca03c637081b94ce6","datavalue":{"value":{"entity-type":"item","numeric-id":6535619,"id":"Q6535619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535535$6051FB34-4FDC-41F9-BE6A-320F9186E73C","rank":"normal"}],"P1643":[{"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":"5ca699daa0f3332397fa198a41be1c3daad17812","datavalue":{"value":{"amount":"+0.762473464012146","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":"Q6535535$5228A3F5-EE18-45E7-AD93-4B05B153D584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"802b0d11e10a35c0034a9cc107935f78e296a76e","datavalue":{"value":{"entity-type":"item","numeric-id":6174408,"id":"Q6174408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ff154b436886276dd195df2d9a17e641f4a1a97","datavalue":{"value":{"amount":"+0.7515519261360168","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":"Q6535535$1BC254E2-B790-4CA7-9D6B-7C66FCD281C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f1ababec7ad08320487551d5fd7dcd8e4e6cb2e","datavalue":{"value":{"entity-type":"item","numeric-id":5233234,"id":"Q5233234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f68f84fa7709b670470dfb1112bfd256afb049e","datavalue":{"value":{"amount":"+0.7513806223869324","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":"Q6535535$A7B70F5A-005E-4D88-ADBA-BBC12FB4DFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75868a3bf204a6bf4c593cce4cab82fe98820348","datavalue":{"value":{"entity-type":"item","numeric-id":4559806,"id":"Q4559806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90a4de87d23b1a37ed6b42db2b2e250fbbabd47e","datavalue":{"value":{"amount":"+0.7458840608596802","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":"Q6535535$EE788523-1DE6-4F82-8866-803353060482","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":"Q6535535$071CC3B2-A159-4F7E-95CD-A6B6F1334CD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535535","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535535"}}}}}