{"entities":{"Q35080":{"pageid":35136,"ns":120,"title":"Item:Q35080","lastrevid":56332092,"modified":"2026-03-13T06:06:53Z","type":"item","id":"Q35080","labels":{"en":{"language":"en","value":"LTLAutomizer"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"6ddc3f2c5423212286924c4fc171cd18c33caffc","datavalue":{"value":"23307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q35080$90D697A8-5A52-4CB2-A243-7A3E766BB8C0","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q35080$E55390BC-E558-4D82-8393-A7E18B92BB9C","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"731a26f2dfc2a91ade5225ae2562c25cb55aa29a","datavalue":{"value":"https://monteverdi.informatik.uni-freiburg.de/tomcat/Website/?ui=tool&tool=ltl_automizer","type":"string"},"datatype":"url"},"type":"statement","id":"Q35080$47550235-2610-4994-ACA6-B9F8C9EE7359","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q35080$53D06858-1FA0-44E3-8CD2-1D1F9ADCC6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q35080$C3F9E94A-7B0D-4312-9DC3-1A770C3384EE","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0566ad334499237f2689386a24c3ff4452487d83","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q35080$5B0C8EEC-A2C0-4A73-A48D-839A6DE90F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cd85ea4235f75e500e615783d8111edd91d3a41d","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q35080$7F01B23E-1A65-4AE6-A545-BBF624EEB907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7d415c0e796201decc94b5dc4e3ee671f2a4aa29","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q35080$4296DFCA-2778-45FC-A469-D343DC312752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4bd7f70eb24c576b3e3d45c70855bbd63c624f67","datavalue":{"value":{"entity-type":"item","numeric-id":19440,"id":"Q19440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q35080$180C4EF7-50AF-4451-8E11-FB5C67EB0C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2c30f33a520586f4e186c4684f96d47e7cca3b8e","datavalue":{"value":{"entity-type":"item","numeric-id":21456,"id":"Q21456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q35080$EA3E3550-836B-4709-B4BB-CC73CF396B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d586274393e57978dc91c053446c47462f0bc0d2","datavalue":{"value":{"entity-type":"item","numeric-id":16399,"id":"Q16399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q35080$9A15F42C-9C14-4F7D-9F42-779CB0BF5DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1840d9ca978cb27c46a83c7e9dce99a49efc6565","datavalue":{"value":{"entity-type":"item","numeric-id":16315,"id":"Q16315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q35080$B60BFC20-BA9E-4758-AFEC-57B9B6951DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"67dd98e79593da7fb2523abb7bdc433bc752d2ac","datavalue":{"value":{"entity-type":"item","numeric-id":20435,"id":"Q20435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q35080$39960A51-333D-46BE-B517-E85D25DE4AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8ddc64cf28d51558fa1dc11fec13c8587033bb6f","datavalue":{"value":{"entity-type":"item","numeric-id":35079,"id":"Q35079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q35080$EEFA18E5-D862-4119-8181-4502A666F187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a7f34e94f49f9d9b4802bd03fc73b7127ec0e54f","datavalue":{"value":{"entity-type":"item","numeric-id":35082,"id":"Q35082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q35080$BBE9AE64-17B2-47E3-957F-E2B17EA4F46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ae4293277921362844d52e659f53d4bb6a996ae8","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q35080$C985CD41-D134-4579-81B7-913F3D48378D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4141251259477f1f7c5f7525346f39e077926902","datavalue":{"value":{"entity-type":"item","numeric-id":35081,"id":"Q35081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q35080$528A8C0A-BA82-4FCB-8C96-154D8B6A0B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a562a43d8b1690cddba79a1cc7d9977c384f2843","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q35080$B667D98D-9A40-4522-9432-4B484CFEA3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"40bc90c2a63d254e4c5f0276e608e4ed1459a11a","datavalue":{"value":{"entity-type":"item","numeric-id":19812,"id":"Q19812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q35080$BB1BFF28-7D9F-42B5-81C6-D0A034D89392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1799e810387a519a9d77278f17b40f135b845474","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q35080$7AD337CE-23F8-4631-A9F3-0A5475D03F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0c603b9094b0fcbf0873c1137f2ab5db25b64d12","datavalue":{"value":{"entity-type":"item","numeric-id":19438,"id":"Q19438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q35080$B5E8534F-8879-4B3F-900F-34F1F5E1E28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3cc935dd6af0637ddaedac39aafc0c28c3d6f23c","datavalue":{"value":{"entity-type":"item","numeric-id":43422,"id":"Q43422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q35080$ACE6FE67-6A1F-4DC0-9894-760D909D5A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"456841288c4d01129662e54c2e73fe6ccfaf60f1","datavalue":{"value":{"entity-type":"item","numeric-id":43421,"id":"Q43421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q35080$913A1B85-5EC8-454A-AF65-5F83AB1F6C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"12260d846fcf4b81da9b14393a6520f738c569f5","datavalue":{"value":{"entity-type":"item","numeric-id":43420,"id":"Q43420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q35080$88897561-78C3-4B2F-B22D-3A5A5138DAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"dcca1e7f03cbab074aec0a53ffea82757b45ad88","datavalue":{"value":{"entity-type":"item","numeric-id":37057,"id":"Q37057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q35080$84A3BDE4-B38C-46FE-87EB-A1395848EB4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LTLAutomizer","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/LTLAutomizer"}}}}}