{"entities":{"Q3546042":{"pageid":5575946,"ns":120,"title":"Item:Q3546042","lastrevid":50525807,"modified":"2026-01-14T07:18:54Z","type":"item","id":"Q3546042","labels":{"en":{"language":"en","value":"Achieving compositionality of the stable model semantics for                         <scp>smodels</scp> programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5383275"}},"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":"Q3546042$DD1FC6A4-4E0E-4C61-A31E-90DE0D0ADB50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a0a5e89fc9a1682f305af87c8c591f16dbe0082","datavalue":{"value":{"text":"Achieving compositionality of the stable model semantics for                         <scp>smodels</scp> programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3546042$1BA1B554-85C6-4569-8EB3-F11424FE7675","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"916c7bd7becc644d497334f77daab5e06c5dc2a6","datavalue":{"value":"1156.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546042$2C5A2439-0AF9-4878-9865-99FB7D729301","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6c311fbb8649276c1aff9da6d5c4960b22b2967","datavalue":{"value":"10.1017/S147106840800358X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546042$38E17D0D-A050-4499-852B-6C5D3FC125B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a04068cc433f2e9509aadb4dc79e0d8845b667f","datavalue":{"value":{"entity-type":"item","numeric-id":420787,"id":"Q420787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546042$79B5E363-BFEF-4BED-BE6A-7B95B49DBFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b796059b3d44a405a8af15eeb705b77a871ac3","datavalue":{"value":{"entity-type":"item","numeric-id":517385,"id":"Q517385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546042$643649F2-4EDF-463E-95AA-B1CA817E3452","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546042$5EEC4A22-E3FA-4F7F-8270-375C886A7F86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1663d3617535929b278b9313fbf9b2d4c917782e","datavalue":{"value":{"time":"+2008-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3546042$7D8F36A8-CCF4-4F09-B68C-912EDAEE8E7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546042$32A6D35F-17E1-4FDF-A891-E3EE79A4B0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546042$9FDE7418-28C7-4A7C-8FC1-0BB52EF6080F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"920d9b746c6380daf20a65a18d68add3edbc9251","datavalue":{"value":"5383275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546042$06FC071D-E853-40BA-B0A8-1BBE53FA2742","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546042$7EB0920A-CCFB-467F-AC8E-98CD5D4EC96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4e770c5268f1041a9ac6fedbfc41045f248ca22","datavalue":{"value":"module system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546042$0C2582FB-1A28-4A4A-9B90-DF72DBAC4BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"977eed6131dfef7e6e3cd1144bd76459fa17e188","datavalue":{"value":"compositional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546042$80C4D772-ED4F-4B81-A4E5-52E95821B6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c8c04d6faec96e0a57b788f2647a3e7913e75e9","datavalue":{"value":"stable model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546042$1082CDB5-4FB7-4D95-BF6D-94069C3E89DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e2a496dc1e11d62613bd59c6e29236aec8c0b55","datavalue":{"value":"modular equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546042$38E27CB0-7468-4739-AC66-BDFB81534A49","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546042$0B152C3F-836E-4512-B783-88E30463F499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79c66918880f31b09b4fbb0b19c8c8481c2203b2","datavalue":{"value":{"entity-type":"item","numeric-id":15063,"id":"Q15063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546042$0639EBE6-AFB7-4DE2-8EF5-C5ADEA8BEB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c1ef313e426f71f5dcd127dfe1b9fad8b07d119","datavalue":{"value":{"entity-type":"item","numeric-id":19153,"id":"Q19153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546042$C491A0A1-5081-4E4F-88EC-88BA0D53125F","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":"Q3546042$35473B2F-2C5B-4081-AE16-1AB75415C25B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8285f3e8e4a147d300d46ca4a10d5d72c455ad47","datavalue":{"value":{"entity-type":"item","numeric-id":3608651,"id":"Q3608651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546042$CCE648FA-294F-4A64-B96D-AC4D309A69D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a40811c95d403ef3e11f73e0c78e1a57fb3c168","datavalue":{"value":{"entity-type":"item","numeric-id":5449606,"id":"Q5449606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546042$BC3B4B5C-9F3E-444E-BB0A-564C827800A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df57a8b6ea029c06d43a21a5342274199359600","datavalue":{"value":{"entity-type":"item","numeric-id":4428287,"id":"Q4428287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546042$15F0EF85-3D89-48F9-9966-0635ACA4A9F4","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":"Q3546042$03D441AF-1380-4E77-A3DB-1F63E811605C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39571c01d29a249b33546cd5fa8f2ca8a6b68e1d","datavalue":{"value":{"entity-type":"item","numeric-id":4311648,"id":"Q4311648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546042$EE9CC246-085F-46E1-8CFD-59B40F5198F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92d155c7dcd0b41aa8d5369fa6a9b7a5ca42b115","datavalue":{"value":{"entity-type":"item","numeric-id":1603731,"id":"Q1603731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546042$C3695238-0351-4B40-8628-6C8590BDFA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"607c11f10f3249ad6d7c3000414c2fd1ce8f58d4","datavalue":{"value":{"entity-type":"item","numeric-id":1978006,"id":"Q1978006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546042$1E8183F6-5B3B-41C0-888C-C2EC1B4A2F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"506caca47d1f2a2389e155eec13a640dbadba1de","datavalue":{"value":{"entity-type":"item","numeric-id":4673539,"id":"Q4673539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546042$F6CFE6DF-8B37-4930-85C0-561A8E01AE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4b1c61b64d956bf28f9979d3f8390bb8154392","datavalue":{"value":{"entity-type":"item","numeric-id":5425415,"id":"Q5425415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546042$F00EF474-CE99-487C-815D-A752A8E4A0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f448535440866f4f8fde19aacb4d268082cff2","datavalue":{"value":{"entity-type":"item","numeric-id":1978008,"id":"Q1978008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546042$558BAC73-5B0A-4297-906C-9DDF9AD66CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64b95fb93857a7fee214f8d1058a95819db0427","datavalue":{"value":{"entity-type":"item","numeric-id":671648,"id":"Q671648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546042$7C55147B-EA94-4DF2-9564-F33C91E67F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a551090d0f1b8dd29fffe535d804ad9418d9e3","datavalue":{"value":{"entity-type":"item","numeric-id":5482276,"id":"Q5482276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546042$6312F09B-5F20-4E32-BA4C-E54CE7A287B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a4fa4292d3e7cd41676b00b24428c34cfc910c","datavalue":{"value":{"entity-type":"item","numeric-id":4730754,"id":"Q4730754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546042$060790D7-A8A1-4E7D-8138-3F44682DC2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38d3f458cafe029fcc06e729be6204ce7ef05b6","datavalue":{"value":{"entity-type":"item","numeric-id":4302848,"id":"Q4302848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546042$C22DB3BC-6E72-4E57-BDC8-AB2177268C01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9e845172293275b484e820b2407bb8f3ef3f39","datavalue":{"value":{"entity-type":"item","numeric-id":5425415,"id":"Q5425415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf17ceca89ac75d539dce6a9e74858ad8ba32f5c","datavalue":{"value":{"amount":"+0.8829596638679504","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":"Q3546042$C9C0C30D-83E0-4D02-BAFE-EEA381E015C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3e384c2174861cfff8414705b5fec3bdd11dbe5","datavalue":{"value":{"entity-type":"item","numeric-id":5425407,"id":"Q5425407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8bd03dc2adaa7e39b3e804f3189aa4468520d72","datavalue":{"value":{"amount":"+0.8287872672080994","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":"Q3546042$E00F387E-A995-497E-B2E1-05FF66039BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"491483e2b3bb374a1b9830164eabc7d55377d656","datavalue":{"value":{"entity-type":"item","numeric-id":3651481,"id":"Q3651481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9173cd66a8b9a975fdbf7993b132ec7ac28d139","datavalue":{"value":{"amount":"+0.8258182406425476","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":"Q3546042$F650FAA7-6997-4021-A78A-68FA2C747308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ddaca5a3cff7c8241a58c411d2cfb2fe8104bef","datavalue":{"value":{"entity-type":"item","numeric-id":1274967,"id":"Q1274967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e599c17a82f5ee05bc96372a775e9ac1ce6a2bf","datavalue":{"value":{"amount":"+0.8084105849266052","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":"Q3546042$8AF47AA2-C1A9-4BAB-A75D-287CBAF872E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3045b9887bc954a7d959067d9de896ab7fabaff2","datavalue":{"value":{"entity-type":"item","numeric-id":5313184,"id":"Q5313184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2f0af7db88757bd4f43a5de32775cb6e29e1226","datavalue":{"value":{"amount":"+0.798320472240448","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":"Q3546042$6200BB26-BC89-40B1-BA44-843C328943A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3546042","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3546042"}}}}}