{"entities":{"Q3112653":{"pageid":3123369,"ns":120,"title":"Item:Q3112653","lastrevid":85802786,"modified":"2026-06-03T11:35:03Z","type":"item","id":"Q3112653","labels":{"en":{"language":"en","value":"Interpolable formulas in equilibrium logic and answer set programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5996846"}},"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":"Q3112653$3600C351-43D1-4F1C-A742-B112273BCE6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e07befca92a2267780f069bbc492314d43d9dcd","datavalue":{"value":"1239.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3112653$AFCFF62F-9947-49AA-83C4-339F0A80307D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d825051870bac730440e37fabd5e37e0762e48d","datavalue":{"value":{"time":"+2012-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3112653$7FF34CCA-6108-4F21-BDB5-8F70E0BDEC44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5f1b453fd02026311c4f8a34fdc639794f9b233","datavalue":{"value":"https://arxiv.org/abs/1401.3897","type":"string"},"datatype":"url"},"type":"statement","id":"Q3112653$55FD9488-9FD9-4B0C-90E9-B1D602AB3FD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3112653$3BAA4B1F-0BD7-4B75-BBE7-A3DDAAC3495B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3112653$2C3E9542-F475-4128-9102-3BD22F173BB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7067e1c6111a0ab845c9951b0bd431099a6bef5","datavalue":{"value":"5996846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3112653$D34C3540-A033-47A5-8877-FC5176F978C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3112653$9389C1E4-0571-448B-A757-1F450DDEF937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acba3f50847039639a6330af48194d99faff9e17","datavalue":{"value":"logic of here and there","type":"string"},"datatype":"string"},"type":"statement","id":"Q3112653$0FCC432E-6B05-4489-ABE0-279BEA0919DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5a156d9fbc39ca0cc4904d3039a77d766645685","datavalue":{"value":"equilibrium models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3112653$DDC7A02A-F3EA-4BC9-8D40-B9D50910EADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f7f2e0d651cbe2372ff7e59a3d6cfdd993a4037","datavalue":{"value":"answer set semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3112653$EA41E971-E4EE-463C-BD46-8CBFB7C8D5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04393b2de31cb5be1e17660e4ef9d4501b297852","datavalue":{"value":"safe formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3112653$E619BDFC-3DB7-47FB-B5AA-5A24F819519B","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":"Q3112653$8CEAAAD2-A49C-4B09-8D63-421B761680C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f6b9dd9780ca8ce6dd69c09db06aed1bdc778c5","datavalue":{"value":{"entity-type":"item","numeric-id":854969,"id":"Q854969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"981a37a6f0d62871e412a7186ca9e6c28713e3d4","datavalue":{"value":{"amount":"+0.7696042656898499","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":"Q3112653$95DD4178-BEDE-4157-8451-68A4842B09E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15e063612b0ccb4d80c9a636a5476a8e6c753dfc","datavalue":{"value":{"entity-type":"item","numeric-id":4708921,"id":"Q4708921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fb4f568ebc89d7fd5939855293c88da1c4fbe68","datavalue":{"value":{"amount":"+0.7678384780883789","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":"Q3112653$B4A955A4-F0E5-4E80-A1E6-72008C0A5CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac9def07adecd4f3f96c038cd5d31521a274c4bf","datavalue":{"value":{"entity-type":"item","numeric-id":2767096,"id":"Q2767096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef642daf155c61d3537e1d907fdc405fd01fc8fc","datavalue":{"value":{"amount":"+0.7526752948760986","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":"Q3112653$BAD837E1-1CBC-40A1-A457-BD60060F81B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a85dbc7c2c86fc0007c4247c36836428e71aee2f","datavalue":{"value":{"entity-type":"item","numeric-id":5473965,"id":"Q5473965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef642daf155c61d3537e1d907fdc405fd01fc8fc","datavalue":{"value":{"amount":"+0.7526752948760986","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":"Q3112653$507B1E39-18FF-4FC5-8E70-6232CC61F2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49ae2a0b77923a129f57ce18f68b6556632938c3","datavalue":{"value":{"entity-type":"item","numeric-id":1118581,"id":"Q1118581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d14f93136921246fe7b0055c5b7febcdbd967741","datavalue":{"value":{"amount":"+0.7489480376243591","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":"Q3112653$DC92DDF6-8C2B-45D7-8F51-6DDD7CDECAE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpolable formulas in equilibrium logic and answer set programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpolable_formulas_in_equilibrium_logic_and_answer_set_programming"}}}}}