{"entities":{"Q1100933":{"pageid":1111685,"ns":120,"title":"Item:Q1100933","lastrevid":69641826,"modified":"2026-04-13T08:24:08Z","type":"item","id":"Q1100933","labels":{"en":{"language":"en","value":"Fast algorithms for testing unsatisfiability of ground Horn clauses with equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4045230"}},"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":"Q1100933$38E327AA-FD1F-480D-A795-B02EACE3E4D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"317b79c2d890a053efa808ef71ab294784cd6bd1","datavalue":{"value":{"text":"Fast algorithms for testing unsatisfiability of ground Horn clauses with equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1100933$3A61B012-465D-483E-82A8-00B079BA012C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3e912cc066b0e119daec0cc53d4af84e5fb7086","datavalue":{"value":"0641.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100933$D3508FAE-0BC7-41A3-B04C-3B12812F49A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50248dcce48f61d34c9e03adb8fa5c4fff9a7341","datavalue":{"value":"10.1016/S0747-7171(87)80067-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100933$316717E0-36A3-4562-872B-BD96E2EFC745","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d25ac9b447f10c901ed8f4d14165c543498fe122","datavalue":{"value":{"entity-type":"item","numeric-id":579924,"id":"Q579924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100933$A77F8A9F-76D8-4410-88B7-C29C80D887BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100933$90502FEA-AB53-44E5-A994-61CC3730D5B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1100933$76D22458-4F6B-4660-8BA1-1F0B7D91CB6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100933$B60E712C-1B36-4C06-865B-2572659782F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100933$1C247C69-8304-4C3E-A1E2-6CEE00F6659C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11256149026598349d61e3e2adc0f7b8def4e624","datavalue":{"value":"4045230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100933$BDE1CB15-AD0E-46AF-8696-C81BD7998BA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"917ddd453ac7b7e746c7c2e0c6312b837b02ee8b","datavalue":{"value":"ground Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100933$A27A669D-D149-4AF8-8882-A11B831B9171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d358877262023033586065255ff85c4ef35f7ea1","datavalue":{"value":"equational atomic formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100933$DD990D9C-F02D-4A06-B820-7251E66C4FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85f840ce5119480b895ac664a10de6f0a19316ae","datavalue":{"value":"congruence closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100933$9E46B435-7EB6-4F45-9CB8-2494C274B47A","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":"Q1100933$0B0DD653-E957-4CF9-8600-35EEFDFFE068","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100933$D86C3DA5-B6CA-4F28-8034-4151B778614E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100933$4EEC3FD4-CB16-49C4-B479-516507ADAF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae19a70a8616a64987bb08271f6f085e5255b8c5","datavalue":{"value":{"entity-type":"item","numeric-id":3908476,"id":"Q3908476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100933$5D821F89-5E8B-4A3E-9359-F2591C44240D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100933$D7C2FE28-0BD8-4C0F-A835-2EE5F4725BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd833b39da4bbfb545ee75e04b0eab6b1bce596","datavalue":{"value":{"entity-type":"item","numeric-id":3821637,"id":"Q3821637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100933$A1450FA0-8564-4B7F-BB2A-361984CFC4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01a1395b86023d2276d47d7e6921ea762d79b440","datavalue":{"value":{"entity-type":"item","numeric-id":4764112,"id":"Q4764112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100933$E3688952-0F78-4CA5-8FF1-8350F3DD17FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e88abc372dfaf224127922b14ddf547577ced7f2","datavalue":{"value":{"entity-type":"item","numeric-id":3937380,"id":"Q3937380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100933$3504F2DF-6B49-4FD5-85AD-84BA112C44CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100933$00F2283D-7A45-4138-A004-C79C4DF43EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b84948bf7400d8867265f975f297f2e1fae503e4","datavalue":{"value":{"entity-type":"item","numeric-id":3935457,"id":"Q3935457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100933$4B8D057A-9F63-493F-8CD1-E44EA8C949E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932383d1ac997ed208ef47dcb574b592efaf75b3","datavalue":{"value":{"entity-type":"item","numeric-id":4065031,"id":"Q4065031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100933$A32E7D1E-EF84-4670-9504-A43CD16A1FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100933$7F335C40-FEA6-4591-8A36-3E201A36465A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34ca3f0eecd6dd75aaa2e0f8610a00425775265a","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(87)80067-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1100933$EA481FC5-0277-4ADB-9051-8B36E7F86421","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"059b61437f66ed1a3a083ec773ee38c529f562f9","datavalue":{"value":"W2033598071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100933$F9470CC1-7BCD-41C1-A4BD-A188C3FB94CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2105f0c71536059d0b6d9a52909981c1a5ac2ee","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02cc2277637a7f3e1e1968adae3bcaa935919202","datavalue":{"value":{"amount":"+0.7942653894424438","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":"Q1100933$7DE14FAF-67D2-4DA3-AEBB-209662444B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd01bc225923ba0424c86610ffc3038c50c8740f","datavalue":{"value":{"entity-type":"item","numeric-id":3826123,"id":"Q3826123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29c46b14d392195a7996bdc869008f9c2272ec19","datavalue":{"value":{"amount":"+0.7833027839660645","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":"Q1100933$C70B4F50-8FA4-4850-AA0B-6081EA01A768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c52842aa0ef3fdc23d94b72689bbf2813b0859c","datavalue":{"value":{"entity-type":"item","numeric-id":3124320,"id":"Q3124320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a68210126ba1e8b46b49a4a1976f667c2039511","datavalue":{"value":{"amount":"+0.7728463411331177","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":"Q1100933$320115FF-7E6B-410A-997C-F2039C0FCF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30337d26ba6b5d33cb4176f2a080ff9d9c543f8f","datavalue":{"value":{"entity-type":"item","numeric-id":876046,"id":"Q876046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c18247dbd3af1ff54b639211b2721a4851c27344","datavalue":{"value":{"amount":"+0.7603609561920166","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":"Q1100933$10BA953B-F9A2-4609-9671-B9B869E3F8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e22139889fe6a0c06c71328055c35a5e40949a3","datavalue":{"value":{"entity-type":"item","numeric-id":3818295,"id":"Q3818295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95bcffec48592ff0918bf590fef575de93ddbaee","datavalue":{"value":{"amount":"+0.7598696351051331","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":"Q1100933$49BA22AB-02D6-46CF-BD8D-F860AD79B559","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fast algorithms for testing unsatisfiability of ground Horn clauses with equations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fast_algorithms_for_testing_unsatisfiability_of_ground_Horn_clauses_with_equations"}}}}}