{"entities":{"Q5262961":{"pageid":7292537,"ns":120,"title":"Item:Q5262961","lastrevid":39571345,"modified":"2024-12-30T15:35:04Z","type":"item","id":"Q5262961","labels":{"en":{"language":"en","value":"Cascade Products and Temporal Logics on Finite Trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6457585"}},"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":"Q5262961$E9EA49C7-6101-4E14-B017-1F90B7CDCFEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25c3f4f371c455ea3f4cb9bfff247b652b019b43","datavalue":{"value":{"text":"Cascade Products and Temporal Logics on Finite Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262961$6EB7E598-BFFC-43BF-8643-CCFEB8D8CCDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d89583198c9988856ddf97a2d1011f5c2e50d33","datavalue":{"value":"1316.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262961$93EB8A30-4907-47F7-B4E5-38F13BEDAE4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262961$D04BC9D1-9001-4480-B163-D1F723B75124","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9969939bb103ca6857dea96cf377517e2479ab0a","datavalue":{"value":{"time":"+2015-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5262961$17F1DB64-B8DD-4C50-9F40-FD9E37634A68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262961$22D3AF57-3D94-4E57-85AF-A04A70693353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262961$B12D929A-6C53-44C0-BC60-EAC59021D439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262961$A14BCB35-24F6-4E8F-9EC0-51BFD4148BFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7560750a2caac2d4b5e6d668b0a42477da10cc75","datavalue":{"value":"6457585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262961$D56C2954-5CFD-4151-88BA-05FBE33DFB30","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262961$3B7CA513-62D8-424B-BCAB-FCB9FE4325E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262961$3FCB4EB8-FB93-42C3-9B82-9A9D602290DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62b39f85e52c8085a786071206ed9136a46b6cc6","datavalue":{"value":"cascade product","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262961$968D70A7-BF6D-43D8-97EB-6ECA6F865F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ae52c8f67f146f93874234c0534949dab63cc34","datavalue":{"value":"pseudovariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262961$B3A91027-0560-41F1-9E9C-7B16479B34F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262961$898D1C59-3671-439E-BC2B-BB534A58B5CD","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":"Q5262961$6619643A-7BB5-46D3-BA55-13D1CFFFC605","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76c7ab7ad6a5eb849dc57b77829f3752e9128e27","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2005.12.081","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262961$08C4577A-D293-4D9F-9D4F-C4E602BF3881","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34d5fa36dba5bb25f7514efc13862e0dfb494997","datavalue":{"value":"W1976693976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262961$5EF5E6E5-3272-402D-9548-FCF5AD1E4A05","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c91015b409943cdd2bc3d8c2a41cd2f421cec34","datavalue":{"value":{"entity-type":"item","numeric-id":5311502,"id":"Q5311502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262961$095B9F7F-26BA-4C0B-9FFE-432B94CD0453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bdb3584bf37c4e8fce40fdddd3928343a6b73","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262961$B68FE6FC-3A7D-4BBC-8875-0C8A894D8ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262961$71AD50B9-C444-4AA9-B76B-7119A7336603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5709c2ffa01c029b486c6e705fa60fd703dea1c8","datavalue":{"value":{"entity-type":"item","numeric-id":4179852,"id":"Q4179852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262961$A54542C7-EAE8-45A5-9461-B23C04FF4EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292b560c7fdac9bb92a12c00839750df4296dac0","datavalue":{"value":{"entity-type":"item","numeric-id":3832056,"id":"Q3832056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262961$01D45E35-F7C5-4FD2-AC3F-EFA4AA274530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc8f3117a4af564bb6ab1e6e5379eefc45fe13a","datavalue":{"value":{"entity-type":"item","numeric-id":3833629,"id":"Q3833629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262961$80103388-5692-4BBF-A0AB-D60F0F037B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e0722f387e4fb18508067c672044d38d6b973af","datavalue":{"value":{"entity-type":"item","numeric-id":4404146,"id":"Q4404146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262961$D5877F43-CD85-462D-A2CA-B65784726710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a15cdb95dd7ddcfa67e5dc2559ce2629e10a355","datavalue":{"value":{"entity-type":"item","numeric-id":1395897,"id":"Q1395897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262961$D5488DF1-A6FB-4D14-9E20-BCB61F6E3149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20484ddb6260b6177951a1731b3fa6574e17981d","datavalue":{"value":{"entity-type":"item","numeric-id":1275067,"id":"Q1275067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262961$F5C2E1F4-B034-448A-B157-D3AFAFAF2454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d8ebd3ef53d7996f7c569cf6663fe1170b13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4302435,"id":"Q4302435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262961$2578AEA3-9C62-4877-81C7-5BE329D5BB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9197bb6f0e12accf079e71a6d1aab815fc96359b","datavalue":{"value":{"entity-type":"item","numeric-id":1892890,"id":"Q1892890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262961$8F3FA93A-459C-4F7A-B272-41FE6300099B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262961$643DDEA0-DBF7-4D04-98D6-CAA9396A33BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262961$D9A5B2EB-58FE-46C4-B33D-B3D5FA6D4C90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95438b60661594606464d834e5cc0765e60c1a62","datavalue":{"value":"10.1016/J.ENTCS.2005.12.081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262961$8C63660C-51C9-4BD9-B5C9-316216215D93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5262961","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5262961"}}}}}