{"entities":{"Q4921505":{"pageid":6951087,"ns":120,"title":"Item:Q4921505","lastrevid":51713144,"modified":"2026-01-19T15:38:42Z","type":"item","id":"Q4921505","labels":{"en":{"language":"en","value":"Syntactic type soundness for the region calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6162144"}},"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":"Q4921505$DEFB722F-E3AD-4810-A192-457ED20D4CB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15fdef0c5de2bee5391cfaf6b298d8833d8b659d","datavalue":{"value":{"text":"Syntactic Type Soundness for the Region Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4921505$C775F02C-AD34-4FD1-99DB-EA7F8860B3FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d91216f5f97d60c8d3419b3721d800d1f68d56c9","datavalue":{"value":"1262.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921505$8B976E1E-73CC-462F-8917-AC3E972B51D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"750c6d7a4bc847fb97439d2f818675c7d6e59aff","datavalue":{"value":"10.1016/S1571-0661(04)80870-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921505$881DB64C-5E12-4674-A5F4-544D3A3F4735","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a50d913d1128f41e9a61785d41010b4144b0015a","datavalue":{"value":{"entity-type":"item","numeric-id":526443,"id":"Q526443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921505$94273610-1B15-4B09-A4C3-B9C32A22813C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ce1dc6c43a12a4348d756dfff7a4efae2ef8c07","datavalue":{"value":{"entity-type":"item","numeric-id":1854514,"id":"Q1854514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921505$732B83E2-4BAE-4E2E-8C97-7DA54C20D10A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921505$6AE7090A-721A-4771-BBD6-3014EC194B74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bcee510111679fcd7197118580cf67e59ca48dba","datavalue":{"value":{"time":"+2013-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4921505$0FA31476-855D-413C-B25B-DAF897A5859C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921505$2DCEDC38-6427-4FF9-B641-129E672EF308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921505$7CE729F2-94E9-4B09-89E8-D69669C6981D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8adf59b22a1a8a36e0673c00efe5c4bc615af7ab","datavalue":{"value":"6162144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921505$3C7A472C-34B7-4A63-ABC5-4CB443BDA16A","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":"Q4921505$FFE0DD0E-2CD9-425F-AEF8-CB02D3AF8927","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"785c46a0f1f22e75e02f3e7359d0bd2b4663936f","datavalue":{"value":{"entity-type":"item","numeric-id":5714452,"id":"Q5714452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921505$DE8EC470-2BF7-4777-AE43-C5D4EA46CB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dea75966d29618d57f3e05efb6f1cb4e0c0000db","datavalue":{"value":{"entity-type":"item","numeric-id":5178882,"id":"Q5178882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921505$1393A938-F003-4C96-AF44-2432339683AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921505$FDFF3E5B-17D9-484E-8A74-C6F10DE8619E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14199d752f4bebe689aaa85d75a54b5e20dfe3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1199538,"id":"Q1199538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921505$8429C994-4D80-4072-A901-6C16D0FFD0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7fbcba63b63f678d7abb28ec79bea44822ab34b","datavalue":{"value":{"entity-type":"item","numeric-id":4366769,"id":"Q4366769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921505$833E57C8-957F-4BFB-9411-9BE369A1FDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921505$95ADFC0D-1B1D-4471-B8B3-1F3B30DBD600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7870a038e1502bdb263b4bf7c45a07f42ba546e4","datavalue":{"value":{"entity-type":"item","numeric-id":676777,"id":"Q676777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921505$DF95DA6E-92A2-431A-8B96-52262AD1D195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921505$8550EF93-3E53-4E70-89DA-17C9E3D02372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee781de6d60c6143539a68a40580ba40e30fe939","datavalue":{"value":{"entity-type":"item","numeric-id":4536340,"id":"Q4536340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921505$D8CC5D8D-C187-415D-AE7D-283695F3DD92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c880d310ee92ccb53413e8b36e86b9cfc8683d61","datavalue":{"value":{"entity-type":"item","numeric-id":1854515,"id":"Q1854515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd25a0b472c7cecd433acf1f59b76e290c79d088","datavalue":{"value":{"amount":"+0.9795305728912354","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":"Q4921505$D5E16CE8-1031-4675-9CFF-65EC2A8065E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e5401ff275df95f9a39aaf8d812cbf75ba8b759","datavalue":{"value":{"entity-type":"item","numeric-id":5178882,"id":"Q5178882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d356f93913f567e7d23b7fea251c952fa372d01","datavalue":{"value":{"amount":"+0.8465607166290283","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":"Q4921505$87CE56C5-CE67-466E-A0CB-6DB46BAC82B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce8bd32221d2b4c45a12a57f27551b7c678f01af","datavalue":{"value":{"entity-type":"item","numeric-id":5458390,"id":"Q5458390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48bb15139ee2e5729619e438df771c3554ebf0d5","datavalue":{"value":{"amount":"+0.7923299670219421","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":"Q4921505$A4DBB15B-C74A-4444-AD6E-F946F4785592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54fd2c991f2c8ae28774ee346ec67dd74896aeaf","datavalue":{"value":{"entity-type":"item","numeric-id":2386355,"id":"Q2386355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bc53a55925ddf88a1c4ebc29564e1b7d251cc77","datavalue":{"value":{"amount":"+0.7909064292907715","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":"Q4921505$B9B672A1-FA6D-477F-96E0-BE9864D30958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6309238f7ec9281e17afdc3b7da54887454441c","datavalue":{"value":{"entity-type":"item","numeric-id":5482281,"id":"Q5482281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c0b6a9ae65c6741c339fa9ed89f5451c5ecdec","datavalue":{"value":{"amount":"+0.7862666249275208","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":"Q4921505$42DFF31F-30DA-4BF5-AF19-3F1054D935B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4921505","badges":[]}}}}}