{"entities":{"Q4633559":{"pageid":6663140,"ns":120,"title":"Item:Q4633559","lastrevid":53411639,"modified":"2026-01-24T22:22:12Z","type":"item","id":"Q4633559","labels":{"en":{"language":"en","value":"Limit-deterministic B\u00fcchi automata for linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7050741"}},"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":"Q4633559$17F550B0-106B-4796-A8D2-E043E8D45338","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d206c57e267e9d3f525bab79c53757af1e8ef02","datavalue":{"value":{"text":"Limit-Deterministic B\u00fcchi Automata for Linear Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4633559$0897B9C4-DBBC-4F9F-8CAA-6B2F58D7D7D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17170c09b233fda08031ba6f0cbd1bfa89779347","datavalue":{"value":"1411.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633559$A44C4B79-E439-405C-9456-9EB9A4297448","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1496c4be2400f2dcb03610284993d8b09730e9d1","datavalue":{"value":"10.1007/978-3-319-41540-6_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633559$22B244EE-FACD-4F8A-B36B-06AF4D97DDC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55938b21f53eb1e267f2a1b02fe977fafd23cce7","datavalue":{"value":{"entity-type":"item","numeric-id":2147178,"id":"Q2147178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633559$326328C2-0DDD-43A5-ADC8-B773827FED08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633559$6DAAC9F4-B0AC-449D-9848-C76227D0AA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b67bb975183655bee1e71b77521d8823c08e46a6","datavalue":{"value":{"entity-type":"item","numeric-id":2025854,"id":"Q2025854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633559$129C70C3-3FAF-4407-801C-EAE675C65083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e4018f669876a5819cf16362b14fc078dbd59d6","datavalue":{"value":{"entity-type":"item","numeric-id":690503,"id":"Q690503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633559$5CF7B423-C368-411E-9473-2239B853623C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633559$12BAB051-C7A5-4043-92F8-9AE16175E12C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24db5d32115f39913353e80bae577d976822bb5c","datavalue":{"value":{"time":"+2019-05-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":"Q4633559$F880179A-A622-43FD-8AE8-F7F0EE14D7CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633559$C7E4E1D9-3CD6-4B9E-AFCF-8A74C201ED43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633559$E992FFD7-2F5A-4C63-84D9-05432AD29D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633559$6B311507-7295-44D2-823F-8267140C1A44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6641ccf539a4739ef34ae44d9c1a31ab3baf8ef8","datavalue":{"value":"7050741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633559$6E461BF4-747D-4C57-A187-5F589DADA4CF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36775e519793d9171689cd087c9a00c3267ecefa","datavalue":{"value":{"entity-type":"item","numeric-id":21794,"id":"Q21794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633559$08714BA0-255A-45A7-A835-C42EA84B375F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2d71b555d0fc422dfe27ba710278d9a7fb7a533","datavalue":{"value":{"entity-type":"item","numeric-id":32821,"id":"Q32821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633559$88231F2B-9B90-49A1-88DF-5C3ED238A60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633559$6F82A11D-ADA7-4E8B-BF75-94C9FAE96FBF","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":"Q4633559$02E51B87-78D5-4EB6-AA8A-504A607485DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b758e2205e23ab82aee6fe0eb6e7b9c147b68134","datavalue":{"value":"https://doi.org/10.1007/978-3-319-41540-6_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q4633559$48442BC0-AC00-49F8-8562-89A8A4F2E866","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c062a47f0f603dc9a6c00c812e0eb9a57248143","datavalue":{"value":"W2487186542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633559$5B37B162-4C53-4356-A175-A7AD8313C923","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527fa8af777d27b52d2cd65bfd9010a03c415fe1","datavalue":{"value":{"entity-type":"item","numeric-id":2272912,"id":"Q2272912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef604366e3f4a7306228acf39f9d10316f91b5d","datavalue":{"value":{"amount":"+0.867303729057312","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":"Q4633559$D5D5F45C-195B-48A7-BDEE-E13BFEF5FF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cd48c5db523b348ca47e4196af5e9c9b251df88","datavalue":{"value":{"entity-type":"item","numeric-id":5897061,"id":"Q5897061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b6aef3af73b60897b95c9795f2d6ba697ef68e","datavalue":{"value":{"amount":"+0.8241710662841797","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":"Q4633559$D0CD220B-BDCA-45CF-881F-3854C069773F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc46a3873de73c896dad3f48b557df241d2d816","datavalue":{"value":{"entity-type":"item","numeric-id":5452723,"id":"Q5452723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6be2ea2c2492524b8ea252f86c18c40ddc0b0af5","datavalue":{"value":{"amount":"+0.8178485631942749","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":"Q4633559$2BCC9013-0BCD-4D52-A1B3-B0221B55EE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a962503b167c98efa6151b9a596c3bfeb1ccd7cc","datavalue":{"value":{"entity-type":"item","numeric-id":3303923,"id":"Q3303923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97c2ee1e4541df7069c2354fa37ac93040a0e262","datavalue":{"value":{"amount":"+0.8112215399742126","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":"Q4633559$CD129D86-B757-4255-861A-4B70DE434C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e870d43dd7d00d590c40da22cef4dfa837e77bb9","datavalue":{"value":{"entity-type":"item","numeric-id":2363815,"id":"Q2363815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63847db5f3c8ddda6d22bae62f50afc0ac4d6a00","datavalue":{"value":{"amount":"+0.8071252107620239","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":"Q4633559$8FA893C5-4578-4C9A-A989-813588D87099","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4633559","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4633559"}}}}}