{"entities":{"Q668250":{"pageid":670099,"ns":120,"title":"Item:Q668250","lastrevid":78187709,"modified":"2026-05-06T10:59:44Z","type":"item","id":"Q668250","labels":{"en":{"language":"en","value":"A fixed point theorem in partial quasi-metric spaces and an application to software engineering"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7037763"}},"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":"Q668250$238430B0-5631-4EA8-BB21-D5D8FD094639","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c68ca5f9f28f834b9141ecfc0b028eac1bc1f61","datavalue":{"value":{"text":"A fixed point theorem in partial quasi-metric spaces and an application to software engineering","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q668250$94878567-DB95-4234-9D22-E6E57CE4BEF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d57ff674690e2fa4dedcd98cc11d88bfd6794326","datavalue":{"value":"1410.54051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q668250$F15701FC-D31A-4D47-9246-1D9C765AA9ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e2a9ecac369d253f5e4051ba2082bd4f3bacdc0","datavalue":{"value":{"entity-type":"item","numeric-id":265233,"id":"Q265233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q668250$D3E6F5C4-B148-4F30-AAE9-0A74EAECC818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7cbd71c775b9fd4797b0a2e0e048835167bbbbd","datavalue":{"value":{"entity-type":"item","numeric-id":184947,"id":"Q184947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q668250$570210A7-A5E5-4E47-9CD6-2D52CB890707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61dfdbe28352e39273102969764010e51381382a","datavalue":{"value":{"entity-type":"item","numeric-id":266306,"id":"Q266306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q668250$805A6C98-92DA-4ABD-A6AC-74EF115EA958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39f0750f378b39f97ed34af701f58a8aafa62bdf","datavalue":{"value":{"entity-type":"item","numeric-id":262478,"id":"Q262478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q668250$751FF38D-8984-4891-96E8-39DF035FDA1F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"add6fb6b993c46c88f8cbd1c0026e2e785c9381d","datavalue":{"value":{"entity-type":"item","numeric-id":70476,"id":"Q70476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q668250$B39FAA44-272E-4E8C-B71B-5D27843B3AEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9dc5cebdcc6e7f765a3223544a9d2c2b5eef3c81","datavalue":{"value":{"time":"+2019-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q668250$A68AABB2-932B-4B09-85B8-F1AACACD4CBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"be4cd99f0aaa2688661b2002577944d759906919","datavalue":{"value":"54H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q668250$9E32E0B8-DE84-49FE-B1EA-22B858405178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d3298214cb032d91ebd405c9f55d8e4bfff45f88","datavalue":{"value":"54E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q668250$856FE3E2-D08B-478A-9667-0329FEA73A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae96d749ed729f5c3d9ba235c923f35a27a788f5","datavalue":{"value":"54F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q668250$70E0EA5E-8A39-4DF4-8DF6-1FB408FA5A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q668250$1799DEDA-4FFC-4EA4-94A6-76AE0F1E4532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q668250$187B622A-4B05-46EB-BDBB-277E8493ADEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q668250$40FDD399-823A-4B9D-9662-08452B319CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q668250$D3797563-702F-4B79-BE55-2CC2BD06FEB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6f7b6cc97a4cd85bd2b261824805fe63cabe311","datavalue":{"value":"7037763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q668250$35CE722C-A0A5-4A50-91CB-EDF9600FC4F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b6b3df38033638415f41f65a2bb10af76c5c7d","datavalue":{"value":"partial quasi-metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q668250$C92EBA23-7D6A-4FDE-B31A-A1EFE03B6F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e32f48c2174a49b39059113dfdf68348c72d9c79","datavalue":{"value":"quasi-metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q668250$A75829B2-0CB4-49D6-A9A4-6FCC958F2FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"564ab799f795a506128c19c4f59f7d1f80d25fcc","datavalue":{"value":"partial metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q668250$EA480022-F8B2-4307-BA94-33C64B7BDE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0da0f5147540e5ff9abe1a7fedfdb0d575bb38f3","datavalue":{"value":"partially ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q668250$C7657B70-57C6-44CA-95D6-E6BD2DE29A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4780b02cfc7bc35a586062e3271a9f52fa94f067","datavalue":{"value":"complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q668250$BB6E6F6D-D1DC-46A9-8B7D-E7F3D47A7C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q668250$DD80EAA6-DEF0-4A4D-B696-089ADBFF43EB","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":"Q668250$883006EC-76EC-439F-8243-807CE08DCA57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0ef0c39684e2c624e7ffeabb67025dccbc1b755","datavalue":{"value":"https://doi.org/10.1016/j.amc.2015.06.074","type":"string"},"datatype":"url"},"type":"statement","id":"Q668250$94F0B8D8-B2F3-499F-83F9-9437AE3367E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"634ce4a8a0e3f24ff45ab0ed0a5e83ce9a3a5410","datavalue":{"value":"W1094653129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q668250$3BD4EDC7-3751-4B91-9F2C-D7388E78E041","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f11f763101e21910ef249027ae2a926501bda4f","datavalue":{"value":{"entity-type":"item","numeric-id":2017395,"id":"Q2017395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q668250$CDD03A8E-269E-445A-90AA-2B9DA081131C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69015927e412fc12323819aee166235fd89b4e7b","datavalue":{"value":{"entity-type":"item","numeric-id":692921,"id":"Q692921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q668250$1A5C7D93-9CF9-4EF5-8F49-44391A88410B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q668250$8E2DB076-154E-4586-BC45-E5036D51623B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a39544d65bcfe61edfe00a23dbc9a0a72aad8f","datavalue":{"value":{"entity-type":"item","numeric-id":2450484,"id":"Q2450484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q668250$70D2FE27-2257-49A8-BFD8-50CD9E6F7C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb5f11cfeb4ae440a73943249f11d4731a6b7820","datavalue":{"value":{"entity-type":"item","numeric-id":4546500,"id":"Q4546500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q668250$0F329A5E-7154-486E-BA2A-859618A5FF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e0c7236b1afe846860e44f1fd579c7a7073bbdb","datavalue":{"value":{"entity-type":"item","numeric-id":854183,"id":"Q854183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q668250$50585143-D8B9-4CF0-A19C-CAA53CA1FDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"243ed6f1bbf9fe5996d19f8f7f1b87de1e93d7a2","datavalue":{"value":{"entity-type":"item","numeric-id":4228829,"id":"Q4228829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q668250$6F15C3BF-F566-48B9-A6AB-5FBA67E53C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7662b5735b32817d95622075b0e896a7f4a6220b","datavalue":{"value":{"entity-type":"item","numeric-id":3539342,"id":"Q3539342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q668250$E1B26F1A-5EA7-4D13-B295-A39E8A17B486","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":"Q668250$15916DA7-398B-4DE5-A220-5F7289025DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24eefd50b2feae89f79da16a9ba3b24c2569f281","datavalue":{"value":{"entity-type":"item","numeric-id":2319341,"id":"Q2319341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q668250$F3E9B95E-01BB-481E-BEF0-2EDA17B40425","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22905aae7bf728c7f0ff2b1cb429f7919efaa729","datavalue":{"value":"10.1016/J.AMC.2015.06.074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q668250$DFE68B32-4C6F-4BE8-A543-0FE8515EB99E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7cc6cad6e08cf6861d59287a3d8703a59f0fd7d","datavalue":{"value":{"entity-type":"item","numeric-id":266307,"id":"Q266307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"908f142efe99e5524081858293080056218a9303","datavalue":{"value":{"amount":"+0.8599140644073486","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":"Q668250$FF47EB0C-41BB-4E1F-99F5-C96741DC42C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a14847b779b6802749eb3b40c81d9fad37df04d5","datavalue":{"value":{"entity-type":"item","numeric-id":2252670,"id":"Q2252670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f64c83e7d7874f68ca2d8ab782d8ad927ec350ca","datavalue":{"value":{"amount":"+0.8548480868339539","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":"Q668250$5CA481CE-233D-459F-958B-FC4391A19983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eb4375d77f2f88e747397bc2e8c52321dd00e3a","datavalue":{"value":{"entity-type":"item","numeric-id":2319341,"id":"Q2319341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d74d2d6b64ce962caaa48113ae7385da6abd90","datavalue":{"value":{"amount":"+0.8405830264091492","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":"Q668250$10D053A6-2F91-4251-84B3-4CA684D8FEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee83d487a150e9c442e5bafd57d5a9092645347","datavalue":{"value":{"entity-type":"item","numeric-id":2017395,"id":"Q2017395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a43932a11cd00aab6f3add3ad0571047b56938d3","datavalue":{"value":{"amount":"+0.8356226086616516","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":"Q668250$691CBC66-C255-41BF-9112-C6C3B6B827A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fad8407b43d63b2c2c4a1bdb07fdc9c70e691d3e","datavalue":{"value":{"entity-type":"item","numeric-id":692921,"id":"Q692921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d16ccd3fcc3a563d14317b96c11fc89acc5143ec","datavalue":{"value":{"amount":"+0.8320112824440002","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":"Q668250$B2346642-997D-4D15-A660-78B818E60D9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A fixed point theorem in partial quasi-metric spaces and an application to software engineering","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_fixed_point_theorem_in_partial_quasi-metric_spaces_and_an_application_to_software_engineering"}}}}}