{"entities":{"Q1680677":{"pageid":1691418,"ns":120,"title":"Item:Q1680677","lastrevid":72495060,"modified":"2026-04-14T05:18:51Z","type":"item","id":"Q1680677","labels":{"en":{"language":"en","value":"A progression semantics for first-order logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6807698"}},"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":"Q1680677$1A3D5349-C636-4751-905E-999EDE643BED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fc73435df286993fb41a7b32bdbb9761cc14727","datavalue":{"value":{"text":"A progression semantics for first-order logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1680677$2EA91738-6701-4D88-A4A1-7191E2DC8A8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7dc94531b52bfeac0a294f015ff1e74c752b4bb9","datavalue":{"value":"1419.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680677$F5072CCB-B129-42F9-A508-B18B689F9F44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ddf53fb09c4e4ee45ac66fffeba937512fdd55d","datavalue":{"value":{"entity-type":"item","numeric-id":1667024,"id":"Q1667024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680677$C7E4EDAC-9C8E-4907-B322-8A0CBA691418","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":"Q1680677$F84CF011-EC0E-408C-A341-C45155573CA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31b4e05ce401552e06c39f98d03ca03d178174b0","datavalue":{"value":{"time":"+2017-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1680677$FB7F080A-56A1-45A7-81C7-A5A9C7B2CBA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680677$CD0A29D0-E1C5-4C14-A981-8DB856C91B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680677$B107FD76-EB93-4E13-85F0-B2B341707A56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82670eec14860a0358ab1c97a222d5089298bcf8","datavalue":{"value":"6807698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680677$F1D7110E-BCAC-4201-B972-4986124FC96D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680677$8E3B7B71-9644-4091-90BE-0BA36CE3C3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c8c04d6faec96e0a57b788f2647a3e7913e75e9","datavalue":{"value":"stable model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680677$B8EC8B48-512D-4F5F-8C07-FC7F824B4C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1de6b368a6bddf2773f52fb23e3b4fa07b90ebb0","datavalue":{"value":"progression semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680677$6A270739-F6B9-4743-BEAD-6EEBEDBF99EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680677$BCBF6555-E7A3-4BBA-960D-5E33221C18E5","rank":"normal"}],"P1463":[{"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":"Q1680677$A67DA35F-45BF-405F-BCEF-EB5F959FC9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c2397af574e013d1cb2f59fb4483a52a833abee","datavalue":{"value":{"entity-type":"item","numeric-id":16611,"id":"Q16611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680677$7329F587-C412-44BD-BC12-F5EF8802F14C","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":"Q1680677$52004D58-1196-430E-A0EE-8EFB441E61EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c577753c29590f53605a47418740c4f53b77ecd","datavalue":{"value":"https://doi.org/10.1016/j.artint.2017.06.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1680677$DA4305E9-47E1-498D-9C21-FF5CCC9FE7EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e27233ed60b914c8272ed05cd3bab7089b6608bd","datavalue":{"value":"W2623765780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680677$BC0395D0-1C38-4CAC-9969-F113DF3D6399","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680677$73240A17-298D-44CE-BC51-0402E83128EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8665470b821e435052c06603d4e72bf06af71c","datavalue":{"value":{"entity-type":"item","numeric-id":1342861,"id":"Q1342861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680677$69BBF038-D7CB-4419-9A71-BE1D9D580484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c92015cae2dce804e1eaaab132a8c1fe35d1aa9","datavalue":{"value":{"entity-type":"item","numeric-id":892233,"id":"Q892233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680677$360FDB41-2896-40F6-AA3C-02808906034B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4233c19302914cdde76ddaae3895b4f5c926e42d","datavalue":{"value":{"entity-type":"item","numeric-id":420824,"id":"Q420824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680677$C1DF161A-22F5-4703-870F-08055341786E","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":"Q1680677$8A7DA9AD-7171-48CE-82F0-F1190F9409F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25873ee83fccf1fe6cce347d493e5729417fc308","datavalue":{"value":{"entity-type":"item","numeric-id":5398316,"id":"Q5398316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680677$98CDCF67-B24C-4CD3-B5FC-0C1F330DDA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83d2aee3aecf6a04f21544f51ee6adfcf5f9fef","datavalue":{"value":{"entity-type":"item","numeric-id":4177549,"id":"Q4177549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680677$8B7AE6E2-F88B-4B8F-9AEE-F597B6D6F633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd629ad2e798ed2231372ffa2d7c65803fdeb0db","datavalue":{"value":{"entity-type":"item","numeric-id":543631,"id":"Q543631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680677$F49600AF-55FD-46AC-82C0-9F58D324C3C7","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":"Q1680677$B04123BA-CC4C-4708-AE34-B1C97BE3EC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680677$33F4972A-308B-403D-8DF0-0FF9F13C4690","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":"Q1680677$F0D90E5D-BB67-4290-A56D-1C5CE3120DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dcd080a9dd31dfb3d96758722594dbe62cd1048","datavalue":{"value":{"entity-type":"item","numeric-id":3140022,"id":"Q3140022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680677$1F7E259B-821F-4449-A983-0FBED280EA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d65be6b84798d28cf87a0d7ae277068dab641b7","datavalue":{"value":{"entity-type":"item","numeric-id":1761291,"id":"Q1761291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680677$A69B91D5-32FE-4ED7-B602-BFD163433001","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":"Q1680677$7DBDEA93-7AFA-4AE2-83AE-906204A56F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a079c27309a7a1a654320de7f64acc99c1a8cb20","datavalue":{"value":{"entity-type":"item","numeric-id":5056424,"id":"Q5056424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680677$4B153249-7692-4AB1-9164-7CD46AD8FD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ce38c25cc0bf997a7b3483d8074266502c62fd","datavalue":{"value":{"entity-type":"item","numeric-id":2407875,"id":"Q2407875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680677$E5506E83-2899-4922-AD63-BF9990592864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a36625d8dee2e935e412d9789af13a32cec5566","datavalue":{"value":{"entity-type":"item","numeric-id":3001916,"id":"Q3001916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680677$7AB43D55-788D-4455-8C78-9ADD4C4D7BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5da690f5f6b2ec4c4b7425e8a23fa64798865f9","datavalue":{"value":{"entity-type":"item","numeric-id":3112629,"id":"Q3112629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680677$B814F949-1CE0-45CD-A2EC-6B2C80B2B3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fcff51efce68bdddd78506cd3bbb40138540e4","datavalue":{"value":{"entity-type":"item","numeric-id":5398064,"id":"Q5398064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680677$30A8ECFF-7E3E-44EA-A59D-104DFE3A4492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2f5bc92e9392637b6279fc20e9ab64715fa973","datavalue":{"value":{"entity-type":"item","numeric-id":1199920,"id":"Q1199920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680677$7C48D132-F8B4-477F-B951-EDABFCA88E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa7398f4cae4cec658516c98c457f600d9de99e9","datavalue":{"value":{"entity-type":"item","numeric-id":814607,"id":"Q814607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680677$7C593489-7E51-42EC-9F6A-0B047B6135F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9324592dbfa1f7e2277b45d2dba533c75ef452a8","datavalue":{"value":{"entity-type":"item","numeric-id":543597,"id":"Q543597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680677$D19D0343-68D6-486F-88D7-3B762D56A23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"215a56c823ec1c0faa5e8fe7289b66454aeccc39","datavalue":{"value":{"entity-type":"item","numeric-id":3677202,"id":"Q3677202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680677$1181B011-83DB-40DC-ADF0-E5C1B5CA227E","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":"Q1680677$19D17BB9-1D46-4720-975D-182B6811BBF9","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":"Q1680677$03A6941C-7718-4CDB-88B3-983BBB8CC1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680677$2B38835F-055F-41CE-97BA-853E01457DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd7f16cd69884c174f6c7f46366177d5c18429ab","datavalue":{"value":{"entity-type":"item","numeric-id":5394121,"id":"Q5394121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680677$B3A50090-A22F-4F95-ADBB-C0ED1C5BD9C6","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":"Q1680677$A01E52DA-A11E-40B6-BF44-09052DBC9550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"220fd6eef87a9561f1be1cd86ef6da30c1a22ec5","datavalue":{"value":{"entity-type":"item","numeric-id":2453743,"id":"Q2453743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680677$A0E7290E-21D7-4887-A106-D24C4DA00AEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fffec0ecc160b59b29e90a661b9ea40d3f01557","datavalue":{"value":"10.1016/J.ARTINT.2017.06.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680677$0FB348E8-DBBB-4BB1-BBA6-32EB4EE01707","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaece1a008a889408362390797c1b72877bc292b","datavalue":{"value":{"entity-type":"item","numeric-id":420824,"id":"Q420824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f94d984d5f7cb4bdfd0928f615ee619a5008dd64","datavalue":{"value":{"amount":"+0.7983914017677307","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":"Q1680677$4614BE6A-4BE5-43EC-83D7-842B9161220E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a5fa494991f02b61f280df336cc3486f072f1b1","datavalue":{"value":{"entity-type":"item","numeric-id":4559822,"id":"Q4559822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17742cc7b8917288a3bdd187297f42f731cb8c71","datavalue":{"value":{"amount":"+0.7727183103561401","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":"Q1680677$80194DD5-F1B7-4382-A1C2-9DF2AC665CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99fad73e556c6078851c399836ef5920b23a794e","datavalue":{"value":{"entity-type":"item","numeric-id":5169967,"id":"Q5169967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3149b1884bf535aa006c7fa4b9f9bbf53b8351","datavalue":{"value":{"amount":"+0.7688289880752563","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":"Q1680677$5C22D669-3971-46A7-9EC5-90DF51A6DED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85671dbf7a036f4d482b847ea5cf0cd1b6164d31","datavalue":{"value":{"entity-type":"item","numeric-id":4571139,"id":"Q4571139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"527c8a234e78b97b85f9eb89ae88022c2d6df6f0","datavalue":{"value":{"amount":"+0.7572826147079468","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":"Q1680677$CAE8C557-4328-4CA6-A857-7D5813453B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec821a7cf5d3422e52b10bf444c6441bb456d03a","datavalue":{"value":{"entity-type":"item","numeric-id":3112629,"id":"Q3112629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40061833f61c6a083d0de839b5dbb4465edf5c44","datavalue":{"value":{"amount":"+0.7486519813537598","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":"Q1680677$E6E619DC-93FC-4288-AF09-FDB99C7C0491","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A progression semantics for first-order logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_progression_semantics_for_first-order_logic_programs"}}}}}