{"entities":{"Q4487265":{"pageid":6516864,"ns":120,"title":"Item:Q4487265","lastrevid":47479522,"modified":"2026-01-01T20:47:15Z","type":"item","id":"Q4487265","labels":{"en":{"language":"en","value":"Reachability logic: an efficient fragment of transitive closure logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1463113"}},"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":"Q4487265$221B84BD-B5C0-4B30-83FC-97538A233CBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3ad91eb52029447eec724e1a7c3700b3aee7092","datavalue":{"value":{"text":"Reachability logic: an efficient fragment of transitive closure logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4487265$95DA4097-8326-4582-8E76-0F8CC4C01ECC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b93824d83897bf43b55bc75db7ee62bd16a60d79","datavalue":{"value":"0948.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487265$98B6D846-4327-440F-A6ED-11F00B885DD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d06b9d3e98376955f4f1468110c0445691894ccd","datavalue":{"value":{"entity-type":"item","numeric-id":208223,"id":"Q208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487265$1EF0C0AB-7ADB-413D-B4A5-9D7D866F0B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9449ce466a2c684a15ed4352b5933311b5f46f1","datavalue":{"value":{"entity-type":"item","numeric-id":6482617,"id":"Q6482617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487265$1F256518-FA3B-4F7D-893A-9F12A682D7E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45c6b522baf77e7131b262008cde5ff0fa2a03f4","datavalue":{"value":{"time":"+2000-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4487265$702539ED-6100-422D-8A4A-C42C5BF53F77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b19d7e456d8750993644db69670a38521da9ad5","datavalue":{"value":"https://semanticscholar.org/paper/9d7db8249836e0c61945b056873ab37edd8e0956","type":"string"},"datatype":"url"},"type":"statement","id":"Q4487265$90E48614-9EBA-4120-BD0C-4E6A4885A265","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487265$4871C291-1D78-440F-A38A-6AC19131EF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487265$0226CF92-546D-45BB-AD35-8E0D3F0840C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31f4684b65739ad63d49ae6b346d24b6311ddfb2","datavalue":{"value":"1463113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487265$606C3832-F05F-4EF0-B727-00EC998C17DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"577860a0bb977972d1752cd574541458540fbf9b","datavalue":{"value":"graph query languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487265$FC5211A4-F996-43EA-8DF3-485BD2089450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c31d6fe5ec9e3e92137af6c66ba9e67fb4adcd9","datavalue":{"value":"complexity of model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487265$BBC4B555-9672-4284-9B9B-0CF409197482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a6ac4b750ccb5249d2f74b6d7c34c917396f145","datavalue":{"value":"PDL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487265$CE97BD80-9065-46D2-85EA-A741D78DBAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9bcbf83c038595df79045fee94e51fdb771b8f5","datavalue":{"value":"\\(\\text{CTL}^\\star\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487265$2CA3DA80-43CE-426B-9D87-73E34E22E52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"add1fd86ce5259fe50278a4ff0da6103dbf57846","datavalue":{"value":"reachability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487265$F8210BC7-A99F-4AA1-9BA4-4FE4F8F98E21","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":"Q4487265$DBA4A42A-A952-4591-BC9D-D8BDCC889600","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"208e44fd90f57c674e28b621613aec53e6b8123d","datavalue":{"value":"W2069044506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487265$51EA48E9-972D-42D7-BD0D-6250096143A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc22c7bd3d15ebac681b6a7b20f65d308a63bff8","datavalue":{"value":"10.1093/JIGPAL/8.3.325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487265$ED0981DD-3E9B-4720-ABAB-BCCC34128C7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487265$F5F63F9B-BF99-4105-AF5C-D1B80430316A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a8cfdc3a726183847675febfa6ff30ba69be4","datavalue":{"value":{"entity-type":"item","numeric-id":1603537,"id":"Q1603537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"014f12f0a2c85f6869fe7bdb91b72ac7be2c51c6","datavalue":{"value":{"amount":"+0.7828211188316345","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":"Q4487265$8E1DAFC0-C40C-4EB2-8676-6018FB436608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05aa462e7f46aacefc16ad4d9ece95bbe438d17e","datavalue":{"value":{"entity-type":"item","numeric-id":2827839,"id":"Q2827839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c051372f3d44f48b7067bc997881a2fb7af9220","datavalue":{"value":{"amount":"+0.7653190493583679","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":"Q4487265$D98052D8-3E45-455A-A5E8-3A51BD3FBB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5000c230bb7e81c4754bfae9cb8a7f05b030f52","datavalue":{"value":{"amount":"+0.7625333070755005","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":"Q4487265$56CCED99-5927-43A0-8EE1-4B9A64B39492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73b8d9f9c69167c8e1d12f03217617f7180032c0","datavalue":{"value":{"entity-type":"item","numeric-id":3434483,"id":"Q3434483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d6709f01214d8efed12e175e21d0538ebb97ca","datavalue":{"value":{"amount":"+0.7609019875526428","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":"Q4487265$F0B38C1B-01AC-404C-979F-C6FE1DA8AFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2b0e0dfe140e013d76013b6a5951689556d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":4933296,"id":"Q4933296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f0eebb185080e95d0953313b91c7fe4fc0fde8","datavalue":{"value":{"amount":"+0.7575797438621521","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":"Q4487265$EAFD4814-D46C-4632-8EC2-9548E1231A89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4487265","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4487265"}}}}}