{"entities":{"Q685395":{"pageid":687244,"ns":120,"title":"Item:Q685395","lastrevid":63459825,"modified":"2026-04-11T13:18:21Z","type":"item","id":"Q685395","labels":{"en":{"language":"en","value":"Proof methods of declarative properties of definite programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417339"}},"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":"Q685395$6010A979-6D8B-4A19-8649-05EEE7AFEE7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"489a0d53452a0cc30bb8c42f831f477cf9c34dfc","datavalue":{"value":{"text":"Proof methods of declarative properties of definite programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685395$33AC1DA6-336F-4272-BF99-93342255161C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f9abca4b3a22556554fe4a95de1c43b5e143684","datavalue":{"value":"0783.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685395$3571CD73-A64D-4280-A8E5-0D0B5070295D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f3c45c52a4397b510640f407dcb4410131fdd4d","datavalue":{"value":"10.1016/0304-3975(93)90107-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685395$ADB243D4-B33C-47FC-9704-BE142A52406D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c020a398267f1b5d5c69e41a26485d79cbb396dd","datavalue":{"value":{"entity-type":"item","numeric-id":685394,"id":"Q685394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$B1D0AAF8-BF6F-46CD-87EC-4A0BC0762C1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$2FA8DF28-A78F-49F7-B842-89872634F86D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5d5d80124618b4b849ae8887ce170d373033db8","datavalue":{"value":{"time":"+1994-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685395$EFE4E129-090E-4E25-AADB-482D30760023","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"008e35d9438553cb01df0439099467370f16e781","datavalue":{"value":"https://hal.inria.fr/inria-00075310/file/RR-1248.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q685395$8F5AA938-B620-4973-94D4-D87109D827A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685395$D1C5018F-625F-4BEB-B8D6-998724D0C055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685395$3E57CB58-DE26-427A-AD9B-A20752D7728F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2165a99386fcad6ef65d621fe07bfa687f77f8a","datavalue":{"value":"417339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685395$EA82D07E-D057-40E2-A37A-C8DADD85A932","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e52651d86bd928642b35029f281b03a0386f881d","datavalue":{"value":"partial correctness of a logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q685395$FAD31634-72DB-43CD-9D55-409DE03737F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q685395$98172D45-02B6-4F6B-8B91-83855F8ECBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12ebafd4cb47dcf63373c0f8ea9a786dc43d1a60","datavalue":{"value":"attribute grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q685395$61D2F1D8-C96B-4B22-8617-58A25AF34EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b14ef98fbe79707b9a7c1e903f0acde49c71089","datavalue":{"value":"inductive specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q685395$748D9035-DCB8-42E1-948E-E09F6FB992BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"523e0b530733c0103b702b1f81f4acc0f2a76f4f","datavalue":{"value":"annotation","type":"string"},"datatype":"string"},"type":"statement","id":"Q685395$22F127B2-6567-4478-95C7-FCFFE538BEF5","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":"Q685395$95DA3A49-E6C8-4EDD-91F2-908A5285A647","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee87af8384ed768f0b8aafd947a8d4cef104aef1","datavalue":{"value":"W2094612221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685395$FA7B68FC-3E53-4467-AA5F-E85845688E6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8312a0631653665978e88f5697dcfc69d08e9a26","datavalue":{"value":{"entity-type":"item","numeric-id":4428289,"id":"Q4428289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$FAFFF5DD-94AD-4DF7-A837-6026279998E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$E17770E0-2C6E-431B-9D56-3C5BEFFA9E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62dfd3e6e3c1000b13756aaff1625fb3e5db0e21","datavalue":{"value":{"entity-type":"item","numeric-id":3657412,"id":"Q3657412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$EC82A04F-69F2-42AE-A37D-3E1FA0AF1418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c471d4c0c4f71a1729d77ae744413d194028613b","datavalue":{"value":{"entity-type":"item","numeric-id":3201746,"id":"Q3201746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$DF9754A2-47B8-4B3B-979F-9000357397A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d91a792c3f5958d444e95b19112ae08c0cc6b4b","datavalue":{"value":{"entity-type":"item","numeric-id":4015950,"id":"Q4015950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$D3863B09-3662-4E01-B73F-B995B9841385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f1869c19dff016cb926d6baaa8f929f7c4eddb","datavalue":{"value":{"entity-type":"item","numeric-id":4138099,"id":"Q4138099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$C77E6BB8-D49D-4AC7-B1E6-71E68546C577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f241207bb39341afad681685e7fc2b817c7ff774","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$CC69974F-D280-456E-82BA-5DA9B09DBAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$C77F685B-3537-456C-A06E-4CB49C8E8F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49e3500c8ec4b09021b315d1be8ac209942586fe","datavalue":{"value":{"entity-type":"item","numeric-id":2640347,"id":"Q2640347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$7DA0B92C-8FB5-4595-A396-500F76C89CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ed8d768b1c3510027096ce1b7756a74ca03732","datavalue":{"value":{"entity-type":"item","numeric-id":1186100,"id":"Q1186100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$66626839-F037-4965-A52A-30F85A60080A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"756294b383837f7573b526f9ef4670c194404da4","datavalue":{"value":{"entity-type":"item","numeric-id":3830550,"id":"Q3830550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$CBAE272D-8ABC-4876-AA64-5F994C932D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3653f59c103e3bb9a8e60be9b05df00b7b4259","datavalue":{"value":{"entity-type":"item","numeric-id":1210829,"id":"Q1210829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$0FF4EAFA-76D1-45D5-AA68-16E2EFF440B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"094f75834ec2698d4c23148de89082e769731a2f","datavalue":{"value":{"entity-type":"item","numeric-id":3711779,"id":"Q3711779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$4E78E348-D805-4C4D-A501-AF6DCE9E1102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64be7dbad9065264a1a179f07b513a9a762fb4a5","datavalue":{"value":{"entity-type":"item","numeric-id":3204030,"id":"Q3204030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$FA3D520C-D3C4-450B-9D49-1C1CABE03F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0db4b7623e484d401f72696443649dd0b4416f58","datavalue":{"value":{"entity-type":"item","numeric-id":4875865,"id":"Q4875865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$00E00013-179C-435A-B828-0AD450213472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8e99f116514106e68ae9cb033244e0968df00af","datavalue":{"value":{"entity-type":"item","numeric-id":3761666,"id":"Q3761666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$1CF8AB56-4880-4573-8F6C-C75D31C64E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf0e2e6509392464c0e3bef27385ef4d4baa21d7","datavalue":{"value":{"entity-type":"item","numeric-id":3698285,"id":"Q3698285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$1DA94FD9-D5E7-405B-8950-005214C03EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4aacb26a2f6eb48ad6441a165669579076c7401","datavalue":{"value":{"entity-type":"item","numeric-id":3916005,"id":"Q3916005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$8730F0C8-84BB-4F81-A62F-FB2C5CC9E206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16817248f51049bc55fbeaeed7ffe8b77ff3739","datavalue":{"value":{"entity-type":"item","numeric-id":3198864,"id":"Q3198864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$4C5A6565-FDA2-45EC-8821-CE1A0A8CAF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$0508943B-B1CB-4FB5-98A4-3E38052BCF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$47BCC6F5-AA98-4F4F-895B-0AAF1FA48BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be8c0966fcef61d518749b07930f255b555f362","datavalue":{"value":{"entity-type":"item","numeric-id":5624635,"id":"Q5624635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$9D8DD9C3-9C10-4DA6-903D-12CABFD580AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b5ec7b36ab9f9a9396a2be7f7246c57825af23","datavalue":{"value":{"entity-type":"item","numeric-id":3742689,"id":"Q3742689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$B425B8F7-6EED-4FF4-8577-8F462A0ADF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$471C968C-7DD3-4F51-AF9C-A624591D91C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458a053d953036a9b5e85b0f748e6c3fe97f80d2","datavalue":{"value":{"entity-type":"item","numeric-id":4728222,"id":"Q4728222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$DB7C6853-D179-49DD-9C8F-CF1E44954060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377324767631186c74643cd4927092bc831167c8","datavalue":{"value":{"entity-type":"item","numeric-id":4139636,"id":"Q4139636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$C19F19B6-03F9-43F9-9D0E-FA7EFE231683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d499eb2cabf47d9cc970d9285cfe7acf2f7c71","datavalue":{"value":{"entity-type":"item","numeric-id":5624673,"id":"Q5624673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$8B736673-2F53-4434-8D38-ABD5B4F8BD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e19a8839f4a8794351c3d2bb45f6f1e81e4095d","datavalue":{"value":{"entity-type":"item","numeric-id":1143818,"id":"Q1143818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685395$87A9777B-09D4-4332-8D69-8CC0A4FBD64C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3291d51f91ffa99d748f859f093a3ddfaa21724","datavalue":{"value":{"entity-type":"item","numeric-id":5472879,"id":"Q5472879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09c780023c430a4b7ca47bc5df0376b1844ea7b2","datavalue":{"value":{"amount":"+0.91182363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685395$8A416B71-B224-45EA-A871-B1A08B6EB8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"608620170593ad619f06b2819a60970a671696ff","datavalue":{"value":{"entity-type":"item","numeric-id":4471724,"id":"Q4471724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a7271cd730b10f27461b8f497282ffdd23a8d2","datavalue":{"value":{"amount":"+0.90037584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685395$BCFF7B0F-E5C7-4DA9-967B-33D2ABDF5E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9ddfdd0c0639e442b2aadc92973a7dfa0dd16ad","datavalue":{"value":{"entity-type":"item","numeric-id":4733861,"id":"Q4733861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"294034a8b7c0729202aab0332c496732fde76015","datavalue":{"value":{"amount":"+0.8977984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685395$278ABDFD-24AB-453D-A12D-4AB70AE9AE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"787bce44c26bfa68c4bdd6a337d32f1925d9a163","datavalue":{"value":{"entity-type":"item","numeric-id":3757915,"id":"Q3757915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc27d5fa2f4a35e9fe71d82b2f2b60e7af57e1c0","datavalue":{"value":{"amount":"+0.89779836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685395$7A92BD9F-7E2B-465C-A536-CCFAB61E2ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d8068e23ea20162c700746f9d165209e24f53b1","datavalue":{"value":{"entity-type":"item","numeric-id":3219093,"id":"Q3219093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47eb73ebf94d5c9c02b875e08ec7cc5260524470","datavalue":{"value":{"amount":"+0.8976356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685395$DD93F675-D28F-47E5-BF86-8BF4852BFF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a89dc3f8b9c614d3c47ec807c896f5b07eb80c1","datavalue":{"value":{"entity-type":"item","numeric-id":3138828,"id":"Q3138828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47eb73ebf94d5c9c02b875e08ec7cc5260524470","datavalue":{"value":{"amount":"+0.8976356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685395$07539A68-CB07-4015-84AE-D1E19ECF3C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d3a255266f36191915db130af5af18c5f18eb5","datavalue":{"value":{"entity-type":"item","numeric-id":1271855,"id":"Q1271855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166d415bc04991b8eaf5ffb17cf010be0e94741d","datavalue":{"value":{"amount":"+0.89226454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685395$BBBDDF51-3DED-4CC1-9377-A72DEA9A7DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d740405a23d8765fbba6189aba6c7231ef7612","datavalue":{"value":{"entity-type":"item","numeric-id":1183798,"id":"Q1183798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fbbcd5873dffc9c357a9b1ac416c3a0fabd1d2b","datavalue":{"value":{"amount":"+0.8866437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685395$8070B521-87AE-482E-9C54-03563D920955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffef1ed127ad9369fc48c5a295ce02bd075430da","datavalue":{"value":{"entity-type":"item","numeric-id":6085973,"id":"Q6085973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b84c08ef65a1097652fa66bb7cf2774ad536459","datavalue":{"value":{"amount":"+0.8830112","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685395$F96A3B9A-26BD-49C7-BEF8-1D431911E4F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof methods of declarative properties of definite programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_methods_of_declarative_properties_of_definite_programs"}}}}}