{"entities":{"Q5450111":{"pageid":7479670,"ns":120,"title":"Item:Q5450111","lastrevid":50310233,"modified":"2026-01-13T19:26:36Z","type":"item","id":"Q5450111","labels":{"en":{"language":"en","value":"Products of tree automata with an application to temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5251102"}},"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":"Q5450111$ADD9BD2E-90D1-4AC6-8759-5B1ED3503E10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be92d2ce326e5a8b55da1b0d0c3754aaf058dfa8","datavalue":{"value":"1136.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450111$616758E2-363C-4247-B53D-EBFED19DCB1B","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":"Q5450111$C2ACB927-471D-4535-BD47-B4F257ECDD3A","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":"Q5450111$339BAC8C-1A67-4189-9A0C-2CECCFA57092","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5502baf3530eb4ba54eb978f9bc54f1314c6bec9","datavalue":{"value":{"time":"+2008-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5450111$EBDC9574-4B69-4822-9693-32E780C8FD33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450111$E50F9F8C-AA85-42D1-B388-8E4468A099EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450111$E14FF4A1-4275-4426-8DB8-5EB149334095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450111$B93BEEF3-3B79-4E90-9BD3-31EFFB6BDFFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4678392c8a60c2a2ebd8119a101777a15279b86e","datavalue":{"value":"5251102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450111$2957EEB2-F19C-4F83-B711-69CF2BAD5E84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b65929d710cb6b51b3f73f4cc21957903ee9667e","datavalue":{"value":"Moore product","type":"string"},"datatype":"string"},"type":"statement","id":"Q5450111$CC902C7E-312F-4BD4-99E5-2DC31F6BD3BD","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":"Q5450111$8C954F49-1287-4BB8-98AF-E7C98B5B8D2E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"334b8fa5e0a53f9c9077a73d7f579ac7f057c7aa","datavalue":{"value":{"entity-type":"item","numeric-id":5450112,"id":"Q5450112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a8ccb0bfe60a037a5ccd0e30d4d420cfd2fd3c6","datavalue":{"value":{"amount":"+0.903519868850708","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":"Q5450111$B3494F2B-90B5-4B2E-96E2-407F0E782E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5843449426e1a0ea1f0df134eb6417c14686c36","datavalue":{"value":{"entity-type":"item","numeric-id":2490815,"id":"Q2490815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d7b7732d308ac5c73fb384121b640f83d9da233","datavalue":{"value":{"amount":"+0.797554075717926","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":"Q5450111$4A790834-5893-4CF2-A2DC-C4F79D922D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa8bcf4a6e5e5c47d8f56333094c825f8422521","datavalue":{"value":{"entity-type":"item","numeric-id":3739111,"id":"Q3739111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed0899685262e8a2dcee95b065d7f4b44aecd7c","datavalue":{"value":{"amount":"+0.7843425273895264","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":"Q5450111$33559DBB-F5C0-4FB6-9147-08648E767D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcad5002650e223506d0d6565560db23f206d64","datavalue":{"value":{"entity-type":"item","numeric-id":3773354,"id":"Q3773354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f91f2e4c567360022498984b09f27f90e91f2be","datavalue":{"value":{"amount":"+0.7685011625289917","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":"Q5450111$68042191-AF49-4E0B-B940-5FC37B90A8FB","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":"1243646fb357b0bcc39071c9a95f4eb65f9e6fa2","datavalue":{"value":{"amount":"+0.7645992040634155","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":"Q5450111$F21F1FFE-125C-44BB-89F1-AF38AF457F45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5450111","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5450111"}}}}}