{"entities":{"Q671411":{"pageid":673260,"ns":120,"title":"Item:Q671411","lastrevid":63600378,"modified":"2026-04-11T14:16:05Z","type":"item","id":"Q671411","labels":{"en":{"language":"en","value":"Unifying wp and wlp"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983279"}},"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":"Q671411$8FFA6035-27A8-4BA9-BE13-E66D63D8C8AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bc7f25123b6a05edb36db37321c080e2767d6d9","datavalue":{"value":{"text":"Unifying wp and wlp","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q671411$9CF5B117-8F47-4DB4-99B2-34068B948251","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad2b1d564c4552f5a00bdaca4511a6cc8e645842","datavalue":{"value":"0875.68625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671411$9E31BE1E-36D4-4490-B095-32BA1A34CB6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbe883066d41b2d31d6ef31ecf7b1b2f2b834f99","datavalue":{"value":"10.1016/0020-0190(96)00093-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671411$176C8EF0-628F-40A5-8204-6A1156927C84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf440a1d97a3d3fa3fa9dbf8f55a722afca85620","datavalue":{"value":{"entity-type":"item","numeric-id":671410,"id":"Q671410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671411$C4C69A4A-928B-44B8-992A-8EBC90EAC37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"edb7994e252aa9cc656a1cdd08ac08e998723d93","datavalue":{"value":{"entity-type":"item","numeric-id":406450,"id":"Q406450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671411$79ABAAE4-4145-447B-9CFC-6118CC5C8361","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671411$C5AA347B-D997-4029-B958-1C2F69673709","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":"Q671411$EFE6FBCD-D6E5-4147-B00F-AE7B085BAC4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671411$605EC0AE-8997-4786-B5FB-313CAF9DAD57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fb2ce6049f78990273bd129fce4bcb71de2b044","datavalue":{"value":"983279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671411$1F939E63-B0B9-4284-9CFF-D87B5E08E8A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae53b53d17717319e621a0dd3ffb5abbf97171d2","datavalue":{"value":"Formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q671411$373F15A1-E7D3-499E-8943-CFFFFC622EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0991441c70d8fa144c6ed3ae0c8cdc9b88690cdb","datavalue":{"value":"Program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q671411$50D8C36A-058F-46DF-9263-223075593A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5fa2a14c8aa111d0a11a2bb6cfe008d5dd2e7b3","datavalue":{"value":"Weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q671411$5F0623E2-8872-40BB-87CC-0F627DEA8441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23ecb4148127045e2c1767c57fe70467bffa7728","datavalue":{"value":"Weakest liberal precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q671411$832F25BF-29FC-4B56-96AC-F6D241A69327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"650f4efb25855c0ee2cff5d2953150b7470ee40f","datavalue":{"value":"Egli-Milner order","type":"string"},"datatype":"string"},"type":"statement","id":"Q671411$F2E6ED1F-8604-4F98-AD9F-8B8F30667793","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":"Q671411$B7E1E7C9-8E0C-4845-B524-A633E1CD99B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da2582fb0b9c005e3382c15fc62adeab807f544a","datavalue":{"value":"https://doi.org/10.1016/0020-0190(96)00093-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q671411$F9BBE015-F743-48F9-B092-F4B8E3A2B504","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c84919167cbf0b46920fcab4603c52d93ba9a5d","datavalue":{"value":"W2010988783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671411$1E0AFB08-6BF4-487F-BFBB-516AFE5FEDC4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671411$29855DE7-E131-4749-8EC5-0590F1728592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b0016ef4b330eb172a6310caac5413e99655cd2","datavalue":{"value":{"entity-type":"item","numeric-id":1575253,"id":"Q1575253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671411$160AB5F9-3522-45FF-917A-786010E18D12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3df2062477e400153324e8a42104b32141a25c9f","datavalue":{"value":{"entity-type":"item","numeric-id":2265798,"id":"Q2265798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4a0e8b26ccb8e7bcb0e5a866713a73af73c7326","datavalue":{"value":{"amount":"+0.761732816696167","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":"Q671411$0A1AA26F-B854-4F46-B780-EAC614C57FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"120594338121a64e0fd21b43dee1d0022f4ebed5","datavalue":{"value":{"entity-type":"item","numeric-id":673132,"id":"Q673132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0642157b70368f0a4bce6f7e91c821b54771400","datavalue":{"value":{"amount":"+0.7397459745407104","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":"Q671411$3FD98537-676B-4D09-B45A-750EED95CB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65080f8a137be7172eb5221427a5078cf8841ca8","datavalue":{"value":{"entity-type":"item","numeric-id":5971403,"id":"Q5971403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aa243fbbf5ac9e83f7540e9a105b8d2a31313b8","datavalue":{"value":{"amount":"+0.7351444959640503","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":"Q671411$6D0FC1B2-6697-48CF-82E1-305A66AFCE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63a0e5b54895453883cb57dbbec709f98a7e6971","datavalue":{"value":{"entity-type":"item","numeric-id":541217,"id":"Q541217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf4acb6d66cc5a2016054832f7892ac077661f13","datavalue":{"value":{"amount":"+0.7261558771133423","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":"Q671411$96AB4226-84D6-4CA1-BDE4-301C468F2187","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unifying wp and wlp","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unifying_wp_and_wlp"}}}}}