{"entities":{"Q6168491":{"pageid":13303376,"ns":120,"title":"Item:Q6168491","lastrevid":39739837,"modified":"2024-12-30T18:04:46Z","type":"item","id":"Q6168491","labels":{"en":{"language":"en","value":"Finite Models for a Spatial Logic with Discrete and Topological Path Operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7724245"}},"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":"Q6168491$E78C1588-B2FC-4E69-AAAA-7DB751E87BA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bc5ca4d35a20d83a8591b8bdd06e483c8a4ba6e","datavalue":{"value":{"entity-type":"item","numeric-id":2671626,"id":"Q2671626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168491$B54D6C72-1017-4284-BABF-1AE7D9C067F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a0bdcaa33e6b607823dc2d5b7383b94bdb05ea7","datavalue":{"value":{"entity-type":"item","numeric-id":2055844,"id":"Q2055844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168491$583F3084-B930-42DF-997B-CD459EDC745C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"940ee44541a8eb2a0b5fc969c0218a420ea5722f","datavalue":{"value":{"entity-type":"item","numeric-id":736790,"id":"Q736790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168491$3A2166D4-FCC9-4E83-8052-434EB15D4755","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38bb85a5ba91301ec8d8e3fe04a5ca58f334ca78","datavalue":{"value":{"time":"+2023-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6168491$E9FD87CE-CCCA-4C12-9E89-66A3EB4E9528","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168491$45C8C7DB-0017-412E-940A-4E2BC4B7B2AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19abfc703a9bad24c4f60a9550482bbbf22d617f","datavalue":{"value":"7724245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168491$586CD95A-977A-4AD5-BB00-519041E1506F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0f0ad48d236cd78f6fffbd8f8a48a91a9a8a4c","datavalue":{"value":"spatial logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168491$D7B20195-EFF8-4B9B-879D-33680E48AF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168491$35D42888-1F85-42B1-9FEA-9AD90DFDB7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168491$899E365B-EE13-4F17-ACE2-349F175C97D0","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":"Q6168491$68A68A71-D440-4BF5-9C53-E2826C74912A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32e38b37cf2176a566c8444dd02b63fb3e062f63","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.MFCS.2021.72","type":"string"},"datatype":"url"},"type":"statement","id":"Q6168491$46B7C076-7398-461D-B3DC-C27A2FEA4D2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4df431dd7793a4865b16a550553025a0b04fd38","datavalue":{"value":"W3193928746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168491$C8C61FB8-9E1A-4A36-B647-E1E863BF71B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84bb3f5b5ed8f4ae6a01f244f6b71536f1af70f1","datavalue":{"value":{"text":"Finite Models for a Spatial Logic with Discrete and Topological Path Operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6168491$028270DC-D7A7-45D8-9873-2AA2ED20EE04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8ca40d51190027c640226f89b20a93b572e7935","datavalue":{"value":"10.4230/LIPICS.MFCS.2021.72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168491$4A28F218-9023-4772-A58F-2BEB62160394","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6168491","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6168491"}}}}}