{"entities":{"Q3184670":{"pageid":3195378,"ns":120,"title":"Item:Q3184670","lastrevid":86059655,"modified":"2026-06-03T13:49:15Z","type":"item","id":"Q3184670","labels":{"en":{"language":"en","value":"Algebra for Infinite Forests with an Application to the Temporal Logic EF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5619379"}},"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":"Q3184670$241C5070-FD86-40D7-93F8-9B7BDB5B1E3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96417479d08d0822aa50c4473662e051fd5b0bbb","datavalue":{"value":{"text":"Algebra for Infinite Forests with an Application to the Temporal Logic EF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3184670$2CA84D7D-A1A1-4514-A10B-26ED06B768FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0bc082cb5efbc2ec115c8e302c97403977f0ae9","datavalue":{"value":"1254.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184670$4B1D59A7-2EE9-4C60-9BAB-91F1EE9D5250","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d51b23af2385ec4195909ff45fa508af40a926b","datavalue":{"value":"10.1007/978-3-642-04081-8_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184670$72BE80B9-6DEC-40C9-8EDC-65796BDEA518","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f5b3c3247f723a8dd053286a58f85570c0f08c2","datavalue":{"value":{"entity-type":"item","numeric-id":290907,"id":"Q290907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184670$735B9483-E100-477B-B4DD-CC0592D7777E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49d0dba5c83250b9aa5cc228abef41bd99f219df","datavalue":{"value":{"entity-type":"item","numeric-id":290905,"id":"Q290905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184670$FAAA63F1-7BC5-415C-AEF3-16CECA3B3597","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"37a5b16070d1a7c8f4badd285c0dae4b0cb4feac","datavalue":{"value":{"entity-type":"item","numeric-id":3184660,"id":"Q3184660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184670$793CEA30-6610-42B6-895A-72B2FE4D5C37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c2de73c647c0262c334db84c7701bb7132e3320","datavalue":{"value":{"time":"+2009-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3184670$CF841D18-C525-4692-8FA4-8929E2CF82F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184670$693E8F5C-CF0C-489B-A901-41C18341465B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184670$CB78A141-5B24-4460-B290-FD18866ED930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184670$AE08C7CF-62B3-472E-AF26-0799B97FF7F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95bbfb210522200b462a4b6aaaf42d64cea7ee95","datavalue":{"value":"5619379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184670$0D2D3BFD-5299-49CE-B09D-261A42A1057F","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":"Q3184670$0FA0E103-E114-47B2-91DB-BAEA67E14396","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"753ea7fe1fd3193be03acd52e338a4bc70ed8a65","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04081-8_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3184670$7D51FE4E-96D4-4337-97B9-63F7B681BF16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7110bf74c232bdad29feabd9934636e87d691f1","datavalue":{"value":"W1595607777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184670$D7E6523D-EBE5-4151-B5C5-DBE998CDE9CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"56117e4020a2130c1cdeeb7a6dc6d60f33afc6e7","datavalue":{"value":{"entity-type":"item","numeric-id":5710686,"id":"Q5710686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184670$36C9BF77-E873-494F-81D4-36C65F90199E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48115f4adca8e9f00d9c36601005fdac6d379546","datavalue":{"value":{"entity-type":"item","numeric-id":551167,"id":"Q551167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184670$0078484D-67B7-4C68-BBDE-D5D20AB9517C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26cc29bbf9c1c9bdce88eb5236ab70053df3cb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2503041,"id":"Q2503041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184670$738B2A7C-8689-4ECE-952C-F03DC8114E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe720d0cb67ddffe3f3fe4171b6d2532feaa0792","datavalue":{"value":{"entity-type":"item","numeric-id":3086921,"id":"Q3086921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184670$2CD53A33-CACA-4812-A03D-6358247B4FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184670$6344F992-C427-4066-A270-D564DFF66F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a60472b19ecaed9f8777d5c2e0530950e5d2685","datavalue":{"value":{"entity-type":"item","numeric-id":4285342,"id":"Q4285342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184670$3940B24D-A007-4EFB-9A9C-E26A3B263710","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b7e0cad177448a53ef10e7c98d8bae98a6d4966","datavalue":{"value":{"entity-type":"item","numeric-id":2947153,"id":"Q2947153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da06a45bfebc7c4d0a19526d444084c01cd6bede","datavalue":{"value":{"amount":"+0.8861127495765686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3184670$1F933B2B-FC59-4575-9854-F95A673B8EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c37b20854ee7ae1a8905bd1ab99dd071c5afff4","datavalue":{"value":{"entity-type":"item","numeric-id":2914240,"id":"Q2914240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26958a9dfec9d514cc3c2c1610b46b545349c799","datavalue":{"value":{"amount":"+0.8213968873023987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3184670$7DAF3598-C1CC-43B7-9D40-A1CE9B5785EF","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":"a144e406bc63c2099f5a090f27cf7bc5b264121f","datavalue":{"value":{"amount":"+0.7787995934486389","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3184670$6B3D0ECC-80A4-4961-B61E-214AB294AAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ab0c9e9d853e18ccb02234f09cfa2dc2c18aaff","datavalue":{"value":{"entity-type":"item","numeric-id":5397719,"id":"Q5397719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1479066afd8e44bc488fa888e6f9acebf6226548","datavalue":{"value":{"amount":"+0.7685816884040833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3184670$CB84E3F1-3344-48FC-BBE0-0CC720590E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa2e91a4b9128227c82f3e8e626fc68b4ad532e3","datavalue":{"value":{"entity-type":"item","numeric-id":2503041,"id":"Q2503041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f164cf2678077c5f0241cc6ec8e6f09a13015be6","datavalue":{"value":{"amount":"+0.765788733959198","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3184670$8CFFBF93-4A10-47A1-B10D-8A62380D6C09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebra for Infinite Forests with an Application to the Temporal Logic EF","badges":[]}}}}}