{"entities":{"Q2402145":{"pageid":2412888,"ns":120,"title":"Item:Q2402145","lastrevid":52893701,"modified":"2026-01-23T18:04:53Z","type":"item","id":"Q2402145","labels":{"en":{"language":"en","value":"Projective formulas and unification in linear discrete temporal multi-agent logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6770223"}},"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":"Q2402145$E998B2F7-E79E-4985-A2DE-6C6D3BCEF099","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01cc2a820df363a11b4962e4d325edb92b6cf4a4","datavalue":{"value":{"text":"Projective formulas and unification in linear discrete temporal multi-agent logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2402145$7B8DCE92-694F-42A7-9154-520A1A34EF4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"793062fc5a9def4a1d47f4e171f87a64963b8c56","datavalue":{"value":"1390.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402145$EBC2CDCE-5E2F-4EC2-A4B4-3B61F42C3EA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e74046ef75a739bade5c685f052605b54b71efd","datavalue":{"value":{"entity-type":"item","numeric-id":2239388,"id":"Q2239388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402145$A2C87DA2-7CDA-4A7D-B60D-F53AA81C2F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"719528417e41ea302fea9ece33c5a5d5abeb5ab3","datavalue":{"value":{"entity-type":"item","numeric-id":2402132,"id":"Q2402132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402145$DA6EEB9E-E4E6-4C74-9444-C39635CC229F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402145$5738C4FC-06D2-4FCB-8061-BBE67EEB908D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d89f904c4b6dfd91496e1b6cc3735b2f5d581a1d","datavalue":{"value":{"time":"+2017-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2402145$CB2C2DEA-E72F-4BE9-9D08-5B385BB61B64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402145$37E23149-7594-41EC-BB16-5361227430DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402145$207EBE31-1603-4154-AD04-14F8E61A7D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402145$272C4ED6-279E-4508-9D35-4B46CA8EB925","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16894f557f6d19538d64d9393b90a7e3250ee1bc","datavalue":{"value":"6770223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402145$E94AEE0C-D55F-4400-9147-CD2F1B65E00F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402145$4C6E34CF-79FD-43A3-8BC8-8ADC368C46DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"978b8d7cccc5c4f250c2c200f8a024c72a22514f","datavalue":{"value":"modal temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402145$A166FC1B-F5EE-4854-A8F1-B304F3F93126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0efffc433b5e541989f21bbb1232a52aa7490eb","datavalue":{"value":"passive inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402145$BB9E6A7D-5323-451A-AAAD-2286007B134B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a1ea4a0efdd336ca29c9e3abf9eec062d652f76","datavalue":{"value":"multi-agent relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402145$8073288B-E290-4AF4-A7CE-BF7EBE8E6639","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":"Q2402145$4E074DF9-005F-4C6F-8734-EEC58F00C017","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ed18d47353b04e7ad43eecd2778e8fa5352274c","datavalue":{"value":"http://elib.sfu-kras.ru/handle/2311/70282","type":"string"},"datatype":"url"},"type":"statement","id":"Q2402145$6B9FAA12-F8BE-4708-8CA7-CB2E8AAEFC93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a78ce9315ac2250afc35fdcbcbd02ad92c5a68aa","datavalue":{"value":"W2785980793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402145$89B8DCE9-1EE0-4535-98B3-264E8CD233BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d81d9b786d69d436fd96adb307c31669bc13008","datavalue":{"value":"10.17377/SEMI.2016.13.074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402145$FF304FDD-6BFA-4E39-B3C6-E63FAA68F0FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402145$05BCD1D5-88FB-4455-B079-AC382E78B0EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"363a56c0eeaed85677540d97404e3a9c0f214a3c","datavalue":{"value":{"entity-type":"item","numeric-id":5172145,"id":"Q5172145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23870ceacfcd8dca7d7a63c29c24bfc9ebd4e09e","datavalue":{"value":{"amount":"+0.8328475952148438","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":"Q2402145$21CA7288-8B4E-483C-B36F-021590FB25D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f824eeedb981c29192c20ddb9b16f8e6447c86b","datavalue":{"value":{"entity-type":"item","numeric-id":716499,"id":"Q716499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e1d18390677f29c1d47fbcd883a80461523f948","datavalue":{"value":{"amount":"+0.8094565272331238","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":"Q2402145$44A7543B-591A-4DA2-B2B5-803ABF6E2FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a99edb7d3f6951d82e6f8ee3c37a2c7aeb9e045f","datavalue":{"value":{"entity-type":"item","numeric-id":2402133,"id":"Q2402133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d045c7011f4046b4439182996716ec7ef19bd8","datavalue":{"value":{"amount":"+0.8017221093177795","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":"Q2402145$850BD751-DB01-4F76-AE96-617E7C719171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b7a47d61fbe93d271352768eff6c0f5f9620627","datavalue":{"value":{"entity-type":"item","numeric-id":3165757,"id":"Q3165757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a34674c5c95ad9a2fd8f2b30883c9ffe37f710bc","datavalue":{"value":{"amount":"+0.7949087619781494","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":"Q2402145$1418A2C6-257D-44DC-BE2D-7EE0D112ADCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ebc1df198455286188eb79b25e882adc3909f69","datavalue":{"value":{"entity-type":"item","numeric-id":2903753,"id":"Q2903753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32d26a0eb9e1c7090245c145923c990d59455776","datavalue":{"value":{"amount":"+0.7481963634490967","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":"Q2402145$C73C193F-8862-481B-9275-5D93FC5E7353","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2402145","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2402145"}}}}}