{"entities":{"Q6200449":{"pageid":13335337,"ns":120,"title":"Item:Q6200449","lastrevid":98809304,"modified":"2026-06-05T18:32:24Z","type":"item","id":"Q6200449","labels":{"en":{"language":"en","value":"Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7811396"}},"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":"Q6200449$89A9F2B5-80D9-440A-9D3B-E66C2DC626A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3e222739d8cc1cce97f843c98d0947df67ab5c6","datavalue":{"value":{"text":"Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6200449$AB0E3084-2C5C-4069-8E9F-FEB4E810D2AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f10411ff2fbb91f678b15573f1dc56909429914","datavalue":{"value":"10.18778/0138-0680.2022.16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200449$95873A4C-11DB-4E1E-832E-BB027AEAE023","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":"Q6200449$A9AF2A0D-3C4B-4873-9BE1-EE27F5FEDE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"899eafc90a32d82be870cad64079ae6d8898e56c","datavalue":{"value":{"entity-type":"item","numeric-id":6200448,"id":"Q6200448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200449$B5CA6FE3-D27D-4505-AAAE-9FA285179098","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200449$15276820-7CDB-4D2C-BB73-89EFC8E43F3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b970591b68566c443b1d8071359abaf71557caa3","datavalue":{"value":{"time":"+2024-02-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6200449$0986429E-E73E-44A4-96DA-60F7E79B8E93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200449$D1F92927-A8DC-445A-84CC-DFE2BD592264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200449$993E82CC-35E1-4469-BC05-C9ED45DA4BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200449$7F79CDE7-7A62-4783-AC59-C2BB21E1968F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200449$908FEEAA-8C79-4515-A102-669F745E7A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200449$2722916A-D1CA-4EC7-B9D9-4BA926B9DCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200449$841E6D3B-6D26-4BEC-A7BC-6838912351F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6320bb4b6d6390c6638d3e615e300b41f1d25b5e","datavalue":{"value":"7811396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200449$1A683330-CF41-42A6-A2CD-EEA0DC4F35C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95e48716f7c9c49b18f034cd03a25b8fa61f6719","datavalue":{"value":"multi-agent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200449$28B9B175-7CAD-4C78-B76F-AC81DE69FD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d10af8661ae6e3d7f9c00f63a21b15f53ba7eb6a","datavalue":{"value":"Kripke semantic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200449$AE54806A-653A-4F98-958E-B9BD2D9FADD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200449$59D31EA8-7F2C-42DC-99D3-AAFCC0FB4763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200449$6A7C1784-DE2A-4D62-9CED-6E14153C3C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a22c04601436dfd00befd66e975fbe41c785569","datavalue":{"value":"non-transitive time","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200449$88E248E4-9760-4F54-AEBA-C66E3689E8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e0e7c7904c90863a40f164ae0ef5a3b95b52eee","datavalue":{"value":"step-like","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200449$C95AF077-63C0-4031-803F-7723B1C288CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51fba154baa628caab407b010a5472ee9b6d71e5","datavalue":{"value":"universal modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200449$41B9464B-953E-4638-B55E-D11BD8351DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200449$C9A3FE14-D6D8-416D-9530-3C3DAABAE49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aa989b195e9cc0a87f5f66b09ab265cc4a8c27b","datavalue":{"value":"\\(p\\)-morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200449$B88BBD52-D6C1-4CFE-B240-185C9927DD31","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":"Q6200449$39A3C667-5552-4BB8-A8A8-E45A998DA9E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b401b2f42b5bf6f90114eab8d64c6e622f59f8fe","datavalue":{"value":"https://doi.org/10.18778/0138-0680.2022.16","type":"string"},"datatype":"url"},"type":"statement","id":"Q6200449$2296C184-AEB4-402F-A132-1738DF8DC2C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab530de0a8ecd39d76894ef8eee0de8ba673c8f1","datavalue":{"value":"W4295008639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200449$F57C10F8-53D2-42FE-A917-8581C0C70253","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8f630a56c5202fbf4e2a2b0bd8e20314dacb33bc","datavalue":{"value":"Q114048207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200449$7828D483-75A5-4C1C-9F3E-580FA4ABF419","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78fb6107c37afcc56d2fafdd5c12a776870c7bcd","datavalue":{"value":{"entity-type":"item","numeric-id":5852970,"id":"Q5852970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200449$760D1303-6156-41E9-B57A-8842C3E28201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32d43b8cb33b6d77b79ddc2c2dfb9c9fa9075516","datavalue":{"value":{"entity-type":"item","numeric-id":5853178,"id":"Q5853178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200449$374A356B-72B9-4895-B6CA-10A15A73848B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e6083eef1888f874b76599f5d6e3b8a1cdf8dfe","datavalue":{"value":{"entity-type":"item","numeric-id":2239389,"id":"Q2239389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200449$EAF7723F-EF51-426C-937D-24D20BC784C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41f0f7f36bb0d98e21e1383560933b6a474619b6","datavalue":{"value":{"entity-type":"item","numeric-id":2402133,"id":"Q2402133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200449$88C50211-CF97-4DA0-9895-EFAC23BE4A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d6184ae6db4803581747c5b180c989548286b5","datavalue":{"value":{"entity-type":"item","numeric-id":1604670,"id":"Q1604670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200449$5C8FA7B9-D6F1-4D2B-8FAD-A021D41DD262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03a6199de58be1c354071f6fc11c4a342d6826c3","datavalue":{"value":{"entity-type":"item","numeric-id":3647226,"id":"Q3647226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200449$7FAFA36D-7B04-47AD-939D-1F7EE5467FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9922cb209da3c2c8c234ab8cdd0a8060a60d60b0","datavalue":{"value":{"entity-type":"item","numeric-id":5435114,"id":"Q5435114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200449$EAD235B6-E301-46A1-85A4-98733C75A277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7080d41e0343460208f03ef46ef008f1d118c992","datavalue":{"value":{"entity-type":"item","numeric-id":4438092,"id":"Q4438092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200449$5A97FD0A-A51A-464A-9D64-490AE7658A76","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":"Q6200449$FED3EE9B-BFDF-4535-BF6A-8C8A6B3FA2BC","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":"Q6200449$3328864E-3865-4B05-8FB5-0365F7B2EC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c95b2120f2667fd164e113196945ce09600483","datavalue":{"value":{"entity-type":"item","numeric-id":4007156,"id":"Q4007156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200449$1AE10D1D-89F4-492E-8B10-C3C06228318C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69daee1ce0e6fb1a822ba23a300271218ab887cf","datavalue":{"value":{"entity-type":"item","numeric-id":2436101,"id":"Q2436101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200449$92DAA35C-1C17-47D8-9EA7-EC63ADEB13FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12c1706c8b0e4321389fee966004f152c0d247fa","datavalue":{"value":{"entity-type":"item","numeric-id":2372412,"id":"Q2372412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200449$7125FDF1-8C59-46A1-8104-CC3F6EC5FA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a6a661c2080233a2ef54e07a10037e82f3f7250","datavalue":{"value":{"entity-type":"item","numeric-id":4489067,"id":"Q4489067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200449$0079161D-9651-416E-8449-514F27D39EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9b56b7f64839e743c8da023430a7b69aa800e08","datavalue":{"value":{"entity-type":"item","numeric-id":647403,"id":"Q647403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200449$B8119A5A-3572-4E9D-831E-2F16A695BFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb5fb167de2e447ece9ab05ffa9bd5d2354e42e","datavalue":{"value":{"entity-type":"item","numeric-id":2630564,"id":"Q2630564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200449$B7824B95-F389-4CBB-A72D-2C72476D1CBC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200449$51B2B672-28D4-4354-B82E-89C7393797C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality","badges":[]}}}}}