{"entities":{"Q4922672":{"pageid":6952254,"ns":120,"title":"Item:Q4922672","lastrevid":40795339,"modified":"2025-04-04T18:00:33Z","type":"item","id":"Q4922672","labels":{"en":{"language":"en","value":"EXTENDED TEMPORAL LOGICS ON FINITE TREES"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6170080"}},"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":"Q4922672$4659DF29-8892-49DE-AA40-669DE2297142","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12e008609e976ad721e729ecd058263597b14cb7","datavalue":{"value":{"text":"EXTENDED TEMPORAL LOGICS ON FINITE TREES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4922672$EE90FB75-2714-4DAE-88F7-57CBA8598873","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9374ec4dd99e806caa38a5e2b82070a769ecf56b","datavalue":{"value":"1264.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922672$AA97E9F5-CE2C-4717-9F36-0DD5E68E1C52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c03056e19c8bec6b6e8832728a8d846cade7cd5d","datavalue":{"value":"10.1142/9789814317610_0004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922672$CBF5714A-5CB7-4924-BEE7-CF98A5AF797D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbd30f13043aa499e646aa53420144e025774fbe","datavalue":{"value":{"entity-type":"item","numeric-id":251080,"id":"Q251080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922672$0EDF0B81-1B31-4D3A-9D61-E02CEE2FE4C9","rank":"normal"},{"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":"Q4922672$62634DA9-6AFB-493B-A011-3E7246D25BE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f99affdbf4e11cba4362dc050ef8a6b21d899d78","datavalue":{"value":{"entity-type":"item","numeric-id":4922668,"id":"Q4922668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922672$3A9BEDAF-BF32-4C6C-90C3-1BE0422B9692","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a099eaf742a5e6ca6d360d203620e441cafc43b","datavalue":{"value":{"time":"+2013-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4922672$DC85DF87-D7A5-4C21-AE68-C71D47E66667","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922672$F99DD6AE-2121-4EC9-AE9B-6B6A9433B987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922672$D2665C95-9058-4147-ACA3-84295A39B4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922672$5C139BDC-D67D-432F-A3CA-A7483B567DAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d49be16afaa82a19976938c032b7c0df93147341","datavalue":{"value":"6170080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922672$83F01FD7-780B-4A9D-9C1B-4A23E8767A98","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":"Q4922672$AE5A2AF2-3A77-497A-85BB-1EBDC8111D13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"214d9ad5fbd273b6f1f14ded063c6cbc4e3ed811","datavalue":{"value":"https://doi.org/10.1142/9789814317610_0004","type":"string"},"datatype":"url"},"type":"statement","id":"Q4922672$F9C75F60-FC70-4E26-8ED4-9E150EB18105","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74a02fa4621796ae0a6f87b45f1a5965641ea83d","datavalue":{"value":"W2335116414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922672$E4710B33-7708-414D-B3FB-0D35893F355E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2b73b0e82034f422e7053dd8393ab6f8e8c38cc","datavalue":{"value":{"entity-type":"item","numeric-id":4913486,"id":"Q4913486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de1ed9f6f519789eba43c21c2189dbd75ad97be3","datavalue":{"value":{"amount":"+0.9708183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4922672$45F767B1-523E-4C95-89B0-90D9B23E3317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1e6c5a39405767efa244cf5a33607781a1483e7","datavalue":{"value":{"entity-type":"item","numeric-id":4275690,"id":"Q4275690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b61b4096145ad5d6c3c8b2d0ce4372f255675c01","datavalue":{"value":{"amount":"+0.94052315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4922672$A9399380-4206-4C30-8359-BD27ADA8D833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da386552da7fa312f46cc105358e7aa76b00d4d","datavalue":{"value":{"entity-type":"item","numeric-id":5262961,"id":"Q5262961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3fab349aad28c33e91bd46b7c6edea5936776ab","datavalue":{"value":{"amount":"+0.93266785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4922672$B98A0E10-14FC-4660-BDD9-A7B7B3E25FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791ff92a215bb66d971a2775ffed0ebf24a772f4","datavalue":{"value":{"entity-type":"item","numeric-id":1917081,"id":"Q1917081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ffac0f15f1459ecd8a2e1c783c26e32c2ac788c","datavalue":{"value":{"amount":"+0.9195869","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4922672$D06FE8E6-2D02-4C77-B924-B757B713D24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e107ebcc06eeb8e4bfd7eb4b1a7f2b0860f5342a","datavalue":{"value":{"entity-type":"item","numeric-id":4791853,"id":"Q4791853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c82343894091f46206607f73281cb300c273cfc5","datavalue":{"value":{"amount":"+0.9173365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4922672$7118782A-1932-4B65-9DC4-52110E2F0327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb3142dac90fd20b631fb151b91f1f0adaee3161","datavalue":{"value":{"entity-type":"item","numeric-id":1288959,"id":"Q1288959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf4d4e328c943fc5ff394f26543cbf41e6cb61f6","datavalue":{"value":{"amount":"+0.9133097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4922672$8B362A42-B8F2-4E75-B379-B4A81919B3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1cea447b8d1c038bc75fc3e341ad825254526d4","datavalue":{"value":{"entity-type":"item","numeric-id":1854487,"id":"Q1854487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"598ff9d07698fb4bb6e09fb33bd629fd3db88bdf","datavalue":{"value":{"amount":"+0.9102555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4922672$6C639B7D-EEA3-4BC2-B6EE-D756A0E65AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"babb69a064f4f32011c4b8578b46759a91220dcb","datavalue":{"value":{"entity-type":"item","numeric-id":3395100,"id":"Q3395100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb5a2b2bcc26369d300c46313a0480dbf9955749","datavalue":{"value":{"amount":"+0.9102346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4922672$C60591B9-726E-4FCE-B7B3-2D09F11D589B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c26c0c588f7836f1a94eaeb07a7f33a96b74bb2b","datavalue":{"value":{"entity-type":"item","numeric-id":1608932,"id":"Q1608932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd3f397dbfdf4e8e71b481bb347d16295d79cfe3","datavalue":{"value":{"amount":"+0.90482175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4922672$3086A32F-6803-4BEC-B185-E6F1E49C8621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"855840378f9695f86d75856f6970f7327ca56ced","datavalue":{"value":{"entity-type":"item","numeric-id":4443400,"id":"Q4443400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c464c1057eca54531180955d25c596575acf8437","datavalue":{"value":{"amount":"+0.9038944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4922672$3F93B66F-99FC-49ED-AE5F-AD5AB40C9697","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4922672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4922672"}}}}}