{"entities":{"Q2272912":{"pageid":2283655,"ns":120,"title":"Item:Q2272912","lastrevid":53533055,"modified":"2026-01-25T04:49:23Z","type":"item","id":"Q2272912","labels":{"en":{"language":"en","value":"Limit deterministic and probabilistic automata for \\(\\mathrm{LTL}\\backslash GU\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105982"}},"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":"Q2272912$597350EC-7FA5-4480-BD0E-B4DA95A1EC60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b5e25c7d59503790712cba2c267dcde7588773d","datavalue":{"value":{"text":"Limit deterministic and probabilistic automata for \\(\\mathrm{LTL}\\backslash GU\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2272912$94C79203-C6B5-4C27-B094-DEB3FD44BA78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acbc1456a40a6c9fe50105bf283284566f682486","datavalue":{"value":"1420.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272912$1757D6CC-8B52-4D7A-89CD-1061B95943B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79d9686e00c2fd459decab58097bafbbe29fa443","datavalue":{"value":"10.1007/978-3-662-46681-0_57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272912$33E4183A-DCCC-4C2E-94E7-85DA1E85D6DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22ec18d9efb86144ed2dcb2f2b20408f6214470a","datavalue":{"value":{"entity-type":"item","numeric-id":2272911,"id":"Q2272911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272912$3DD53977-354A-4795-93E4-7EF02F3791E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"143b6b92bc6a16b35c1b93aef5aca0ebdc691790","datavalue":{"value":{"entity-type":"item","numeric-id":650913,"id":"Q650913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272912$BB1917DD-7407-4681-BD8B-60310F3CDBF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2272912$891CDE16-D90A-46EC-BE7A-C3C7D0F766A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272912$B29C7294-0D15-4F8D-A852-9FAEED97D713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272912$65323F6B-EED6-458E-8A17-3949CF323C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272912$2C458A9F-8551-4F73-B497-81845345D704","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df2f3146c66c9e09c60ac3b865c39a43b5871787","datavalue":{"value":"7105982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272912$61AB68B8-98E0-415B-A73E-C1062390AFE1","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":"Q2272912$BA3A58B6-ECCD-4BCD-9E07-756C24E7D3EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6391ceebb1a6617a3da8fd29a61937ce950538da","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46681-0_57","type":"string"},"datatype":"url"},"type":"statement","id":"Q2272912$320E5AD7-E84D-495F-9BC3-1CDD2E537A2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cfcabb771cef24968888dc274e769d7445498d7a","datavalue":{"value":"W2405166594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272912$85C1EE59-AD30-4EE0-AA32-8D20BDCFABCF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe3ab0db80df592b300954cdae307d8a4b79a4f","datavalue":{"value":{"entity-type":"item","numeric-id":4633559,"id":"Q4633559"},"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":"Q2272912$9F79BBD3-40FA-4A5D-BE2C-2E1A2FDDCF81","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":"f2e19efddec8b034085c12f258e0b8fb9915342b","datavalue":{"value":{"amount":"+0.8117108345031738","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":"Q2272912$57CFD024-525C-4A8F-BD9C-A13FB74A8D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05fcd43bb3094c45b299e8d4a06b318b857b5ba3","datavalue":{"value":{"entity-type":"item","numeric-id":5166706,"id":"Q5166706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32a7ba695cf41794f3b407ef4077911d44350226","datavalue":{"value":{"amount":"+0.7912631034851074","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":"Q2272912$2B156C28-960D-4322-9ABB-B7D6DB82850F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"762b54e42ba5230359771977de5fdc6c51ead98c","datavalue":{"value":{"entity-type":"item","numeric-id":5277690,"id":"Q5277690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e11fbca7f2b4a9e3ffb79d263dbdc46ca6c3bb1e","datavalue":{"value":{"amount":"+0.7844352126121521","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":"Q2272912$C87C404F-865C-417B-BC2F-4A460A961B64","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":"b9e24523d3ce819fc7df5ae78741fe726359b1d4","datavalue":{"value":{"amount":"+0.7841721773147583","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":"Q2272912$EBF48CD9-F13A-4EC4-ABA0-42FAD85674F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2272912","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2272912"}}}}}