{"entities":{"Q2401932":{"pageid":2412675,"ns":120,"title":"Item:Q2401932","lastrevid":78633284,"modified":"2026-05-06T12:04:09Z","type":"item","id":"Q2401932","labels":{"en":{"language":"en","value":"Answer set programs with queries over subprograms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6769659"}},"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":"Q2401932$D8224EDD-FB60-42EB-A67F-742A16A03E3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fddf936d1fb529fed762c437fe1a7a8625c78002","datavalue":{"value":{"text":"Answer set programs with queries over subprograms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2401932$47EA85AF-354A-4934-8AE8-C081E14B4739","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6e96e7bba742e1e9049ccdbf06dccf8b51892bc","datavalue":{"value":"1491.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401932$E6CB3BC8-F005-4381-87D6-F84BF4ADFE3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21e052b7102c893bbee42acbf95c152ea064d61c","datavalue":{"value":"10.1007/978-3-319-61660-5_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401932$FB34DB47-8146-4E8C-A8C3-0F5313306EAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9bab16758456d8f7b4f03ee99744648e9429195","datavalue":{"value":{"entity-type":"item","numeric-id":254001,"id":"Q254001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401932$1AA8FCF9-9631-4EC9-8335-F154BD98BC9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c91369455d447b2d21e7a7fbb637e8bd07d0d00c","datavalue":{"value":{"time":"+2017-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2401932$C20933B7-0665-4A8B-8241-C4A2C5912F1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401932$176A97E9-56A7-4F88-9137-C05F629AD0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401932$918795CA-86D3-44CC-8814-D7104849492C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401932$94E6146B-3123-4047-8CFC-95F3D17A11A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbec640b9dbd98393b8943d7bd9f1ae60ed880ea","datavalue":{"value":"6769659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401932$B0935C07-B96C-4732-8005-7E6798D44217","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb32a9b2dcf8b3a0f429e2af80d5de714d45efbb","datavalue":{"value":"answer-set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401932$41C4EE98-8A39-42EE-8975-A67EA2D60B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401932$0E2A031F-38E3-48D0-819F-61EF0FA52A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eee3030d917a9dc1f8b4d39adc1588a3bc3df696","datavalue":{"value":"FLP semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401932$BE38FFA1-43BC-44EA-A26A-A11A80754E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ba66c71e3c9c370a93e15446b7b1c42c576db0","datavalue":{"value":"meta-programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401932$40389C44-B82B-463A-9AED-919E7891369B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6739fba16acf61162defd709061e3d3f6a05da4","datavalue":{"value":"saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401932$56B8C432-05C2-4B9D-8C0A-08ED9116570D","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":"Q2401932$B63FB0E1-B755-469B-B093-6B34A9412DE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f628f0aab1cefd09277c558797027081ccc6e37d","datavalue":{"value":"https://doi.org/10.1007/978-3-319-61660-5_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q2401932$4BBC3838-2C51-4601-B487-E05FD86A81FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b10bd6ee16d91e2966adb0feb43be1422c95687","datavalue":{"value":"W2727361336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401932$A7A0B76F-1A5C-4955-8163-264D182B08A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58303a843b9df22336a9a40b49f30ccee29d86b6","datavalue":{"value":{"entity-type":"item","numeric-id":3638997,"id":"Q3638997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85fa02b637651a813b47ef258defb47480d211e2","datavalue":{"value":{"amount":"+0.7958001494407654","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":"Q2401932$334BBEE8-E0BA-4C11-B884-0559EDEF1265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0357ffdc19d7a9fa5079adec5cba79c0c5f864d9","datavalue":{"value":{"entity-type":"item","numeric-id":5282991,"id":"Q5282991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16c71aaa26ad038baf3ec7171b0c80e45900e174","datavalue":{"value":{"amount":"+0.7832633256912231","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":"Q2401932$FE914CD4-E93A-4118-8771-16B96A842632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e80c4ba7d0b21240e4b372d78ba2a07a6475498b","datavalue":{"value":{"entity-type":"item","numeric-id":3578395,"id":"Q3578395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5eda0f2a2816c6ddff3d18f1b11cd3c6055c359","datavalue":{"value":{"amount":"+0.780631422996521","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":"Q2401932$DF098CEF-4235-4E6B-A740-530C6A44F0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0988df5699e94b306a5047c721c9848e5a1dc02a","datavalue":{"value":{"entity-type":"item","numeric-id":861709,"id":"Q861709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10f63d1eb721c4f95829e53696365acd1f751d61","datavalue":{"value":{"amount":"+0.7786784768104553","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":"Q2401932$871E6803-F91C-4F46-B27C-94E1B230D4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00499b6368f2852cd009d0ac5a4960f7fb921ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4428287,"id":"Q4428287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84065725b4e0f00dab91f59a41a237ae480508b2","datavalue":{"value":{"amount":"+0.7703969478607178","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":"Q2401932$45E4A9BF-2DB3-491B-8503-4108B7B3362B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Answer set programs with queries over subprograms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Answer_set_programs_with_queries_over_subprograms"}}}}}