{"entities":{"Q6541163":{"pageid":14152306,"ns":120,"title":"Item:Q6541163","lastrevid":57344748,"modified":"2026-03-30T14:10:18Z","type":"item","id":"Q6541163","labels":{"en":{"language":"en","value":"The MaxSAT problem in the real-valued MV-algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7850755"}},"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":"Q6541163$8F205D34-392C-4A98-ACB4-7DA479018D00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f1e646f0d575139f1e2e0b62c7cbf9e2bdba1e5","datavalue":{"value":{"text":"The MaxSAT problem in the real-valued MV-algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6541163$7913644F-E41D-455E-AA56-D76B9BBDD23E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aabddce265123cc7bbba1fb55428a2b2b9f63f95","datavalue":{"value":"10.1007/978-3-031-43513-3_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541163$540208D6-485B-44BC-8970-027FA2DFF787","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"720b64026f990845176c12c224a82c9d4cb91c9b","datavalue":{"value":{"entity-type":"item","numeric-id":278737,"id":"Q278737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$FBB74851-26A0-445B-83DC-09B32949175A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"625e9c8b1a752241c65bb5aab85211ac194e9690","datavalue":{"value":{"entity-type":"item","numeric-id":606911,"id":"Q606911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$65E96FBB-1D7C-478D-A7C1-5023F6E83142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff8f93ab03a7816654fe7019833a937dcbe0373d","datavalue":{"value":{"entity-type":"item","numeric-id":1699737,"id":"Q1699737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$218D1D2A-AFDD-4979-8EAE-AB0016D153EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5058b142e80716c010ccd8a59c73f958f0c0be23","datavalue":{"value":{"time":"+2024-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6541163$11F7A433-88F9-4F82-86C3-8F233B6DBB82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541163$D842346C-1AAA-4989-9950-8BA99E4348D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9250e63dc4705c839deaf8bfd07fbb785b4fd697","datavalue":{"value":"7850755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541163$D2D9453B-4005-45AB-B5D6-24D786682364","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7266802113187a96c78397ed692b735dee12e876","datavalue":{"value":"maximum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541163$C81ED7FE-7AC8-492E-AE54-BA30A4580030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541163$4972FB53-496F-49C9-8671-01A1728C7F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541163$5C604D96-C062-4536-B820-F634AB930411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541163$368F37A5-60D3-43CC-8452-93A6EA48DC50","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":"Q6541163$036332D6-0E10-435D-ABD7-28A7AE20E964","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"995794cec00c1d4885a2f84b0a8088e104c40e76","datavalue":{"value":{"entity-type":"item","numeric-id":2506811,"id":"Q2506811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$E671D2E1-9A95-423A-A838-C217A06A9539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434afbbce3dd3737611c2b9692e650f00936976b","datavalue":{"value":{"entity-type":"item","numeric-id":1971778,"id":"Q1971778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$C8C29C32-9642-4FAD-82FF-8AAC1EE6DE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55359c628d12c99a907b02af0dd68e480a272c6","datavalue":{"value":{"entity-type":"item","numeric-id":1407546,"id":"Q1407546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$384B7218-68E2-4231-9A73-74CF9C1CDA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc41210023cb4d8c57819b76c3cafdc53a610e6","datavalue":{"value":{"entity-type":"item","numeric-id":1367542,"id":"Q1367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$23EAF166-0F85-4537-8CBF-318DA5A44975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b06fed47c8e2b131e04893b9bbc991d474f62ed","datavalue":{"value":{"entity-type":"item","numeric-id":1396834,"id":"Q1396834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$5854D19E-A06B-4071-BC1C-BC6F687AF9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de167d47d94e5785d94c6ded257853f6fc4d1cca","datavalue":{"value":{"entity-type":"item","numeric-id":1697332,"id":"Q1697332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$04EC20DC-9E11-4AA8-BB7B-4714159EE7E7","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":"Q6541163$227F8003-3576-4B06-B106-5C7724630DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4366317ce31b580fcdaeadab2fe1e4c9b8f2e5c9","datavalue":{"value":{"entity-type":"item","numeric-id":2317509,"id":"Q2317509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$284E6352-813A-42DE-AFA0-2CB3F7D41695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef88c4a1ef40e208862c168eb829caaba70b0325","datavalue":{"value":{"entity-type":"item","numeric-id":3269132,"id":"Q3269132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$64251E4F-A1D4-4C3E-A022-AEE891BE9E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf44227e8b3fc23a0ac076e5ebe6ca74f6f731f","datavalue":{"value":{"entity-type":"item","numeric-id":1813497,"id":"Q1813497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$D7214557-1162-450F-857A-E01DAE5771C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"569927fbe93407529f06d41b68d2ef6209ff2db6","datavalue":{"value":{"entity-type":"item","numeric-id":1924752,"id":"Q1924752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$92D0F550-0802-4ACE-BDBC-6C3FD37BC351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$A3422832-D8CB-4443-BC04-5C58D378A4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70556bcc44f22546f0d8c7739cb90b25a6ee8bbd","datavalue":{"value":{"entity-type":"item","numeric-id":5406041,"id":"Q5406041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$4995DAA2-A0E5-4287-B83E-1071C9B1EC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a46fd13d9e1714f95088ae78058b668f220cecd0","datavalue":{"value":{"entity-type":"item","numeric-id":2106603,"id":"Q2106603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$A6570FB4-7A4D-48F4-B118-9BA5526E814D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03febb4a41cfbd9dbf70e573340f45dfb265c0b1","datavalue":{"value":{"entity-type":"item","numeric-id":278739,"id":"Q278739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$6FD0F019-E37A-4C0C-A9E5-481C5051BADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c30f6e432ce9e9ae75031144ac1199e0b83ca0d7","datavalue":{"value":{"entity-type":"item","numeric-id":1107309,"id":"Q1107309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$5856DE7C-0B31-40BA-AF71-9FA2973FA11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab45441a289f133d8d44cd0d1acafa9edc51a3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1066930,"id":"Q1066930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$E7FAA759-52CB-4431-A8E9-D5B74661D92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8084845bc1e7476620c12a49f6dd2abd44035dcc","datavalue":{"value":{"entity-type":"item","numeric-id":1100196,"id":"Q1100196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$74F87936-0316-4124-A0FE-AB40E1D66481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"403968672b0891903de6d4a81f8a0d9559ac9e37","datavalue":{"value":{"entity-type":"item","numeric-id":4944947,"id":"Q4944947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$A930A7C2-C31E-41D0-919B-E36DD1442391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc5d45da6cc5a721668e782aafb633876581237","datavalue":{"value":{"entity-type":"item","numeric-id":1276262,"id":"Q1276262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$99938EFB-EF85-43E2-8FA1-74F48FDF1797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfee219cc0c5fd53fb1efbec9c727171ee1defd4","datavalue":{"value":{"entity-type":"item","numeric-id":1868241,"id":"Q1868241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$FD7EB120-4168-4690-82F9-43DB55034215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1410ecec3958d62bfe99f41a838a65fe28d2a62","datavalue":{"value":{"entity-type":"item","numeric-id":352963,"id":"Q352963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$1FAFDAD5-00D3-4503-828F-D5D6AF5C9816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d65f813b7bf62e89eaf2eb886e2ecf258499df","datavalue":{"value":{"entity-type":"item","numeric-id":4221106,"id":"Q4221106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$E7F5E545-D13C-47C0-8919-379AD902E6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79091cb7e9cad4be996745f6d71eea4d9e07b299","datavalue":{"value":{"entity-type":"item","numeric-id":4694140,"id":"Q4694140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$23422B1C-55AB-4F08-9D88-A013FCF405A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5137c62e085c08f28c92c267ac6b1490f6fe8c0","datavalue":{"value":{"entity-type":"item","numeric-id":4315320,"id":"Q4315320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$CFC9838F-BBC5-4748-B37E-F915408D97ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6b871d25a3f2bcc10ef5d12d2a6df59054c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":5604434,"id":"Q5604434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$21688D3F-B50F-4E3B-8EF6-5259B87F5197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af12b1149cf5c41ee4768bd4312ffce23bfe939d","datavalue":{"value":{"entity-type":"item","numeric-id":2282273,"id":"Q2282273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541163$DA61A114-25A8-489F-855B-17A1244970ED","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":"Q6541163$13FED2B3-125C-4E58-B3E1-BBADB184AC27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6541163","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6541163"}}}}}