{"entities":{"Q5437648":{"pageid":7467212,"ns":120,"title":"Item:Q5437648","lastrevid":50257997,"modified":"2026-01-13T16:23:02Z","type":"item","id":"Q5437648","labels":{"en":{"language":"en","value":"Calculating modules in contextual logic program refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5229051"}},"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":"Q5437648$643CDFBB-0203-4351-A48B-153E92EFA89D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c0ca6afbfd9d09a3331e28cb38551bc50194d24","datavalue":{"value":{"text":"Calculating modules in contextual logic program refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5437648$6BD079AF-B0ED-434D-B87B-194067043EDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"583d21acee082faa5f034e4cc45bf960a130149a","datavalue":{"value":"1128.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437648$411DC460-05EA-4EA4-83C4-656160D17320","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3d82a333c64070463e843eec7773d44116f2863","datavalue":{"value":"10.1017/S1471068407003043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437648$85E4CE61-0F39-4BD3-B48E-7D9E3FB827B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de7fb66b0206130190f243440decd1e8cf3e7850","datavalue":{"value":{"entity-type":"item","numeric-id":264525,"id":"Q264525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437648$3771764D-5A1E-41FC-BF97-F030CBC50238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffdb1dd75cd4312e715709efb5cc8beb218a80dc","datavalue":{"value":{"entity-type":"item","numeric-id":172105,"id":"Q172105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437648$57E076EE-AA19-4382-A44F-5358B24F31E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2c2dfba78a04b1615c287fc4b443b44d5dae01f","datavalue":{"value":{"entity-type":"item","numeric-id":1121799,"id":"Q1121799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437648$F0B7E735-9DE5-4E87-8D84-345EDCB7357D","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":"Q5437648$93B27956-D3E4-4992-A62B-72D2A7922702","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"affa7b8682af0f89ddbe03915b2eaa218ccb2331","datavalue":{"value":{"time":"+2008-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5437648$3AC8E8B6-031E-4CE1-88FC-4CDC34C58A15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437648$5961FA6F-9A01-47CE-8043-AB061CC85DA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"695757d2dc4730dfadfc9fb25dbf3df8e6702693","datavalue":{"value":"5229051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437648$0F61882E-6081-4AE7-9ACA-95265727D2D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437648$AC7B179D-6296-4153-A166-EE37BC30AB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437648$3E2773CC-A8DF-4534-A2BE-D29AA6155789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9b6344096dfbbfbc55cfa95e9e6f1e36700be3","datavalue":{"value":"modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437648$FF86359D-052B-4D29-85CF-F67ADAC87DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d668889f77f3e419bed3147b829f1a444275662","datavalue":{"value":"context","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437648$5D77DFBB-76D2-489A-91B6-157EC92E023E","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":"Q5437648$508C6F51-DA89-4655-A8DF-6B18A7016DBC","rank":"normal"}],"P223":[{"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":"Q5437648$35C24B83-D97F-4FDF-8660-5DF9481CDECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8135d2b21803eba4e4837602065847af8c31a6fd","datavalue":{"value":{"entity-type":"item","numeric-id":3787422,"id":"Q3787422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437648$721E62D1-39B2-48CC-B584-5B1B0F5D3C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ae1f7458e3f0cdce25ca8af73b5064d0f9b841","datavalue":{"value":{"entity-type":"item","numeric-id":4719365,"id":"Q4719365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437648$15F41FFC-5E02-4300-95F3-63E9A6873AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53440cca16a6ef961f218fe4842eacb47f0c2d45","datavalue":{"value":{"entity-type":"item","numeric-id":4365066,"id":"Q4365066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437648$F37F0A08-BA50-48C5-BE02-B1990EA2D079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c71b77f805aa2f59e3effe3d0f37ee4e240ea1","datavalue":{"value":{"entity-type":"item","numeric-id":4452605,"id":"Q4452605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437648$E8A67811-15E7-4EC7-8AA7-8C187488E13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d99c5a0e13ee889036714bc5394088e5f34dd18","datavalue":{"value":{"entity-type":"item","numeric-id":1111362,"id":"Q1111362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437648$3039C58A-94BE-43DE-A18B-4EC1CC2E7D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed7396d33acb5bffa89e4a8552f1e6bdaea2114","datavalue":{"value":{"entity-type":"item","numeric-id":3996676,"id":"Q3996676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437648$CBA82DE7-21BC-4136-B49F-91DF80E155D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d3c1095a3377e1038992d762da67d05a4253d6","datavalue":{"value":{"entity-type":"item","numeric-id":1370155,"id":"Q1370155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437648$EC03AE6E-AF5F-489F-86A1-3C2A46BF6CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77f245ea8916cb83f592d198c55741e96f6f763","datavalue":{"value":{"entity-type":"item","numeric-id":913482,"id":"Q913482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437648$1709C33F-8D50-4CD0-BDFA-9C6CA530289E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72f4cd06f14cec92bc11ac9489648fed3d138bc0","datavalue":{"value":"https://doi.org/10.1017/s1471068407003043","type":"string"},"datatype":"url"},"type":"statement","id":"Q5437648$51FFE67C-CB5A-475A-A1A3-270C7FD1F8F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac6b1ffc4bcaa323e2c4443b95f9f172dd5290a6","datavalue":{"value":"W2018701156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437648$1AA6D796-606F-40FF-885F-6831BBEA9F8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a2a9c6e13c18069753bd75884f331f4db799284","datavalue":{"value":{"entity-type":"item","numeric-id":4421869,"id":"Q4421869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d02d8904fa09bfb9c1933e7a45499a76853f2ce","datavalue":{"value":{"amount":"+0.8539117574691772","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":"Q5437648$E7E3BD16-1487-4EA6-834B-78B3B774AA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc38e2ce3f2eb8018e3b1ff5b6d70c3fd81a9f86","datavalue":{"value":{"entity-type":"item","numeric-id":5712544,"id":"Q5712544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae7eb95395aec4f1991c748586d689e6c678081","datavalue":{"value":{"amount":"+0.8251703381538391","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":"Q5437648$FE48E07C-259E-4D0C-9C93-76DBEEBBF21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524d090d085cff50384ab46fc0b59b96caa6d641","datavalue":{"value":{"entity-type":"item","numeric-id":3079921,"id":"Q3079921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43a4924fcee0052748bbd24cfbea53a843c32ab3","datavalue":{"value":{"amount":"+0.8170475363731384","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":"Q5437648$38105DE1-850B-4BC5-A514-A3F2D72F36CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d03a389a585267318fd7b7efea6a34800fc7f1db","datavalue":{"value":{"entity-type":"item","numeric-id":4250656,"id":"Q4250656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f16c897091a0e1cb7673de6c1323e56b9faedb32","datavalue":{"value":{"amount":"+0.8122259974479675","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":"Q5437648$7E070B3D-A3B5-4A11-BEF0-3A4D8E8A5BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95ac42d60317fde4c37666f10d986c26a4eaeea0","datavalue":{"value":{"entity-type":"item","numeric-id":4452605,"id":"Q4452605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b2cd12e57f4f13602c6c636db8da1487e6ca60b","datavalue":{"value":{"amount":"+0.8075578808784485","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":"Q5437648$A83555F0-48F4-4E37-9113-A45D5831BAD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5437648","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5437648"}}}}}