{"entities":{"Q5140013":{"pageid":7169584,"ns":120,"title":"Item:Q5140013","lastrevid":94471556,"modified":"2026-06-05T06:54:17Z","type":"item","id":"Q5140013","labels":{"en":{"language":"en","value":"Modular answer set programming as a formal specification language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7284969"}},"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":"Q5140013$76C56DD5-0FD6-4960-BC7C-9BF13D9420D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d886a51ab2d188db2b19c0bce006ad4376066033","datavalue":{"value":{"text":"Modular Answer Set Programming as a Formal Specification Language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5140013$F3E55527-B5E0-4663-909E-C058D2A72E1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22c20f295d9de95c7cf9e9cbae5b270f225b9a24","datavalue":{"value":"1468.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140013$02D357D6-FA10-4972-A7BC-7314FE1CDC36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c645131bc98175b46a6c2de1cfdb04630919bd7e","datavalue":{"value":"10.1017/S1471068420000265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140013$ECA2DD9B-0C40-4D6E-93C7-5BA91161FF75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e17172b64041e106abf805133500ed871f43f9f","datavalue":{"value":{"entity-type":"item","numeric-id":309904,"id":"Q309904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140013$9D106E13-CA86-4D29-905C-3A8F14B3209E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dacaca5cad7883409446c214a642c9ac040d88b","datavalue":{"value":{"entity-type":"item","numeric-id":1647483,"id":"Q1647483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140013$A81BC00B-0144-4171-AB3A-85D7FF32DCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65af7e7acc5ad39c96829b9c7659ef5fc5c99d1d","datavalue":{"value":{"entity-type":"item","numeric-id":286081,"id":"Q286081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140013$2ECE1995-18CD-41D1-B713-4BAA2634F68F","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":"Q5140013$F253A4D3-27F1-4C39-B7C9-2C1E838C9A1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c22e955df7a052abb3ce5a1a5d7a826979ac81b","datavalue":{"value":{"time":"+2020-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5140013$1FEAA5C9-5D34-44E7-8DA1-CAADBD668621","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a165a17e6b7f8d6d98203bca77315c7ba7ada88","datavalue":{"value":"https://arxiv.org/abs/2008.02015","type":"string"},"datatype":"url"},"type":"statement","id":"Q5140013$EF6ED00D-7B5F-49DC-BED5-E0CB72DABEBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140013$6ACEE0ED-F586-4598-B348-07CFF34DB688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140013$5EE87E8D-1784-4CE8-9374-7AB2BEEDB80C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb735da3351e868d748a5c61721885747e1fc81e","datavalue":{"value":"7284969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140013$1D274DC6-D454-404D-9674-CC651BC88A2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb32a9b2dcf8b3a0f429e2af80d5de714d45efbb","datavalue":{"value":"answer-set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140013$C6F71B97-8AAD-4967-818A-E665DA3D1AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140013$6BD8A739-32B7-4DDD-AC80-50F68E3A3B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140013$7782D782-7460-4126-B68D-2310277C9EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3da2d3608ab5aba2e14e2ca4b2756c21046ebf48","datavalue":{"value":"modular logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140013$B9860C84-8D17-4F2C-B25B-41C9D855BCBE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42980b6b269d46d6dffc89e1fefab8681fc78a94","datavalue":{"value":{"entity-type":"item","numeric-id":42137,"id":"Q42137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140013$2598ABF0-0911-46D0-9204-2E86004CB4FD","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":"Q5140013$141C1942-95D2-4043-8028-76731CF8119C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1e3dc598e873a4ce4d2e495eb65f218e1d6181","datavalue":{"value":{"entity-type":"item","numeric-id":2321342,"id":"Q2321342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140013$E5222023-B207-4CD5-BDBC-62E7BA01B4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ae23982b588db85d74e54e90611040dc0fcf5b","datavalue":{"value":{"entity-type":"item","numeric-id":3449203,"id":"Q3449203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140013$F2D55104-BD33-4822-8377-E1458BF4EFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c34c66571af840b3eff922bb63c73176c41faad3","datavalue":{"value":{"entity-type":"item","numeric-id":5140013,"id":"Q5140013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140013$2584C074-A521-4B49-A3C4-210E6AD99F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3aa900194de12afc803b37e85dcb46e23f05f3c","datavalue":{"value":{"entity-type":"item","numeric-id":5398066,"id":"Q5398066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140013$F6D10ED9-322D-4127-95BA-7F82CB249F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86eca3e357c6252121111a6f9fbef1add4bfedcf","datavalue":{"value":{"entity-type":"item","numeric-id":5426204,"id":"Q5426204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140013$083566D1-3B68-4D1D-8F19-1641C1C6B2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a381368a6e530fd9cfaf75684cdafb86ba06def9","datavalue":{"value":{"entity-type":"item","numeric-id":5473965,"id":"Q5473965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140013$8DFD1FA9-A2D6-4B90-824B-EAA9C4D5EDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30a3ed2382088a4963963343aa835160547a3ac","datavalue":{"value":{"entity-type":"item","numeric-id":2946644,"id":"Q2946644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140013$F061498E-179E-4B3C-9F12-D65E6260B131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b75ee8f8a18238539664bf2738ea8a8583ca1625","datavalue":{"value":{"entity-type":"item","numeric-id":543596,"id":"Q543596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140013$015B3BF4-8511-45D0-8B6B-BFEA386F698F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd3a18a97e376c807cc3666c7857f971355d8a9","datavalue":{"value":{"entity-type":"item","numeric-id":5425404,"id":"Q5425404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140013$72FA3F74-8D73-4006-A410-96BAD752A280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4cc1ed7f98a547655a357748b71d8488e1694e","datavalue":{"value":{"entity-type":"item","numeric-id":2296744,"id":"Q2296744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140013$E2777BED-BE54-4593-A06A-1D87EF5228F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2ea6069dfa6450ccea31bdeae3d734ad234a17","datavalue":{"value":{"entity-type":"item","numeric-id":4576228,"id":"Q4576228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140013$820DF095-7653-465F-A365-9624433A6FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daf197c18290efda1627a37502c067ad84fdaad8","datavalue":{"value":{"entity-type":"item","numeric-id":4593056,"id":"Q4593056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140013$69C1036A-6DF6-41D3-BE7A-82D1612A5B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f52ca305cf2034f9f169a82fd6660d73caaa8fce","datavalue":{"value":{"entity-type":"item","numeric-id":4592719,"id":"Q4592719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140013$21C7D354-E9B7-4B05-9FC6-3D1339D4C55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eda07e74c455b9508c4802bce8fdc74d6e13f24","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140013$7A9046CE-B627-45C7-AEDB-CB368BB0F2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e23772db96e9bf015553350a5ee3dfa756e876","datavalue":{"value":{"entity-type":"item","numeric-id":5425408,"id":"Q5425408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140013$EB6D86E3-A314-4650-895C-1AB6B0BFE716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9d46675d69da08688a08050917677153351448","datavalue":{"value":{"entity-type":"item","numeric-id":4702577,"id":"Q4702577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140013$7F72B9F6-6E2E-4EBA-BC05-073D9D19186C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b8cd2322fbc79f6a4b005612cc66d58a743ee4","datavalue":{"value":{"entity-type":"item","numeric-id":4805343,"id":"Q4805343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140013$7FB4E749-60E3-48EC-8CB3-44447D9398CB","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":"Q5140013$430227E7-164B-4555-83F7-63C3DB227F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a0d0a35484dfeabdee3f4d31ed19e47de6634b0","datavalue":{"value":{"entity-type":"item","numeric-id":5504682,"id":"Q5504682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140013$38C6AB4D-57B0-4ADE-9ECA-B859ADF8DF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f91ddf9af8926b185282362ed278218850f90e3","datavalue":{"value":{"entity-type":"item","numeric-id":3395261,"id":"Q3395261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140013$2EB04AB9-8D84-4D33-A79F-8C5D23A4DEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43151032accf7b6ce02db5b446eeeab043169fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5504679,"id":"Q5504679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140013$EDC02EEA-F8D5-45C9-8BE6-A3CFE68790F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118448f8a4edec41f3166a4ed1f6b48d9f373fe6","datavalue":{"value":{"entity-type":"item","numeric-id":4644478,"id":"Q4644478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"724557de420a7f445cf3e4879bdac98060741865","datavalue":{"value":{"amount":"+0.7842249870300293","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":"Q5140013$90D0F43B-5707-46B1-9023-280C85CD7F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31692980790302da348a59a3d2ed3ce6349363b","datavalue":{"value":{"entity-type":"item","numeric-id":3395261,"id":"Q3395261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac2440372adbc7984d9b9e9416af3d4f6ea717a","datavalue":{"value":{"amount":"+0.782954216003418","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":"Q5140013$B262952F-B6AF-4985-9E3F-F190A2DE2FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e4539e786216550b7dffb649af2952059f863b","datavalue":{"value":{"entity-type":"item","numeric-id":4649729,"id":"Q4649729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3a1c056ead9d9b7b4e961d7d4d0924fb32355a1","datavalue":{"value":{"amount":"+0.7787038087844849","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":"Q5140013$20B90840-DC7F-4DFB-B05B-1B9639EAD0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdc64ca00bfe0342f128404aa61b6f6ba68532fc","datavalue":{"value":{"entity-type":"item","numeric-id":5387857,"id":"Q5387857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95b205a5a7c3814d5e89e18bee96568321eb7dfc","datavalue":{"value":{"amount":"+0.775421679019928","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":"Q5140013$3EF324FF-8B47-449B-A3C2-1A5A465B5319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d377546ab8cafa4609ba4daa0ddf6114ecc62b9","datavalue":{"value":{"entity-type":"item","numeric-id":5236441,"id":"Q5236441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51024404172daf3b5fc712b0911c8e7c5cc1e73a","datavalue":{"value":{"amount":"+0.771676242351532","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":"Q5140013$C7CB48AA-B5F1-4FF8-93E7-B24574AA931E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular answer set programming as a formal specification language","badges":[]}}}}}