{"entities":{"Q2457647":{"pageid":2468390,"ns":120,"title":"Item:Q2457647","lastrevid":50192669,"modified":"2026-01-13T11:38:17Z","type":"item","id":"Q2457647","labels":{"en":{"language":"en","value":"An incremental algorithm for generating all minimal models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5203810"}},"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":"Q2457647$B1E6097D-0C38-4502-AFFA-C616DB52E6D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efbee1cd4cb1bec8d2feb28c89304df556e211a5","datavalue":{"value":{"text":"An incremental algorithm for generating all minimal models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2457647$AE1ADBF9-0612-4867-9364-168622941756","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d75cd7e3a2782544bf14e432ce63fea39ee6977e","datavalue":{"value":"1132.68721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457647$BDA1D1AE-57DB-4A38-B730-0EE78A95D21A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"331692b22e5e270d555ec75492a142a72b855662","datavalue":{"value":{"entity-type":"item","numeric-id":414851,"id":"Q414851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$904A9051-FE7F-43CB-93B4-FAC5C28C8104","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$C9189217-896C-4308-8CDD-EF74CC5C93AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b92f17929f5a72155ae3100d6d6310726eec0e95","datavalue":{"value":{"time":"+2007-10-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":"Q2457647$4453A137-ADE4-4837-850F-01782F6E1DBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457647$778731CF-96AD-45EF-A2EA-FFB3DC978DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457647$467B509B-D63B-42B9-BBF0-145511F800E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457647$E118AB73-A576-409A-B284-479627B46172","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ac44a670b0162a51bb5610ebfefb118d0b228f3","datavalue":{"value":"5203810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457647$F6A82F74-CBC8-41B2-9634-4F4C822FF9CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adba8b3158d5ac0bcf0a5ba3e6acf4b16e18aec8","datavalue":{"value":"minimal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457647$A414511D-2466-420A-A72E-88B6CBCA011E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457647$187B1E61-482F-4022-9E81-BB8495373048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e8251378e6e40b9e946d030aeb94b41e173c61","datavalue":{"value":"diagnosis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457647$30764B07-CBE9-4670-9460-9C87619EBB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457647$96988D3A-C2E4-40E1-9772-B9673B499387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457647$5791D4B9-755A-4D44-93CA-39B1619BF665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"737b6d4c7a33da6eaebd07e5c1d28037d48e4ea9","datavalue":{"value":"propositional statisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457647$50185B5B-6B31-437A-A8E3-631FE549B16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457647$A2297AEA-A910-47C3-B6B5-6868EF55207D","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":"Q2457647$C88DE4B4-1195-4C75-9CDB-F11594B6F0E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34b1297df936a07200e067c6838adad43e9e9810","datavalue":{"value":"https://doi.org/10.1016/j.artint.2005.06.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2457647$C0E80F31-EA01-4097-9C41-43B73EB6E3C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f37d2bd0856cd3a043c41b8e5c2ad7abf75faaab","datavalue":{"value":"W2020394392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457647$F946F1FB-624A-462C-B281-DF3C621DED9A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e489025b0b044ca79a95ea45927725067a5e45b6","datavalue":{"value":{"entity-type":"item","numeric-id":4386925,"id":"Q4386925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$BDD41EA5-75AB-48B4-9D55-BBE06EE73C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fe046cc7c2f97de759f9933708f7f2f65bcf7d","datavalue":{"value":{"entity-type":"item","numeric-id":1924819,"id":"Q1924819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$93D14647-5C8F-474F-A76C-D5303EC7D6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8001acdb7abdc937fea386beac2f167b99780d8","datavalue":{"value":{"entity-type":"item","numeric-id":1380414,"id":"Q1380414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$C37E2811-7B12-4594-B530-79772116F81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02122c8f8d5caf7a3d959a7787e0e2f3bf93682e","datavalue":{"value":{"entity-type":"item","numeric-id":1127346,"id":"Q1127346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$260F5F1B-CBD2-40AC-8897-11EAE08433F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446f3e465b99818b5af18984c508f5df1664cef5","datavalue":{"value":{"entity-type":"item","numeric-id":4327631,"id":"Q4327631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$5C436200-8452-4CD6-87AC-189B0D60A218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1ee918c464fe7c6c2ebcaf9cb1dfed9d3b10f4","datavalue":{"value":{"entity-type":"item","numeric-id":1581852,"id":"Q1581852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$DF76EFBA-CA20-4BA8-8AC3-339C715A4C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d93864aec7824361eaf84afd94a1a6d700ad7bf","datavalue":{"value":{"entity-type":"item","numeric-id":1205713,"id":"Q1205713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$DED600D8-B113-46EB-B5E1-F029B6B10783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38f3e4da74b32c475240a748c60ea9de9fbb0e58","datavalue":{"value":{"entity-type":"item","numeric-id":4937194,"id":"Q4937194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$ADC5BF42-0E7D-4BF0-8BD2-B06D298D8EB3","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":"Q2457647$F9EA548E-3979-4BA7-A759-F6E9059227E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc23fa9db53cabf6cb7341125e31b421198676b4","datavalue":{"value":{"entity-type":"item","numeric-id":1199913,"id":"Q1199913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$D4EA879B-E331-493A-BA7E-F2160796DE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6733b7bbb3da2725018c9c6a7b544f9ef86c0eb0","datavalue":{"value":{"entity-type":"item","numeric-id":1101418,"id":"Q1101418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$38577DF4-79AD-460C-B718-E3DF8A65AB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5139300d7b574d62b172077ebfb60a98099a168f","datavalue":{"value":{"entity-type":"item","numeric-id":2367539,"id":"Q2367539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$39D84B8C-70CD-4AFF-94D6-B12AE4A234DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f217a03352cffc36561a374c3fe3e37d7c69edbe","datavalue":{"value":{"entity-type":"item","numeric-id":2638808,"id":"Q2638808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$9421883E-5D88-4441-A8B6-A8498093C735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e16ccc44158a6dc49553f3901bf271b63b61c6f","datavalue":{"value":{"entity-type":"item","numeric-id":4207881,"id":"Q4207881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$A3C515BE-0380-4E3C-9D53-EF5C80F45ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$1265C971-1A65-4489-AF93-12210CCEE22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4aff056159aaf1cff504830007d8fb1af49169b","datavalue":{"value":{"entity-type":"item","numeric-id":3782840,"id":"Q3782840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$772070C5-1BE2-48A8-9837-C64C18AF6627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a570c48c6d97b419e37f9240e6e6b34a0f8f2c","datavalue":{"value":{"entity-type":"item","numeric-id":5277741,"id":"Q5277741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$BE9F0657-AFDF-47F3-801E-40FC5F0303C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021bd14c32884ddf08e98f38dd04ed6ed3c3e83","datavalue":{"value":{"entity-type":"item","numeric-id":814529,"id":"Q814529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$D56A1679-4F3C-49D9-B660-CC038F80BB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da6ee2be15f73ef668a4a8e7b3e5fc2d871df2b","datavalue":{"value":{"entity-type":"item","numeric-id":3474909,"id":"Q3474909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$22B23438-F8DB-4543-BAB4-85E9FA3CE138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b00b7e148d688bf75f8d95a486d744d72df7cdae","datavalue":{"value":{"entity-type":"item","numeric-id":4708952,"id":"Q4708952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$9112EF48-FA2D-4FDA-9B89-93AA4574EAA0","rank":"normal"},{"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":"Q2457647$2E2DABA7-D609-4568-BBD4-D52F72C73F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1aed9af0b115c501efcd1e09a55330fdc38c0b","datavalue":{"value":{"entity-type":"item","numeric-id":3939270,"id":"Q3939270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$DFAE8773-8696-4BCB-B0FF-559C111F83D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$7563C95A-6670-4B2A-812F-47EB1019BF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ff4fd15aa6734e12066f575f2700abc354f037","datavalue":{"value":{"entity-type":"item","numeric-id":1603743,"id":"Q1603743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$A415C486-7A63-41CA-BB16-9019D9287E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457647$595BA4B2-4AA0-4CA9-9296-4FE295FE4976","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1afd4e4c711081ea09e4c758176b7c7b187e9db","datavalue":{"value":"10.1016/J.ARTINT.2005.06.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457647$BEC024A5-DAEE-493B-A8A9-4242D725B924","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05a1298735b112548078970047add90b2d29788b","datavalue":{"value":{"entity-type":"item","numeric-id":1380414,"id":"Q1380414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63cc2b4c1bfc36fb854959a9f5a086443a08b647","datavalue":{"value":{"amount":"+0.8090536594390869","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":"Q2457647$297DC2B1-4D3E-46A4-9BA3-33CD960DE0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba44588dc687db62a1375b66edd1571afe2aa306","datavalue":{"value":{"entity-type":"item","numeric-id":4798018,"id":"Q4798018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65389c8b36403e1dbd8786dcee7670ddb035bfb8","datavalue":{"value":{"amount":"+0.7879138588905334","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":"Q2457647$AACCA793-10B3-4144-8DEA-A00754B89358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"336a9d39ec7d7233bb3f3c583802fbb126e5c261","datavalue":{"value":{"entity-type":"item","numeric-id":1127346,"id":"Q1127346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91573a0da363d514defafc3a46d4c93bc75e1c02","datavalue":{"value":{"amount":"+0.7773833274841309","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":"Q2457647$DC15A211-1AFC-466B-9046-F7CE1E8E628F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e674fc70adc6056bb00b0f3fcaeb71785e43119","datavalue":{"value":{"entity-type":"item","numeric-id":5191481,"id":"Q5191481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cbc3134fc21a09548bc9fa74fb6c3168667ac08","datavalue":{"value":{"amount":"+0.7753008008003235","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":"Q2457647$ED164A5C-9478-45EE-806B-42FED0713C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a03ed133ae7f30e97ea6332d5d8c3eb889e48f9","datavalue":{"value":{"entity-type":"item","numeric-id":5492049,"id":"Q5492049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27d06c1daf4ef4a910aa34b756682f6ef9a7f28d","datavalue":{"value":{"amount":"+0.7632360458374023","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":"Q2457647$AB67B282-FF51-407D-8977-7D1AADC310DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2457647","badges":[]}}}}}