{"entities":{"Q1919987":{"pageid":1930729,"ns":120,"title":"Item:Q1919987","lastrevid":47403595,"modified":"2026-01-01T15:48:21Z","type":"item","id":"Q1919987","labels":{"en":{"language":"en","value":"Hierarchies of modal and temporal logics with reference pointers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 910425"}},"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":"Q1919987$07BB499A-5B4F-43A8-93B8-43BE0EA80164","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50ebbf259da4a3ff76e48d727e65d4817041285c","datavalue":{"value":{"text":"Hierarchies of modal and temporal logics with reference pointers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1919987$AD2A3BA8-13A4-4378-8703-526E5FE3989F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9d5cb9c25e52c1fbc4282bd0b6206870e69c202","datavalue":{"value":"0851.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919987$912587BC-D25B-414D-BC43-550056A87080","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb4806460dec359e062f0122fd92b20cba2cfc2b","datavalue":{"value":"10.1007/BF00215625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919987$909426A9-11A2-4A89-98BF-C10CFC1EF10C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919987$24BE278D-508F-49BB-94A8-F32732D3966E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a8d1237d32ec5eadec6067ce7ffbf57e42f0929","datavalue":{"value":{"time":"+1996-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1919987$B6C32E03-1530-46B6-BABE-AA70EFB4DE74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919987$81B0824C-41A8-42F5-94D8-0C2AFF17768F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6cb1f23c5a89a558f51847eed2c540f5db28027","datavalue":{"value":"910425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919987$1F484AAC-9EC4-4B3D-BE58-81238B286F2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919987$9B79337D-EFFB-49C3-AF49-830E93AA1A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919987$2438F6C0-EC04-4268-9581-B83CD49CDE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919987$0B01F0B3-A980-464F-BBBD-FE38BCF7958B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c7cd540ae4d2e22c1743cab523a9a94426a1ca","datavalue":{"value":"hierarchies of extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919987$2D4F6717-9F13-4670-94BE-1CF5123F7C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38b66183c73ae9a76b9a0302fd48215c3bc1c16a","datavalue":{"value":"semantic references","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919987$6CADE0EB-F67C-45CD-9517-936BC9169F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919987$CCB8A35B-41E8-40EE-B011-B2F7ED3B5ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c7e4bbfa76b98d0bc8e2de629e754e827095f1d","datavalue":{"value":"reference pointers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919987$EEBFF005-D100-4EC6-A5D7-54D519A71247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919987$98A69FD2-908D-4A67-9B5C-48C7D0C98430","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919987$AD2F5413-8D53-4D97-A574-32593C716363","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":"Q1919987$E95BB4BF-C7B3-48A7-816E-7E4A743F1097","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45b805fb85fe0bd7d2009506c5f9db09b7011322","datavalue":{"value":"https://doi.org/10.1007/bf00215625","type":"string"},"datatype":"url"},"type":"statement","id":"Q1919987$DED6FB74-FFA3-484A-9715-A5BE733DE29E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7eb63bc8d168745d01cd4568a974f43a61590cce","datavalue":{"value":"W2170352409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919987$8A81C110-D412-49A3-9FE2-0B1BF2BCF8E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"360239ee967a99923353823b2c670201eea2bfa4","datavalue":{"value":{"entity-type":"item","numeric-id":4518420,"id":"Q4518420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be393a51fd5a4cede749ba610f4a3cc75a2a7bf2","datavalue":{"value":{"amount":"+0.8951951861381531","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":"Q1919987$BF210480-37B7-4E61-A2E0-C2B576523627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51eb5c0f111b2e9efb848e166dccd71bf81ef59d","datavalue":{"value":{"entity-type":"item","numeric-id":4531580,"id":"Q4531580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab31ed8825eda4cfdb2a320ebe919e2bf1e243d","datavalue":{"value":{"amount":"+0.8895267248153687","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":"Q1919987$C7B10D0C-AC8E-4135-AB71-20E9B367586D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"855840378f9695f86d75856f6970f7327ca56ced","datavalue":{"value":{"entity-type":"item","numeric-id":4443400,"id":"Q4443400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ea61a1c4757fa96f458690ff6a2e40dea3eccf0","datavalue":{"value":{"amount":"+0.8197371959686279","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":"Q1919987$DBC94581-3B7C-4345-B403-B9CE3174D4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9339ca1c225a0c60694be0847c31aae2d6a3d2d2","datavalue":{"value":{"entity-type":"item","numeric-id":4511543,"id":"Q4511543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d00de20b7cd7a62a1344dcd819f601f2ae04f102","datavalue":{"value":{"amount":"+0.7654237151145935","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":"Q1919987$AF8C215C-B4C8-4610-86A8-488468A42904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b02fc15a62bafa14b0b36824e7388f205c26ff9","datavalue":{"value":{"entity-type":"item","numeric-id":944387,"id":"Q944387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d00de20b7cd7a62a1344dcd819f601f2ae04f102","datavalue":{"value":{"amount":"+0.7654237151145935","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":"Q1919987$05D0AB59-07FC-446D-949F-05903148B368","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1919987","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1919987"}}}}}