{"entities":{"Q7033965":{"pageid":21706674,"ns":120,"title":"Item:Q7033965","lastrevid":77524514,"modified":"2026-05-04T17:04:14Z","type":"item","id":"Q7033965","labels":{"en":{"language":"en","value":"Satisfiability modulo user propagators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7978097"}},"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":"Q7033965$A2626151-C9BA-4DCB-9B4B-34CF5AB73553","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d80e7126cb77e4108a9ee4e8d940a3d02ca0cafb","datavalue":{"value":{"text":"Satisfiability modulo user propagators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7033965$5505B5CD-5886-4557-A230-681077528F5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8dce7e8c90a37610991dcdbaf1f81971b4edea4","datavalue":{"value":"10.1613/JAIR.1.16163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7033965$AED4DCE2-2547-468B-81C8-55AEBAA2AF68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"064b98d828f058d76524c135cf5d51d7b240e040","datavalue":{"value":{"entity-type":"item","numeric-id":2110405,"id":"Q2110405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$521B54C7-6C12-4B37-BFEF-DC4FD696645A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1797629fcd98376075f8fdfe9a9fcaf30af9290","datavalue":{"value":{"entity-type":"item","numeric-id":1688544,"id":"Q1688544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$6F042472-4DB1-4D05-8A28-50FB3CA796E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8675088ba59622264d9b63deab589caaa3c7b74e","datavalue":{"value":{"entity-type":"item","numeric-id":1688545,"id":"Q1688545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$ED4DA6D4-7908-4689-8034-0439C7454AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75813862171db859b2bf373e53de3e92a7ecb175","datavalue":{"value":{"entity-type":"item","numeric-id":2163791,"id":"Q2163791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$558CE62A-8B4C-485B-907C-C57DC458132E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$166FB459-A4D5-48FC-89CD-CAA8FA9FAFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$A10F2AC9-6102-4DD8-8783-6422762FFA28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b8a215d385f75fb3e358378de413ed23462bf46d","datavalue":{"value":{"entity-type":"item","numeric-id":6488778,"id":"Q6488778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$99BDF7DE-090A-4079-9226-B42E3E8CDD29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aead4b0d68dcb3b2ec9e22335db995a9bfce1920","datavalue":{"value":{"time":"+2025-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7033965$6C6AAC03-CCF1-4DF7-A76B-3B05E7879E70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7033965$266A8A57-E58D-496B-AA69-D0634C517F55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78eeb63ed45a0845b2f09ea07838f774ad08fb0f","datavalue":{"value":"7978097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7033965$A6D3B77B-0288-4081-A9A2-E1EAA37CBBEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q7033965$B2E04D49-2A82-4223-ACF0-E4E05EACF0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q7033965$FF8EE10C-81AD-4D05-AF92-3D86881AB563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e5bc49cd8610ce6f7d0777176b15c8db9fe681a","datavalue":{"value":"user interfaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q7033965$3D2F726F-A98B-408B-B55D-DD175963F26B","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":"Q7033965$AC749184-B1CC-405D-8ECB-99F538650E5F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cff77d32457681c9ceef5c75c96f347bc21118e","datavalue":{"value":{"entity-type":"item","numeric-id":3104762,"id":"Q3104762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$218A8E3E-9477-4EBF-907A-CF38F962EBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16df9ec1825759a58b697f194e42d197a411b9e1","datavalue":{"value":{"entity-type":"item","numeric-id":5326472,"id":"Q5326472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$37CC9E41-6C32-4CAB-915C-790CC2C91A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b011ab831949ce741780553369025dd5b73c2d","datavalue":{"value":{"entity-type":"item","numeric-id":5148371,"id":"Q5148371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$A2CFDCC7-6033-421A-878A-7A35302A6CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"083ed94af9ab41918cae58f62afa93d57ce0305a","datavalue":{"value":{"entity-type":"item","numeric-id":2225096,"id":"Q2225096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$0D2892C8-4F7F-45E6-8982-11A39CD13DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f80c03d70a932d1d7cfc61d476cecfa9b384f00","datavalue":{"value":{"entity-type":"item","numeric-id":334795,"id":"Q334795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$A7363663-7509-4E7A-8BB3-03DA72511ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbbd10679bf2d321eb9db870479cc35412cbd39","datavalue":{"value":{"entity-type":"item","numeric-id":2104495,"id":"Q2104495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$C8A6B4C4-ED2C-4365-B20E-94EF6FFC1EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc64d6d31493ac74da4f6c177f509ec4a9d4b14","datavalue":{"value":{"entity-type":"item","numeric-id":4804899,"id":"Q4804899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$A2782FC7-2BE3-4FFF-A8CE-C0A52239AA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7064537849c60881708a1d1f4113905a44a76f4c","datavalue":{"value":{"entity-type":"item","numeric-id":5041183,"id":"Q5041183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$2C39C6AA-7741-4622-B83D-99B36B8A091D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f895c7499b760c970216c9b49d7a15198947d0ae","datavalue":{"value":{"entity-type":"item","numeric-id":2294574,"id":"Q2294574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$C5551836-0A2D-4A1A-B798-F45CA2E78156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1dfc872b37b50279e085acf1c9733a4b042fc15","datavalue":{"value":{"entity-type":"item","numeric-id":2829996,"id":"Q2829996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$425DB68C-5CFA-4A3D-9EAC-E18F784D6584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564846113706f2f4036ed76dea669cb8dd3bd7a7","datavalue":{"value":{"entity-type":"item","numeric-id":2307627,"id":"Q2307627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$1158D768-C81F-4396-8C92-AEDE7F843ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"140c104804bfdbe1f059a6073a94f317b970665c","datavalue":{"value":{"entity-type":"item","numeric-id":2200304,"id":"Q2200304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$63EADDC3-3602-4530-BBB2-58B4C7210073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$5F2D2BFC-422E-41C4-9725-066A100ABD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$63C180F5-CA64-4690-B1ED-1A9CEBB41DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d421342230c67a224b42e44ea336b06445d9587a","datavalue":{"value":{"entity-type":"item","numeric-id":2845506,"id":"Q2845506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$599A9D33-AA34-4CFC-A4C3-F049255C3F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a238202070e1e284de0d683f3fbaa805bd68cf62","datavalue":{"value":{"entity-type":"item","numeric-id":2181926,"id":"Q2181926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$9C094F36-04BF-4E30-BA26-AC0E7FDF85E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b370ff9c08ff8547f00c67a9a28c6facf0878e13","datavalue":{"value":{"entity-type":"item","numeric-id":6643080,"id":"Q6643080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$D56383C2-3DF4-46BE-AF4C-6D1C64B02B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb2e81d24739357f2d17077987c1c506cf3f3a4","datavalue":{"value":{"entity-type":"item","numeric-id":7025181,"id":"Q7025181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$F857C092-9197-4E87-A72A-EC41FE398F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95128ddf49a4bb5e5e07dad11c9a363647975f5a","datavalue":{"value":{"entity-type":"item","numeric-id":2938490,"id":"Q2938490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$D8399B9E-B591-4F51-AECF-652B80C68509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384fb42752ff831de5994aaeafee0dbb8d8e7e88","datavalue":{"value":{"entity-type":"item","numeric-id":2009225,"id":"Q2009225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$9CAACE54-7D19-4878-AB82-2206504EFF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f32da043220fdf832d2c28067fe9f711c0b5fb5","datavalue":{"value":{"entity-type":"item","numeric-id":2181929,"id":"Q2181929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$C6235738-0F95-468D-A902-F765A9131DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c66d71147348a0e858d993be3b5a78966a8e324e","datavalue":{"value":{"entity-type":"item","numeric-id":4036286,"id":"Q4036286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$347777AF-2180-4D52-88B0-584ED45073D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61fced662d092146739767f429e22d65ae5d6cdd","datavalue":{"value":{"entity-type":"item","numeric-id":5015603,"id":"Q5015603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$DD207823-6F61-4DC4-97AC-4AC81949F595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cb2e4508408971b860ce098efc3c6dcf082a05f","datavalue":{"value":{"entity-type":"item","numeric-id":6057256,"id":"Q6057256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$EC169E5B-7785-4AD7-A5BE-DF0CC9996992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87be12daaa9049d37eba12568fd639bb8a1c86c9","datavalue":{"value":{"entity-type":"item","numeric-id":2908507,"id":"Q2908507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$2E222B22-3244-4BC1-985D-8EB1621D2FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0de1549efa5ee7657868b8061f6b1d6f4896262f","datavalue":{"value":{"entity-type":"item","numeric-id":6643089,"id":"Q6643089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$75E30E9C-9F66-4AF8-ABAC-D12CA8F3A585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14e3f53b95f23e39a6950db54aee379b80cfaeb8","datavalue":{"value":{"entity-type":"item","numeric-id":6572015,"id":"Q6572015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$8CA7FD9F-2DAD-4289-8152-FF7A818D223B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4afc191479b17abe7dbef89536e4044993f3bdd7","datavalue":{"value":{"entity-type":"item","numeric-id":6643090,"id":"Q6643090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$185066AE-58E5-4D0D-91CC-09D51B134B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4f8e0fb253f49efb2aee52153395cd0709a4b93","datavalue":{"value":{"entity-type":"item","numeric-id":453488,"id":"Q453488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$9B8C3ECD-A0EA-4821-BF04-14371C5DF007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$3BAB370A-B1DE-44F3-A2BB-AEE00BACB305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7303d2a9d49ffe50ca6cf78502741fba3469827","datavalue":{"value":{"entity-type":"item","numeric-id":2181937,"id":"Q2181937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$704147F1-B0C2-4748-869F-B3735F1AE2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b68f752b438e7dc14eb35e34141f6af3406e4373","datavalue":{"value":{"entity-type":"item","numeric-id":6572019,"id":"Q6572019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$44E4AEB7-912F-47FA-A68E-279DDC7A6F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10eb93bb5ea5bcdabe13fcff0fe475bc1c0555e1","datavalue":{"value":{"entity-type":"item","numeric-id":2843331,"id":"Q2843331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$5671DA02-6336-425F-AFE8-369482F34F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe65bb605327207eb9f770b57bfc9ecc6a4cb45","datavalue":{"value":{"entity-type":"item","numeric-id":1656569,"id":"Q1656569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$DCF6D9BC-B2D4-4E1A-A2A1-D2C13119D542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e07d347b88f83d0665d40b0971b7e22f884193","datavalue":{"value":{"entity-type":"item","numeric-id":2843332,"id":"Q2843332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$3BEBD928-1C21-4C9F-A558-064D26209272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79cd9ffab1c5487b94c02ba53bbfa01dcce41c5","datavalue":{"value":{"entity-type":"item","numeric-id":3192067,"id":"Q3192067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$FF57EC73-23AE-4AAA-971D-C7EA54B9B02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$471E0D88-22DE-4856-94DC-CC89087326A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$9CEA8EB6-8EB6-448C-8036-2F2B25C06F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4a9998874fcd86a37120069d9b1e90284d8df3","datavalue":{"value":{"entity-type":"item","numeric-id":2786914,"id":"Q2786914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7033965$BCFDDFE1-57AB-4B8A-A539-8304602FC9B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability modulo user propagators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Satisfiability_modulo_user_propagators"}}}}}