{"entities":{"Q1805400":{"pageid":1816142,"ns":120,"title":"Item:Q1805400","lastrevid":43338509,"modified":"2025-07-24T21:31:33Z","type":"item","id":"Q1805400","labels":{"en":{"language":"en","value":"Exits in the refinement calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 754284"}},"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":"Q1805400$561F4C3E-68B7-4BA1-AC9F-3CDAEF0435B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01735f369b53636206fcab81ba4997c9eb6af2c8","datavalue":{"value":{"text":"Exits in the refinement calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1805400$0165A6DE-06E0-49D5-8DB1-D2D69CFAAD61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7efb088b96fd12687756637ee1ac6184dee1f60","datavalue":{"value":"0817.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805400$E5B64BAA-6DAB-479E-8B0D-6F37418774F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f655a059531f06dab0141c60a6c1a23850d43257","datavalue":{"value":"10.1007/BF01214623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805400$D9E33014-E71F-4345-A6FD-55F8BCBDB2B7","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":"Q1805400$C5E4A396-7249-4236-BEF8-823506FD9320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f873669a3827a1de6420d8ea2364ad081b4b85b8","datavalue":{"value":{"entity-type":"item","numeric-id":450093,"id":"Q450093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805400$A52289AA-5EEA-4F4E-BC16-754569B69F3E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805400$C7486296-A9C1-4069-8A95-2DEF1AEC77D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"988f00ba557ba8646bc38d7c65efb145608ede4f","datavalue":{"value":{"time":"+1995-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1805400$3829BB61-79F5-47FF-A41C-38B546DF1FEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805400$2BA5B8A6-EA2F-4E17-BB17-16C66D03E285","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee42eb8b74ea0f7d9fc3c0470a6bf958ea258d75","datavalue":{"value":"754284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805400$FA5F14A6-DC68-4BCE-A832-4B94C7BE85BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c903d92089dff22847abd0832e98862d75362d91","datavalue":{"value":"exception handling","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805400$07BD671F-382B-4DE7-A070-2E27152B2395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e17a7cb8710771acd5402f91cff6ae2c7d64aa","datavalue":{"value":"refinement calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805400$CE07EED7-C8DA-44FD-90E0-BE9E02B538D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199c60de1e7b1805727a447210896226c6321a81","datavalue":{"value":"weakest preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805400$E513A9A8-F615-4DC8-8DD7-564166547CD3","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":"Q1805400$C561ED43-D9EA-4027-85E6-446B4CE1FE6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7469a14c6b3d5214a08da9b6d9960375ad8bda98","datavalue":{"value":{"entity-type":"item","numeric-id":3898009,"id":"Q3898009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805400$87B490B4-1B5D-4EB8-B21E-0769A39D696E","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":"Q1805400$1307E654-32FA-474B-B3E5-7F4CC54F3895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b404367c1839caf0474d9669e49829d92c6667e","datavalue":{"value":{"entity-type":"item","numeric-id":3314964,"id":"Q3314964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805400$A24DF82F-4B96-4861-A309-5E1EE4DF031A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805400$5BA4E191-C00A-43D8-94D2-CE4000B2989E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805400$E553512D-7BD6-4023-8396-151FEFEE1A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805400$7ED5636C-5FDB-4B4D-B6C9-488CBC049BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8405a36a045f8dbf5e1a1333d3105f85c8134628","datavalue":{"value":{"entity-type":"item","numeric-id":4281672,"id":"Q4281672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805400$C3D88DDF-7253-4422-B35A-387CD8BE1599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db45f234f354c516e6967660fb11814401792350","datavalue":{"value":{"entity-type":"item","numeric-id":578892,"id":"Q578892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805400$C9341629-5653-4FD7-84FA-D8395AA31E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30331b0843d8fad412757315603331be3191b0d9","datavalue":{"value":{"entity-type":"item","numeric-id":4711615,"id":"Q4711615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805400$4EAC71CC-F92D-41DE-9843-4D56943ABB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15998fc27875a7fcdcfdc8f6834c29e75deb8865","datavalue":{"value":{"entity-type":"item","numeric-id":913477,"id":"Q913477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805400$7B64DF57-07DB-483F-9A50-D9BA41C7F521","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd017e3633d90200e212e44f78a67bb10e20720f","datavalue":{"value":{"entity-type":"item","numeric-id":4508314,"id":"Q4508314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9998f5f58d7826086a5269b6df6be1e88e0946dd","datavalue":{"value":{"amount":"+0.86312324","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":"Q1805400$6CC55947-C2B2-49CE-ACFA-51A09C3FDFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dddef22978459d2b01a999c49af777dfeea14e0","datavalue":{"value":{"entity-type":"item","numeric-id":3612622,"id":"Q3612622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05623b190a52176cc91daed038b78e6f01eddd9e","datavalue":{"value":{"amount":"+0.8516058","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":"Q1805400$758DD750-076A-4E9B-AA53-51715E4A41F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d762ba8246b4840ca1c763bc6118e4a112406c12","datavalue":{"value":{"entity-type":"item","numeric-id":4808738,"id":"Q4808738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7be8dc565712ef42bb08b70559aef5623e81e3ae","datavalue":{"value":{"amount":"+0.8504223","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":"Q1805400$FC16C978-7660-43D8-BA13-570F41370504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da6a5ce7825ab26d48fc106dcad6db83ad06bf8","datavalue":{"value":{"entity-type":"item","numeric-id":4328055,"id":"Q4328055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09214c5ca56ace87fdda2bd1ae95040aac0b5d93","datavalue":{"value":{"amount":"+0.8494009","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":"Q1805400$3662D986-5F0A-4D7C-A4BB-BDD2464ED68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b93737dd207056426cade4e5dba1254ba6edf5","datavalue":{"value":{"entity-type":"item","numeric-id":4457836,"id":"Q4457836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b068e5a3e415339f8e80b4ab589556310407f46","datavalue":{"value":{"amount":"+0.84742105","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":"Q1805400$41B133F0-9A9F-4BB3-8235-B223A4771FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ee5105ce557480702c4228fc94eceba0497db4","datavalue":{"value":{"entity-type":"item","numeric-id":1111362,"id":"Q1111362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4c4c9a2b3701f77e660b92017ec720f097d53e5","datavalue":{"value":{"amount":"+0.83838874","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":"Q1805400$B710271A-B6AC-4220-B8A2-40EA0FA98AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd7c2a02b3bd3c3395f5f9e39a4a7295b850b07b","datavalue":{"value":{"entity-type":"item","numeric-id":5477662,"id":"Q5477662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd3e269f4ea09e6ae4c07a5fba197c6d590db9dd","datavalue":{"value":{"amount":"+0.8357496","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":"Q1805400$B1D3A9E3-5DAF-479B-B040-21FFCA40C2F8","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":"a9fc0c2829cd305af9ad88840c5409da33aec7ee","datavalue":{"value":{"amount":"+0.83481634","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":"Q1805400$75E8A5FE-4D03-45A5-B235-7C5F0FC9BC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ba73783ec02525e9f92a8ca1de18bb021a0f44","datavalue":{"value":{"entity-type":"item","numeric-id":923890,"id":"Q923890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1858131297e6a5d3051d99e805e54917e936363d","datavalue":{"value":{"amount":"+0.8343394","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":"Q1805400$9BD65C3E-71DC-4F57-9753-C3D0FCAB45F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66fc93fef7a3c08f204d2aa612b2ea5c608ce45f","datavalue":{"value":{"entity-type":"item","numeric-id":1369097,"id":"Q1369097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"674d2469054e2226443a26f6b7fde4e0777d1295","datavalue":{"value":{"amount":"+0.8310183","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":"Q1805400$6E2519C8-9716-49C1-8E36-1458AC48992B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1805400","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1805400"}}}}}