{"entities":{"Q671509":{"pageid":673358,"ns":120,"title":"Item:Q671509","lastrevid":63457701,"modified":"2026-04-11T13:17:45Z","type":"item","id":"Q671509","labels":{"en":{"language":"en","value":"A compositional semantic basis for the analysis of equational Horn programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983343"}},"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":"Q671509$C49705E7-AE8F-46E0-BAAC-2EAB39383EFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af089ef02bdb17c468baae9466e9d00837c0d17b","datavalue":{"value":{"text":"A compositional semantic basis for the analysis of equational Horn programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q671509$CF3200EB-6C05-4ADB-A0C1-CF6AD81325D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5ea633497143afd933701a65f8d8c4a48454377","datavalue":{"value":"0872.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671509$B439124C-8D6A-447B-9A7E-B6D635B8A79A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8970842a673609b8b4f65cfc200a9e4c06b19d61","datavalue":{"value":"10.1016/0304-3975(96)00043-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671509$194E8F26-650F-42A2-915A-5CCA4BF8A90C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9ad0f43ee1ceda3dd968cb3b2fb5c858da6895a","datavalue":{"value":{"entity-type":"item","numeric-id":671507,"id":"Q671507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$A6912189-B7D0-4318-88B7-70C78CC56D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b09c97087e59f31d60466ac7a1052c11eb3805b","datavalue":{"value":{"entity-type":"item","numeric-id":671508,"id":"Q671508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$3CBD651A-CEE6-41A5-A09B-3CF3E9A82364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"018a45413fbb8c9259001dc9c55f052d2b61eb8d","datavalue":{"value":{"entity-type":"item","numeric-id":232929,"id":"Q232929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$1E04C4EF-CC9E-4591-9F9F-986CECBC2BBE","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":"Q671509$9C987FCF-7677-43FC-9B85-F8F42BF9BE05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q671509$51698392-1A0C-45E2-B986-9213518CA977","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671509$EB49CEBA-590F-4716-AB46-F7E8EB6E22B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df3b07e8bc696e5b89631b826422347e2979bfa0","datavalue":{"value":"983343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671509$E5D9485A-EA61-4FA8-BFD7-1A226CF989DB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a7f3505c99349e87530cf701894887e8f560d0b9","datavalue":{"value":"Q57978309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671509$67090A5F-C8BA-41FC-9CA3-4BE2CF08FDDC","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":"Q671509$0BD98D9E-1502-4E73-BFE4-0977C140FCDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05dd34e2eacb4c27aba36246f10651d52b88df06","datavalue":{"value":"https://doi.org/10.1016/0304-3975(96)00043-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q671509$E505F5E6-1C4C-48FD-84F0-6D3344A4F4A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6e4684701c0a75c453cef07666e57683d0c2437","datavalue":{"value":"W2144678770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671509$F86C9F3B-3E72-487A-9005-A97AEE4A8A8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9501bb1d9fd85f6048bfce52d9f1953e608a8448","datavalue":{"value":{"entity-type":"item","numeric-id":1367535,"id":"Q1367535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$88DFD79A-E68D-4E43-A3B2-BD93A4E56DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f93e12e5c8311e36111a3ed76ba0731ada31828b","datavalue":{"value":{"entity-type":"item","numeric-id":4327430,"id":"Q4327430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$B1E21628-59FB-46F0-B264-CCBB99577DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44c6e7e80b07a37575fbc8d1ac7520b8e7e0ac6a","datavalue":{"value":{"entity-type":"item","numeric-id":4281615,"id":"Q4281615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$6E40BCE2-4342-4988-8413-9449541CFB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebde6df368bc765b1b73e843789713d69fe6cf0","datavalue":{"value":{"entity-type":"item","numeric-id":4537508,"id":"Q4537508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$3CC03D95-5D11-4748-AC30-DF8E7425D254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35ce0aa6eac29dc9bd7124592c7a06e0d61a021e","datavalue":{"value":{"entity-type":"item","numeric-id":5055753,"id":"Q5055753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$08D3AEAE-D24B-4763-B685-FB5EEEBC37D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5895fe8c663874ec5dc3c8cfbb2574a6b301c3","datavalue":{"value":{"entity-type":"item","numeric-id":4305628,"id":"Q4305628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$F5B039B1-015E-4C4B-AC49-CD13A7826D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$9D18BC77-D393-4500-B949-5CDC25610B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500cbf52815a505fa4470b3325353cce168f1a54","datavalue":{"value":{"entity-type":"item","numeric-id":5096204,"id":"Q5096204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$7288835F-EDFE-4A98-94D7-736A8DD9EA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e65838e11b69a484cdc09d1831c2c354545208","datavalue":{"value":{"entity-type":"item","numeric-id":4036549,"id":"Q4036549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$7AFC4E7B-E318-4551-BBF9-82F7E97891C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd833b39da4bbfb545ee75e04b0eab6b1bce596","datavalue":{"value":{"entity-type":"item","numeric-id":3821637,"id":"Q3821637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$E1A67E3D-A038-43F2-9CDF-B134CC1548B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604fc502056f8cc2ccfd9332e67d94de225503f6","datavalue":{"value":{"entity-type":"item","numeric-id":3789061,"id":"Q3789061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$9074311E-B925-4014-A577-672672449024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83880f170299ba13e2e839890cba27cc20df7932","datavalue":{"value":{"entity-type":"item","numeric-id":4305632,"id":"Q4305632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$71FC65F0-E3A9-4052-97BD-3F661E1819DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"913dd22989dceba9382b6f67d31dec69bfeb0a4f","datavalue":{"value":{"entity-type":"item","numeric-id":4327411,"id":"Q4327411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$C4F3737F-B027-493C-8597-8D0D8C4406E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60e52e7e288b65c32f8ca859cbd3cca69d32d89","datavalue":{"value":{"entity-type":"item","numeric-id":1801319,"id":"Q1801319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$D6270DB7-EE37-42E0-B4B1-C8F7C7969685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$392163B9-2B7E-4D89-9391-87004EDCB06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0f4aecd8fe96a47ff9e981931f2977397d21e1","datavalue":{"value":{"entity-type":"item","numeric-id":1202168,"id":"Q1202168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$9C8A138C-C073-405F-8744-1E309F4E7BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08494127cebe2a7e5cd00bb77f9a92192bb264cc","datavalue":{"value":{"entity-type":"item","numeric-id":3707362,"id":"Q3707362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$8CAA2F3D-8B4D-410F-9AB2-94FB7B608151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$00493F7C-7545-43B8-BD09-6806447E6A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd2158380546de1c47756c4fead8c0c2406dd1c","datavalue":{"value":{"entity-type":"item","numeric-id":3789064,"id":"Q3789064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$7F447707-02C1-491E-A904-B2544CEB7BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b3a3bbb3070928fbac1b871eab8deae4848ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1328184,"id":"Q1328184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$37BE596B-C9DF-4D61-A816-DBA93358239E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04bc46285c285bd5587f7f8b9ae32dc8b1cab95a","datavalue":{"value":{"entity-type":"item","numeric-id":1824412,"id":"Q1824412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$A3ACB4F9-840B-40EA-8A4A-372F7EFA33F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4c5df0a142e825f10aaf217015567d11fd8a99","datavalue":{"value":{"entity-type":"item","numeric-id":4038706,"id":"Q4038706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$FC761C8C-CAE6-4582-AE9D-D080E0EFABBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a5b2ddebd2ab0369854cad775c43938f5294ee","datavalue":{"value":{"entity-type":"item","numeric-id":3696486,"id":"Q3696486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$A29B0C15-4E53-417D-AB2A-3D0283EB5BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$BF23023F-57E5-45E2-90FF-2038EA270DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9732b89c1ec3dfa5b9fdbcbf606dc155ea9b940","datavalue":{"value":{"entity-type":"item","numeric-id":1124375,"id":"Q1124375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$74D59F5C-2F44-4251-ACA5-100C8D8BA1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$EFC3E721-0187-4924-A60C-1A46530F3778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75266cefea14a665e975dc94b31e82aaacc2ca10","datavalue":{"value":{"entity-type":"item","numeric-id":3357523,"id":"Q3357523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671509$257A9F0C-8540-4DC1-BF1B-850B577D5644","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc1af03088246f5f4c72ab2f8211bc68b3eb20e5","datavalue":{"value":{"entity-type":"item","numeric-id":4537508,"id":"Q4537508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e93c0af039e2822d751e093ccba459bd5d8796","datavalue":{"value":{"amount":"+0.9738639","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":"Q671509$3683E96D-2BAC-4566-B437-913945AF495E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55b00969f86fe530faa4e586293fa79f7de7f52","datavalue":{"value":{"entity-type":"item","numeric-id":1575175,"id":"Q1575175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fecf0a6f6fdc5bc94aa36d736309418298481970","datavalue":{"value":{"amount":"+0.8910601","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":"Q671509$58D4674E-869F-43AB-81EA-1742CEA3CF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e8bf6ae7dcb5f933891d727f7bc1ca20b064758","datavalue":{"value":{"entity-type":"item","numeric-id":1824409,"id":"Q1824409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4036201e306c2534ea8127c006011221d28660c8","datavalue":{"value":{"amount":"+0.88648343","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":"Q671509$AA727D37-3736-4A7B-B600-A866F4AD3D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daad16c12a610dfdfa00736e578af13909b8640f","datavalue":{"value":{"entity-type":"item","numeric-id":4205083,"id":"Q4205083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0201ec8dab90835cd5e7603f699f562ee32b6454","datavalue":{"value":{"amount":"+0.88234234","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":"Q671509$51444CF3-2CC1-46C0-81A4-BB6020BFC577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0967ea56a255f75afa3560b5cdf75cdd64e46209","datavalue":{"value":{"entity-type":"item","numeric-id":4592995,"id":"Q4592995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bce4243d2642f399d7c72b6adba44834c8cf779b","datavalue":{"value":{"amount":"+0.8820838","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":"Q671509$BBA0961F-34D6-449B-ADFD-9ABD768E4602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c174508f76de4707251972a7a81c38eedf5c6dcf","datavalue":{"value":{"entity-type":"item","numeric-id":5394623,"id":"Q5394623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d2c1b6720dc2b6bf6b3955c3709af4195f2cb40","datavalue":{"value":{"amount":"+0.8753137","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":"Q671509$1019B54E-6671-4CDB-AB5B-6502A7092864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3966dce8b90f1bca0716e4a59e5a5e2e044e6e","datavalue":{"value":{"entity-type":"item","numeric-id":4487250,"id":"Q4487250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2092b8808489afbbfa210d4802b6f89642f90174","datavalue":{"value":{"amount":"+0.8734575","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":"Q671509$EA5682CB-EADC-474B-8BF1-CBE09E1C21AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00aca7c03c64ed75a1eaf16ca34e9b3b51497b5d","datavalue":{"value":{"entity-type":"item","numeric-id":1314414,"id":"Q1314414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3e0bc58b2c476d9a82fe445ddec0979acaa7185","datavalue":{"value":{"amount":"+0.8694389","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":"Q671509$A9D7FB23-1247-4548-9A47-3447B8486250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61962937f0a80c9ef2ed7843a90035f59f3909fc","datavalue":{"value":{"entity-type":"item","numeric-id":1177928,"id":"Q1177928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6c262565d3acc082882abb17fc3dff01e7b255","datavalue":{"value":{"amount":"+0.86738837","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":"Q671509$98ACDE93-3FCC-4781-8B09-A32B7AE8B380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5080963c401e6f7873c09ff3ec91b988beb8dd64","datavalue":{"value":{"entity-type":"item","numeric-id":5713727,"id":"Q5713727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b893f710b0b02f5556ebdeba1855ee6fc5e8d68","datavalue":{"value":{"amount":"+0.8660654","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":"Q671509$71BA1073-3A37-4A84-8B00-44DBB6134BBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A compositional semantic basis for the analysis of equational Horn programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_compositional_semantic_basis_for_the_analysis_of_equational_Horn_programs"}}}}}