{"entities":{"Q6630195":{"pageid":14241347,"ns":120,"title":"Item:Q6630195","lastrevid":40601907,"modified":"2025-03-07T20:12:40Z","type":"item","id":"Q6630195","labels":{"en":{"language":"en","value":"Scaling up nonmonotonic c-inference via partial MaxSAT problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7936402"}},"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":"Q6630195$A3045D3C-7D3D-45BE-829E-2559BCDF3FB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a715db2e746fac5335ce7ac3978c61bee4052db8","datavalue":{"value":{"text":"Scaling up nonmonotonic c-inference via partial MaxSAT problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6630195$9DF31461-9474-4BC0-B02C-4BB7645BB658","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4827ee0e421aba33d9f247d8492c79a84f1c88db","datavalue":{"value":"10.1007/978-3-031-56940-1_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630195$EDD48F10-8C9F-41A9-9D75-4C5D3E9A6FA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e2959dbf51fb8d7b05ae90b16752986fb0ddca1","datavalue":{"value":{"entity-type":"item","numeric-id":2055778,"id":"Q2055778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630195$728A921C-9CB3-45B9-8B04-9421DCB25114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d05811e153aaae141000d9a68d7425584cc2e99","datavalue":{"value":{"entity-type":"item","numeric-id":6587921,"id":"Q6587921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630195$EFA58C26-A9DF-48BF-90E1-6197B732717A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1e134f54b434e40b1183bdd73e513d092e96978","datavalue":{"value":{"entity-type":"item","numeric-id":513342,"id":"Q513342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630195$DD4ECB49-8FBC-4316-A5F4-27A567287DD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fbcb7acea0df8945200a3d2551e2bc51375e32","datavalue":{"value":{"time":"+2024-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6630195$E1D75AF6-1BB5-40FB-8BCF-9D6263C2A2C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630195$4E6BB60F-EF59-4C96-A37D-4B0198DAE2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630195$C9927515-A7E3-4545-80F0-62932928FF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630195$529A9BED-D5E4-4746-9DA3-C4BC47995316","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23b4d20d4cfee4333a2d877e56d3e1364d976f65","datavalue":{"value":"7936402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630195$4BFDE311-E003-4621-ADA2-58B4E80CAC2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3749d587b284fb2e5708bf249f54a60a313db614","datavalue":{"value":"conditional","type":"string"},"datatype":"string"},"type":"statement","id":"Q6630195$F8EA7300-D920-4B4C-A099-DFFB1BB23177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49ccb4a4189df553328941d4499108b25a0e05a8","datavalue":{"value":"belief base","type":"string"},"datatype":"string"},"type":"statement","id":"Q6630195$8AE353D3-0C39-4BE9-AFC3-3EB9AFAD9888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6630195$194B38E4-845C-4F3B-A313-E66646355950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92cd65b385817742dbf67b739d928988b3931122","datavalue":{"value":"c-inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q6630195$59F0E02C-5EB7-48EC-AD7E-313F5135CA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2e1fde835f4badf96d7255edc9dda117996db9c","datavalue":{"value":"partial MaxSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6630195$A12F017F-2647-40A3-B26D-F81942086851","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":"Q6630195$7F5BBB5D-FEEA-48BE-9EA7-F7E2C0E9E654","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b0cfc26deac67c4a1acfe0e87747af214dc61d","datavalue":{"value":{"entity-type":"item","numeric-id":5599801,"id":"Q5599801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630195$55819173-CFDD-42F0-9954-D23FDC481F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce0b6279069cbb32655094f0652d69aeb8f868a4","datavalue":{"value":{"entity-type":"item","numeric-id":2807072,"id":"Q2807072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630195$EE5DBB36-A00D-48D2-AF1A-2A3917C970EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff166a2f2d41cbb1984cd1c9320df235b95d3c06","datavalue":{"value":{"entity-type":"item","numeric-id":2278099,"id":"Q2278099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630195$1B57D827-6B94-4D7F-8FBD-FC89F9F48AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120287b20f09b4d927711bf283cad9b3b7d0e9ec","datavalue":{"value":{"entity-type":"item","numeric-id":6587922,"id":"Q6587922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630195$5A603F26-142C-4E68-8532-E21366B7C61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c66413207853f9d30811252e18e0aab59b8a6e","datavalue":{"value":{"entity-type":"item","numeric-id":2171264,"id":"Q2171264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630195$EDA74CC7-F2D7-4E28-AFA0-71D39AA95D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f8c0378550ff818d7953878c8a9b5b737a2842","datavalue":{"value":{"entity-type":"item","numeric-id":6630188,"id":"Q6630188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630195$5CAB0DD6-3270-4C80-81A4-A172144D8CED","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":"Q6630195$4A0873C4-C93F-4150-86F4-B38C16DCD3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12eaf08266742406370a790bca62ffb2aaf03c4d","datavalue":{"value":{"entity-type":"item","numeric-id":5940718,"id":"Q5940718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630195$E21C6239-91A5-4AFB-AFCB-D85F6A31EA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b607439bd49e4fc2a082a1c7bb43dca878a78a","datavalue":{"value":{"entity-type":"item","numeric-id":1424928,"id":"Q1424928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630195$93CD670E-FD7A-41A6-B7EE-BF78767E033F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c914ecbd043370e634e942dd09646804b49e5dc","datavalue":{"value":{"entity-type":"item","numeric-id":2075375,"id":"Q2075375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630195$6F13B238-EBDA-4289-BD92-9AA579FA583C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6afd98104d250e8b263d6c8890f1ce8f19074b45","datavalue":{"value":{"entity-type":"item","numeric-id":1174512,"id":"Q1174512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630195$E701C7DF-6FAF-4DFD-8588-6A064889412C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deea660d10fd4b86a2a9ccda6c2d772a49be68cd","datavalue":{"value":{"entity-type":"item","numeric-id":2661348,"id":"Q2661348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630195$B1B54CA6-3819-4A01-A12F-E22AAED1161A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ff599fc99565f31cf0b6240ef6ab807da1f5478","datavalue":{"value":{"entity-type":"item","numeric-id":4518818,"id":"Q4518818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630195$887AD76D-1AD3-4E14-9E10-57DC2BDE5541","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6630195","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6630195"}}}}}