{"entities":{"Q7355852":{"pageid":31495862,"ns":120,"title":"Item:Q7355852","lastrevid":105272180,"modified":"2026-09-29T13:49:31Z","type":"item","id":"Q7355852","labels":{"en":{"language":"en","value":"A MaxSAT-based framework for computing circumscription"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8260445"}},"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":"Q7355852$38659D4B-50B1-47C2-99B9-3B7327D044EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c63392bbf9e6595b488fa6e94a87e17fdac48952","datavalue":{"value":{"text":"A MaxSAT-based framework for computing circumscription","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7355852$EDB94F2B-FEE0-4C67-A869-6A622D97A70C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a5a98f9d47247d605388f90396623aabe72eeed","datavalue":{"value":"10.1007/S10472-025-09997-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7355852$0E4DA44E-8AC0-4ACB-9B36-0BE492E8CAFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"205d6987d33c0df578c807f292c9b8c6dd6a157f","datavalue":{"value":{"entity-type":"item","numeric-id":7355850,"id":"Q7355850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$B38FE3B6-5F4D-4D4C-AE80-900E43C7DDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5a6d28082a823e55db83339b2b8bb853ec164ff","datavalue":{"value":{"entity-type":"item","numeric-id":645080,"id":"Q645080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$2ABD86D1-AA08-419B-BF31-8DF1A16F814D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46672700ac144163c34d26401f08edd4ffc464a9","datavalue":{"value":{"entity-type":"item","numeric-id":7355851,"id":"Q7355851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$DFF2340B-C6C2-42A8-AF53-DB46C2D980CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75220441b603ca48c151f74c0e24e3c39b04c717","datavalue":{"value":{"entity-type":"item","numeric-id":6905618,"id":"Q6905618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$79DE7269-192D-488E-A452-975EB548A239","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$08882118-6253-48B5-846F-2DC3EC4BFF38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94c867b43e94eda32eba2280e63b7bb3a6d65688","datavalue":{"value":{"time":"+2026-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7355852$18D9D388-22F3-4CAA-ADBF-9FF5721AEC1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7355852$49299746-D48B-40F1-986B-9959049E55DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da064a02ac16d61ac580c9f915153c4ee7656747","datavalue":{"value":"8260445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7355852$AC6F1E40-3300-46E2-B6EC-D9395B1CF1EA","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":"Q7355852$2A92C3CD-7C5D-4E35-9F24-0010EBC41384","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$F31F96B4-FD22-499D-8046-20D61B631C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00fb868e8432215c0c0b450e86f37d488770d42","datavalue":{"value":{"entity-type":"item","numeric-id":5223206,"id":"Q5223206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$ADF7607F-BE3E-4DFE-9974-D261927DEABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd5da4398ddf7215daf8f6314b67152bf2315294","datavalue":{"value":{"entity-type":"item","numeric-id":2929583,"id":"Q2929583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$F4B59189-60BB-4F88-9E9E-2B356FBF86AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9ac1ff1089d1fcffab7e581996daa024a17da6a","datavalue":{"value":{"entity-type":"item","numeric-id":1606301,"id":"Q1606301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$9D7FEAB2-D7F6-40D5-BBAF-5DA436FB565B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32de2e331a3c3a5f8322e9be7644ca2f31f89a88","datavalue":{"value":{"entity-type":"item","numeric-id":4536322,"id":"Q4536322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$37705D75-0778-4075-AE99-C232DF854C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"621fcb8c02b14bb00b576213ef17c6ad3df74ddc","datavalue":{"value":{"entity-type":"item","numeric-id":5101461,"id":"Q5101461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$59B39FF4-2D07-4091-8384-7FD1A518E4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf5da9ad4a3e0fc0fae16500fe72d2ae1e786f9","datavalue":{"value":{"entity-type":"item","numeric-id":5394120,"id":"Q5394120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$CBC36234-C93C-4433-94F5-8B0A42585F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98fd4033e7cbe0d9315a53e2de2e8e0b6522ac1","datavalue":{"value":{"entity-type":"item","numeric-id":1193478,"id":"Q1193478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$ED633DD9-E05A-41D6-AA07-52813D05AB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac3a55eef82665d7ad7eb4bc7b9c6ea93d04ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1115208,"id":"Q1115208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$E4E4AA9A-BB80-42CB-A3A5-91D53484F776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422338a2dfe752749b7dbb572234dd7473a7f248","datavalue":{"value":{"entity-type":"item","numeric-id":1367072,"id":"Q1367072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$C3A600CB-5247-47F8-BA4A-2BCA0822D91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4e3684754825a081af253d8848c5fc38ec62d17","datavalue":{"value":{"entity-type":"item","numeric-id":2457644,"id":"Q2457644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$E0022FF3-F3D0-4D62-ABA8-7054B8479514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"660a2fb6d6e604b7e9682fe686b930c6f89648aa","datavalue":{"value":{"entity-type":"item","numeric-id":4242660,"id":"Q4242660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$ADED6677-7288-4E54-AF4E-F2EB76F4E3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b10a46de4e22c2960161b70ef3bc829a9639521","datavalue":{"value":{"entity-type":"item","numeric-id":4592705,"id":"Q4592705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$14B32B57-C390-4763-A2E9-F72C2306BB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89792e9e6f5664e2152711a93bad39763f8c27c5","datavalue":{"value":{"entity-type":"item","numeric-id":1119564,"id":"Q1119564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$09A685EA-485E-4051-86ED-66EF80170F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$E82D372F-4BD0-438B-95FF-4DE632CCD5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dcd541174bd5822ab2e2c78b0d9e0aa2630c7fb","datavalue":{"value":{"entity-type":"item","numeric-id":2287195,"id":"Q2287195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$22B4F0D7-A860-49E6-951B-3755FD21A975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd41a3d3ffce78a856861213ff6553c14d782cc0","datavalue":{"value":{"entity-type":"item","numeric-id":5904119,"id":"Q5904119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$916450A9-94A8-4297-A3BA-A5787A0A3AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f392c05c994290c84a671d669f733e9edb62efd","datavalue":{"value":{"entity-type":"item","numeric-id":4938640,"id":"Q4938640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$274FE24F-D0CC-42E2-B621-48472866C5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e37cdb1b7d79a5fdc0fa8c56a8d31fc296cb0644","datavalue":{"value":{"entity-type":"item","numeric-id":3534658,"id":"Q3534658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$169BA37E-9072-42AF-A072-7919C39EA20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f32a5e365ef5e0077d6c46227d2553358340b6","datavalue":{"value":{"entity-type":"item","numeric-id":3087462,"id":"Q3087462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$ADAADC67-DC2C-4A1E-9969-083DEC98B68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81629915ad3a79bb20887705a77cbf2edca48893","datavalue":{"value":{"entity-type":"item","numeric-id":5191497,"id":"Q5191497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$C5D0A795-A4BF-446E-AB39-1726B9FAB0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa7398f4cae4cec658516c98c457f600d9de99e9","datavalue":{"value":{"entity-type":"item","numeric-id":814607,"id":"Q814607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$C0826C9E-8465-456A-8109-548CCC298851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32692ed9d01016b5a99086c83f3546dda858809a","datavalue":{"value":{"entity-type":"item","numeric-id":3533153,"id":"Q3533153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$3A2218C5-AD1F-4296-9FA4-FC9CD7397AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f554b9b04608b8e7fcfe4ed39872a315a8144878","datavalue":{"value":{"entity-type":"item","numeric-id":4957190,"id":"Q4957190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$882C6D69-4464-46F6-9715-49A465998702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8fabb19f38b9ea7114d6af45a306e2cb6862cc8","datavalue":{"value":{"entity-type":"item","numeric-id":5870535,"id":"Q5870535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$6C9900CC-3565-4BEC-9C30-F3D121F6894C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c47e7d600be326706eaac0d64b4fe39c7be690b4","datavalue":{"value":{"entity-type":"item","numeric-id":5886522,"id":"Q5886522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7355852$456CCABE-853E-41E3-A59C-151F037DC682","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A MaxSAT-based framework for computing circumscription","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_MaxSAT-based_framework_for_computing_circumscription"}}}}}