{"entities":{"Q1119565":{"pageid":1130314,"ns":120,"title":"Item:Q1119565","lastrevid":66168354,"modified":"2026-04-12T08:00:14Z","type":"item","id":"Q1119565","labels":{"en":{"language":"en","value":"The complexity of reasoning about knowledge and time. I: Lower bounds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4099266"}},"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":"Q1119565$E98B2B13-4440-4D39-9983-FA1C289DCB54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ca658f5a855c14430030996dd06a29f0ccc9e68","datavalue":{"value":{"text":"The complexity of reasoning about knowledge and time. I: Lower bounds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1119565$A73F0952-EEFF-4B7A-A9FA-DC1E3BADA78B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d1f42dec50c1b87fe398b7438743869bcd932e0","datavalue":{"value":"0672.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119565$CC5F460F-0564-4B32-B4E1-0D2A665BCE00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2eee32698d79bb66b840e85c38b7f1e9fb61f223","datavalue":{"value":"10.1016/0022-0000(89)90039-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119565$C15401A9-C49B-4891-AE31-518462A3657F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddea5ba0eeb9138fb9e2a8de5e2cddb8c80bf84a","datavalue":{"value":{"entity-type":"item","numeric-id":272148,"id":"Q272148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$2D0C99EA-2020-4003-BEB6-BEC8B1395D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$D56F046E-C98C-4B90-AF9B-F005406C32C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$7089210B-2BA6-473A-A898-E34D630658D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1119565$A75C7ACB-44DA-40BA-8EBC-6912CF2D257A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"49b3e9366179c798be658774e4a01adff2fcdb06","datavalue":{"value":"The paper investigates problems of the computational complexity for propositional time logic oriented towards the specification of distributed computing systems.    The basic result of the investigation is a classification of parallel interacting processes based on the corresponding formalized models and properties of specification languages and distributed systems. Formalization is based on the notions of path (route of states), synchronization (system clock readout), protocol, and system interpretation. System types differ in their ability to acquire and lose knowledge of the passed path and in the synchronization. Depending on type and interpretation of systems a table of complexity estimates is given. Lower bound theorems are proved for some of the obtained estimates.    The obtained results are of interest for the solution of practical problems in connection with the necessity of estimating the required memory volumes, for synthesizing the activity protocol of distributed systems from their specifications.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119565$6BBF577B-51C6-4CB7-B345-AF10E2E1031B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119565$33A7C99B-13CA-472E-9409-DC99218E3817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119565$E0E886B2-24B9-4C06-9E19-B17052870A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119565$2489FA01-5D90-4374-9D13-003D5B185DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119565$27C49673-8ABD-4DE9-BF1F-BDE9D021171B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f66d6c7003765553b1da427d842abe5f337f11d","datavalue":{"value":"4099266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119565$C12A70DF-7082-4CAE-B09E-EDB6A7CA7F28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ecfbad2801513bbb475a96e8d3866bf260b0","datavalue":{"value":"propositional time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119565$42478029-45E6-4C76-8ECD-C49DD7DCD539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9474c9996a8eb4b7d2297e167a02c428ffa5889f","datavalue":{"value":"specification of distributed computing systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119565$F8A47E5F-E8B4-4370-951D-61F342571A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9c26da6bb144fa123a905834491fc51220f835","datavalue":{"value":"parallel interacting processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119565$781B03F8-5839-4E81-8FE7-D3DF3C6CAED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa36130e82077da1500a611dfdd0f247e985b15","datavalue":{"value":"synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119565$907F7860-BA93-4258-AA3E-E9274E863D09","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3859f4276ff033961b0a9f9512659b83adf9ab34","datavalue":{"value":{"entity-type":"item","numeric-id":1251890,"id":"Q1251890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$CF7BAEAB-B10E-4F37-9F9D-ABF82B5EC17A","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":"Q1119565$6A93A65F-2AC8-45F4-A293-DD41C2EC4F81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56728a06d0ecb4abae9992f329da2e401ca2491f","datavalue":{"value":"https://doi.org/10.1016/0022-0000(89)90039-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1119565$CD47CD70-6072-4E4A-AF26-CE8220D1575B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8500057a14690ef59429fd20b79de80ec718346c","datavalue":{"value":"W2055092188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119565$684B5E39-30BE-4487-AFC5-0A5CABE0FA2D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d2d1adfae1b81eef721cda5469b95a291ba93d8","datavalue":{"value":{"entity-type":"item","numeric-id":1082071,"id":"Q1082071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$0CED5457-4C6C-4B72-8FCB-2B4BDB489975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$5C8AB77E-494A-4DBF-9F0D-994A97668ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062a9bd4fe13e5ea8018ad451d4c2f0edf9de514","datavalue":{"value":{"entity-type":"item","numeric-id":2265815,"id":"Q2265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$8D19E53E-4EC7-48B5-9A76-AED1FD913D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$EF3FD3AF-6443-417A-A2E7-278C58CC6313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$00E735A5-6535-4096-8F42-D989F50ED805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$C478A8AD-DB09-4B51-98DE-AE76B5D26C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"496aff8294b328009f459d2b7319cf8027f78ab8","datavalue":{"value":{"entity-type":"item","numeric-id":1096609,"id":"Q1096609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$EED6A4D8-76D4-4C2B-ADBB-58DD5E5BC28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f68de077de5f33c5f44134652e5076e87d95d7d","datavalue":{"value":{"entity-type":"item","numeric-id":4488092,"id":"Q4488092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$EF0275F3-7C8D-460B-B2B3-E4838E98774D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65515986f2572b67c0d20d1d5c16dc71b3862c3","datavalue":{"value":{"entity-type":"item","numeric-id":801682,"id":"Q801682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$C2BA56AD-5280-4A0C-8941-40EA729F7B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf1ba170fae28e63e92407b948b3875ee6ea399","datavalue":{"value":{"entity-type":"item","numeric-id":3313253,"id":"Q3313253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$D1E2FB2E-E8AA-43ED-88E0-19CA800E3435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51636baa00b00ee9af6bbcde64f417bff981286","datavalue":{"value":{"entity-type":"item","numeric-id":792083,"id":"Q792083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$4F26CD43-31B4-4F66-912F-F7E39B71D22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6e0bfbd7e8ce7f5b89d10be4ea3c5fe4ffddf5","datavalue":{"value":{"entity-type":"item","numeric-id":3673090,"id":"Q3673090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$68EB4778-B40F-412D-86DD-41F9F2D0BDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d95d58af5ba1dcab4dcd26755bcea70cd06475d","datavalue":{"value":{"entity-type":"item","numeric-id":1087024,"id":"Q1087024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$E19A43A1-E679-4743-BF42-6637DB200EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a125502fa850f6a5ab3619570f7db924c393b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3680260,"id":"Q3680260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$502FB444-CA8B-46F0-BBA1-0FFC731CF138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9155b2a89151bd7c3b2b0d60a86b5cb673950cd","datavalue":{"value":{"entity-type":"item","numeric-id":3873545,"id":"Q3873545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$D9F004A4-D00B-4B9C-8396-A20F385BB44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f45f552829e448fdb1f5d0c5585c08bd5972555","datavalue":{"value":{"entity-type":"item","numeric-id":3694687,"id":"Q3694687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$8EE4EA23-E289-4376-A09C-297B6727702E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9078a468078356fd07f0368352f90217554f2d83","datavalue":{"value":{"entity-type":"item","numeric-id":1058846,"id":"Q1058846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$A6E98875-BE3D-4EE2-B842-1ADD077C33EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$B1CA8B39-306B-4842-A2EF-A26045DD1BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a308bf45ac10caa0c16c088edcd214d15563f29","datavalue":{"value":{"entity-type":"item","numeric-id":1079021,"id":"Q1079021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$680F53B4-75EA-407A-A6D9-7F957053D267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820c6afdbb37196b0c0fdcd6ca2560dbb527ef42","datavalue":{"value":{"entity-type":"item","numeric-id":1257012,"id":"Q1257012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$17A964E4-043F-435C-82B7-B5C4D5251BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$09136F65-6B62-4EE2-A44C-218E6D5EE21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5003f1b35a3d8f903232f84c855b80979eec5e4f","datavalue":{"value":{"entity-type":"item","numeric-id":3888985,"id":"Q3888985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119565$D4D62B95-8D39-4327-98CE-EC62F673EF98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae16bcc06560042570038f2dc5809dd08bdaf0a","datavalue":{"value":{"entity-type":"item","numeric-id":4591089,"id":"Q4591089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a86b8d2f6e85f00a24749dc39ad9e9c857daa899","datavalue":{"value":{"amount":"+0.8878039","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119565$254A7781-E18B-49D3-840A-C607B76B4941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5446d51799ccce8851a06d54ff3c69b34ddfeae","datavalue":{"value":{"entity-type":"item","numeric-id":4285633,"id":"Q4285633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b73118c1c49377d079c4f0fa8e7096500a03019a","datavalue":{"value":{"amount":"+0.88357395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119565$FF7DFB1C-4CFF-46A7-BD41-5C062E4CCBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d92c9a55175889d683b7251910df5fd4b78cee83","datavalue":{"value":{"entity-type":"item","numeric-id":4651488,"id":"Q4651488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc3daa6f1cf170415e5a0de360a9e20c83c772cf","datavalue":{"value":{"amount":"+0.88205534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119565$A5095616-72AB-4539-A7FC-59DD6E48105C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd3033fe909118e54a2a8406ed30b85e574271ec","datavalue":{"value":{"entity-type":"item","numeric-id":1420806,"id":"Q1420806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"783bc6612898afc37dc8e6963718695d6a45539f","datavalue":{"value":{"amount":"+0.8753596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119565$2FB2B9B7-1856-43F5-96AB-9874920207CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d75902fd986998065d74ae4b43eb256a9af6dcf3","datavalue":{"value":{"entity-type":"item","numeric-id":4282546,"id":"Q4282546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c72911a6fa7016dd8a57fd69246fdcd37f87468","datavalue":{"value":{"amount":"+0.8646906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119565$28EB1F73-D547-4F35-A0AE-4BF205DA9DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee5549ac07211a9e05466d89a8740e516726d70e","datavalue":{"value":{"entity-type":"item","numeric-id":2817645,"id":"Q2817645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f63f1e5d1d66461b244b63d5c978b8b2938e01d","datavalue":{"value":{"amount":"+0.8596586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119565$AE11944B-5229-460E-AA8A-27D06AD66E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19fa9a2a98f7e8073fbb235077ed757cb4a0aa8e","datavalue":{"value":{"entity-type":"item","numeric-id":3655200,"id":"Q3655200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13c1f60cbd7edc6c21f30c0dc3b3e84561c887a2","datavalue":{"value":{"amount":"+0.8590262","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119565$C498EFA7-05BF-4829-A9DA-A61F9563F561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcb5e8a258a8df68ea05bcf9b2159d12df8a1ccf","datavalue":{"value":{"entity-type":"item","numeric-id":3299576,"id":"Q3299576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c877677c9334bc19c0372f23f092f4eba7d7dd70","datavalue":{"value":{"amount":"+0.8579794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119565$D635607C-D411-4164-91AC-324C6E62019D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da80e95477f3254b90fec839634072a6a441597","datavalue":{"value":{"entity-type":"item","numeric-id":2471643,"id":"Q2471643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bcd215c87801b74192044fd9b5d1813c73fabdb","datavalue":{"value":{"amount":"+0.85760164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119565$94AD764D-0605-4836-95EB-4F06DD2E4174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"777354bd61300c5dffda3393cfea4876ba75c52c","datavalue":{"value":{"entity-type":"item","numeric-id":3143566,"id":"Q3143566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f75c61d36988b4dde1e61d2e78088630bdde9ace","datavalue":{"value":{"amount":"+0.8573822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119565$606DB7A2-CD86-4C92-9DFF-143806BCF003","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of reasoning about knowledge and time. I: Lower bounds","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_reasoning_about_knowledge_and_time._I:_Lower_bounds"}}}}}