{"entities":{"Q6072992":{"pageid":13207300,"ns":120,"title":"Item:Q6072992","lastrevid":55485406,"modified":"2026-02-17T17:28:36Z","type":"item","id":"Q6072992","labels":{"en":{"language":"en","value":"Dynamic temporal logical operations in multi-agent logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7738540"}},"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":"Q6072992$7087CFC2-170A-40F8-BF04-5D0C7871DEB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf940d5b9874387721d2127ba46a0880accc26c4","datavalue":{"value":{"text":"Dynamic temporal logical operations in multi-agent logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6072992$6D5482D6-5114-4019-825C-03F58C3D7712","rank":"normal"}],"P16":[{"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":"Q6072992$A4D85362-02B2-405F-9BD2-1916404972F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072992$ED419908-6128-42C6-B0DE-835832C49303","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40c8265221eda941ac502fcffff6e1f85e7d3136","datavalue":{"value":{"time":"+2023-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6072992$968F70AA-1EDD-44D2-B789-14A1C2CB74BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6072992$6A16B55F-A1C1-4A3D-81D8-1EB7DF6C5D79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49c3dd5d117515f8f9598574d9e986852bfee2ef","datavalue":{"value":"7738540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6072992$7BA4158F-385B-44A3-B081-518581FA0622","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6072992$7EB2700D-D8D1-4A52-85A9-4A967DB13561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08cbe306d5f16bb92b9e72bcbd338a3b96fb9170","datavalue":{"value":"multi-agent logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6072992$7A7372F7-400A-412F-9E90-5EFDAD8137B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6594d44baf4786e89227cc86f28e5ec07efcd4d1","datavalue":{"value":"admissible inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q6072992$46A0C16E-03F2-41D8-BE44-89041114256A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdb9d9b3489590e2909b731161e1e53f29d64b0a","datavalue":{"value":"unification problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6072992$C6B2DB29-9FB1-47ED-AB19-7CEB780884D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"093fcbd1952dfc082b8d994f615fe158a6de5b8a","datavalue":{"value":"solving algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6072992$3B179940-078C-41A3-8C37-FF52F760C7BE","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":"Q6072992$818E5B32-F80F-4EEC-B9B4-34E67E23E0FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4c5e98af72789026bf8506ee6b8dcc35146cd6a","datavalue":{"value":"https://doi.org/10.1007/s10469-023-09708-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q6072992$38164053-8FB9-4BDB-B56E-87901241D0A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92957e1e8cb1a9b6e35b6e2b3d3db0b6d7f59390","datavalue":{"value":"W4386294202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6072992$7F3E500C-E6C7-4B0F-8BCA-881088621098","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072992$86647B14-E0F3-4122-AF04-2ED7FD3D1923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13946f1d5a57299c2b772eb839c22d24efd0a83","datavalue":{"value":{"entity-type":"item","numeric-id":4713419,"id":"Q4713419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072992$2DD1C49B-8521-4092-9C33-DEF5DE754D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac0444612e794773d50678f9a7f1884429fd05e","datavalue":{"value":{"entity-type":"item","numeric-id":4218015,"id":"Q4218015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072992$15FFDAFE-6266-4A9D-91AA-BC931E63A717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072992$BAFF4932-688A-4765-833A-9535044CDAE4","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":"Q6072992$950074CA-4089-4AD8-846A-CA681FAB2899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072992$7CCD8E77-DC3B-495E-81BC-2F6EAE25A757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43060567729c3a38442ab2692d2a83f6265f17d","datavalue":{"value":{"entity-type":"item","numeric-id":2826032,"id":"Q2826032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072992$2FE208E1-3F37-4D63-BF2B-38F0DC605DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6692fa6c58c234094e2b1efee297af5bdfc3180f","datavalue":{"value":{"entity-type":"item","numeric-id":1694714,"id":"Q1694714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072992$4D93D15E-8FE3-486D-A123-7BA727BB2A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072992$BA22D70E-F1B9-427D-87F5-4A9962F02DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072992$6BF21A9E-4127-4B24-8533-2614BE24E4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072992$E907F546-7943-46B7-9DCA-7D881AC08AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072992$A7A89D3A-9420-408E-A0F0-C197C237EB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9bf7b60ffa69e85b236a52322720f62f3667ee9","datavalue":{"value":{"entity-type":"item","numeric-id":920971,"id":"Q920971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072992$19353781-9361-4FFE-AB30-6594B7DADBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e04418175c987dad1abf52407873a3edc2c40a","datavalue":{"value":{"entity-type":"item","numeric-id":4032871,"id":"Q4032871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072992$BF200206-ED12-4AC3-B172-67FF26698E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6882f0ed7644de06377e4e2ae2e5b66a685b7036","datavalue":{"value":{"entity-type":"item","numeric-id":4381867,"id":"Q4381867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072992$546330D9-8C4B-4115-97C1-83BF54E6D757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c0b751d53100e5622267bb83d21d96dd380202","datavalue":{"value":{"entity-type":"item","numeric-id":4262590,"id":"Q4262590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072992$986120D9-D1A9-4565-8EA7-BA3B07212523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d86df6ede1ae2f2b3db613612faa7cf4f173a1d0","datavalue":{"value":{"entity-type":"item","numeric-id":1971794,"id":"Q1971794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072992$9180D0EC-0127-411F-A97A-357FCE69A2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea235c296ca99950ffed6eddae22dd0800e3617","datavalue":{"value":{"entity-type":"item","numeric-id":2903753,"id":"Q2903753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072992$4E0F1C45-8AFF-43F3-9A25-FAACAF21BCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a62fabc4f0c182c7514c512fa7663d47fcafc07c","datavalue":{"value":{"entity-type":"item","numeric-id":5172145,"id":"Q5172145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072992$2D638A4A-1072-4014-A7FF-673DAC79480E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8f93d6fe2fae1c684c4f3c15ccaafeac2ad027a","datavalue":{"value":{"entity-type":"item","numeric-id":3006112,"id":"Q3006112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072992$A55A0C09-36BF-41A6-B0FF-CA29C4EC39C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a46ead12fdf741b8fede0645c88e84f3e7e6ba","datavalue":{"value":{"entity-type":"item","numeric-id":947268,"id":"Q947268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072992$18F9AF5A-E66A-4755-89EA-2336AC66DD6E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31521a7bd33ad7699c00b53b1ea367975af1cdb0","datavalue":{"value":"10.1007/S10469-023-09708-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6072992$20C24D3B-80D1-483C-88A7-C6C9CC8B696A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e5261ddb9e2a809549ff855a58a622967c7c68","datavalue":{"value":{"entity-type":"item","numeric-id":2160194,"id":"Q2160194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ca3e3f1a018b9ae2a8da6276049943b4f37cf60","datavalue":{"value":{"amount":"+0.9325358271598816","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":"Q6072992$0E02050E-5BB6-4BE4-ACD0-5C246D0CCAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"288951fe02928f99ffe5b66a3c22bf0ff1aa9083","datavalue":{"value":{"entity-type":"item","numeric-id":2402145,"id":"Q2402145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35aef2a5a2e7def700635c41a580d2916296f62d","datavalue":{"value":{"amount":"+0.8352505564689636","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":"Q6072992$6ABE23AF-70C4-46D9-A384-44ED99B5B8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0391921a0366d3a2fb7bcc99ae2abdd2da4be13c","datavalue":{"value":{"entity-type":"item","numeric-id":2213922,"id":"Q2213922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b550643ac50cb40b1fbb6af1a02e7240f6a037d1","datavalue":{"value":{"amount":"+0.825352668762207","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":"Q6072992$191A6013-A160-44F5-A8B8-131C0211E000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6862f4935e43b77553650db91c3dd0e96ecf72a","datavalue":{"value":{"entity-type":"item","numeric-id":3013073,"id":"Q3013073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"863a34032b1e29df1101c5df7d7eddfad1f53918","datavalue":{"value":{"amount":"+0.8202807903289795","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":"Q6072992$A1B5C62A-1A1B-4A51-A771-823111012A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ac7df1604d8be915d17d5d834be65ad5d199bac","datavalue":{"value":{"entity-type":"item","numeric-id":5068380,"id":"Q5068380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"563d947ba9507d652124ccaddb13a6366652125e","datavalue":{"value":{"amount":"+0.7930507659912109","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":"Q6072992$99E428A8-6D1B-476B-B790-733B1753133D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6072992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6072992"}}}}}