{"entities":{"Q6587464":{"pageid":14198620,"ns":120,"title":"Item:Q6587464","lastrevid":42364556,"modified":"2025-06-13T03:34:57Z","type":"item","id":"Q6587464","labels":{"en":{"language":"en","value":"Linear step-like logic of knowledge \\(\\mathcal{LTK}.{sl} \\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7896830"}},"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":"Q6587464$CEE15D81-ECBD-48E2-9F55-85DCB4BF494C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1f85397fe34a79286fcfc4e661f12de2b575db1","datavalue":{"value":{"text":"Linear step-like logic of knowledge \\(\\mathcal{LTK}.{sl} \\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6587464$C4BC8E7F-7DFA-4DA1-9722-F5FAFFC8A0FE","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":"Q6587464$8EB79A66-0E12-4560-9B23-C8B7E4A5D89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc684f8ae9e1e6b0b1864c9e0081ff20ac853461","datavalue":{"value":{"entity-type":"item","numeric-id":6587463,"id":"Q6587463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587464$24AF9A83-52DE-452D-988E-40021493FB3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96f68cf55557647f1dd34647701caf8b4bf61010","datavalue":{"value":{"time":"+2024-08-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":"Q6587464$B3B6631C-2022-4FB0-9499-434283E6804F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587464$66094EE9-8924-4C37-B737-3866A39DD919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587464$C4055972-6A89-4EAA-8A7E-D58672FC3E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587464$C4A7FCEB-9D39-40F5-B61E-7DE8626B129C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587464$47462317-EB84-40F7-B505-983A17FD7E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587464$C842CB62-180D-4866-934E-6A6DA6FE494D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5df1c14842a002f40f57c98097ffd3dbb084c661","datavalue":{"value":"7896830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587464$05011826-E442-483A-A4BC-F505DE6A8F69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587464$C5E5DD5B-DD82-447C-902F-41322BDD1B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587464$9783D5D4-20B8-460D-8416-60B60344CCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587464$5CF568CC-0C2C-460E-AD65-760A55FA4AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6c78b67096b558b6a5b7f77cad8eea1fc65662","datavalue":{"value":"linear time","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587464$62FCD6FA-9397-416B-940B-2138760BE074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fad65e2c924ec98db5426cfd473fc6e5d8f980fa","datavalue":{"value":"Kripke relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587464$A48053AB-791A-4892-BF76-57DEC306D55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11e532df4083e878137a2a1938ce3cc4113b011b","datavalue":{"value":"multi-agent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587464$B51006C1-9EDC-4908-93FE-3EE63767149F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587464$E64F2256-E890-4306-A6D4-F9B388519779","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":"Q6587464$08D68174-AD32-4013-9D4C-EC820855DDA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fcd51f1c58058a7e80af44ca12fe98f8a22d1d0","datavalue":{"value":{"entity-type":"item","numeric-id":5349257,"id":"Q5349257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587464$C768A8AD-6EF2-45C0-A9DA-036E58411CEB","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":"Q6587464$D4D817A7-0D14-48C7-A907-269168B06183","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":"Q6587464$2440D48C-C1EC-43B2-B3E1-EBE5A6896907","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":"Q6587464$207DC4A6-1500-446C-BC69-E1DF4697B406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64e7d4615c431bd1f9a90b5f0c874307d1acc92e","datavalue":{"value":{"entity-type":"item","numeric-id":6200449,"id":"Q6200449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587464$5BA80B6B-559E-4CC7-8AE8-F39C6083DDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587464$EAE9DAD1-1E7C-485F-A214-1EE108D778D5","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":"Q6587464$EFAD407F-323F-4F4A-A1E2-6ABBEE6E4780","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":"Q6587464$EFD1B810-14F6-4E6F-82CA-0F605EE3D2DA","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":"Q6587464$91FE1D42-4E86-4C9A-81D3-C2CE205BD960","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":"Q6587464$1B766FC0-6C03-4446-AC6C-A364B776E70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e807ca0d12053bab51b75bb8a7e28c523159aa","datavalue":{"value":{"entity-type":"item","numeric-id":3246315,"id":"Q3246315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587464$CDA20239-6870-4576-87C5-020DA32B678C","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":"Q6587464$C3A0EEC2-769A-4C39-9D31-5656F73DE1AF","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":"Q6587464$B8820B13-42F9-499C-AE5C-BFCF3FDEAAB7","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":"Q6587464$A19232B9-D1A1-45AF-8E63-AC3B86FB1B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5a227c99258bb23e99104c126e984c2a288cec","datavalue":{"value":{"entity-type":"item","numeric-id":1420806,"id":"Q1420806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587464$11C2458A-5C7A-4CCC-89BF-8749330886D4","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":"Q6587464$5ED134AE-45F0-4C36-8CA7-BF7CDC3E63F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5def34d9edc26495e43933b7ae0f9a005157411a","datavalue":{"value":"10.33048/SEMI.2023.20.082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587464$8F0F56F9-17FB-4D01-BA06-FD475627E3F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6587464","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6587464"}}}}}