{"entities":{"Q40317":{"pageid":40373,"ns":120,"title":"Item:Q40317","lastrevid":56359398,"modified":"2026-03-13T06:13:53Z","type":"item","id":"Q40317","labels":{"en":{"language":"en","value":"Presburger Automata"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"0bccfc4e3878b4277c7a473b3780499dea482749","datavalue":{"value":"28603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40317$04F3583A-3547-43A4-A66D-E5D63FAD3739","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"805131d11d6c60d1cab1b5a3a96121273fd3de55","datavalue":{"value":{"entity-type":"item","numeric-id":3183526,"id":"Q3183526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40317$DE048A8E-FF94-4FD9-9537-1C30C20EBEB7","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":"Q40317$41A53952-D129-41E4-8EC9-51A3E023F4FA","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"17de625ac31e0955e544c9c548085103d5bf4209","datavalue":{"value":"https://www.isa-afp.org/entries/Presburger-Automata.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40317$6CF97CB1-83DC-4C98-88BB-DDD66BF5BA16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40317$203A6585-9851-4D3F-9C5A-319E0571B57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40317$8728FC92-E1F5-4081-951F-3AF37207E795","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40317$B594977B-2756-420E-A172-D977A3F25C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40317$9CFB0D82-2845-4C93-9FCD-FB93CA623089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2778ef58df5d105bc5fcd1f1e6190b4cffc33d19","datavalue":{"value":{"entity-type":"item","numeric-id":40261,"id":"Q40261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40317$36577DF0-6A06-4A72-902E-B0D08A0B0F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40317$FB5C476C-45CF-4F72-ACB1-5E07A7C602C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40317$BC0CB0A9-610D-424F-9D17-B52E1BE414D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40317$8C7C8585-06CC-47C8-9A9D-19EAB120FAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ea53781dc0a29ca150a09c3de99800e897e49297","datavalue":{"value":{"entity-type":"item","numeric-id":40507,"id":"Q40507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40317$A11CE489-0BBD-4EDB-A2A1-B367DCF21711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ab576408136da65ce68abf8488b4c4362524857b","datavalue":{"value":{"entity-type":"item","numeric-id":43941,"id":"Q43941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40317$847BDCE1-A15B-4E54-A5EB-41A0369AED86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"57544187ec5ad8468535e20e3999d5193a0787a3","datavalue":{"value":{"entity-type":"item","numeric-id":40275,"id":"Q40275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40317$3264D449-6FF2-4D30-A37D-901A0EADC590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"33a2c00edd213d9c703e35c0ce5b77b6ea1dd277","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40317$21A6BEB1-52E2-4414-BA91-FBDB6A019C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"81319f5b8664d8398f69fd7004689cf3156bb740","datavalue":{"value":{"entity-type":"item","numeric-id":40964,"id":"Q40964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40317$81FCCBEE-6B58-4173-A141-6B3CA57F545C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"87ec2ca742c9eb10fbaa98b1820ddb7f4298bb25","datavalue":{"value":{"entity-type":"item","numeric-id":40963,"id":"Q40963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40317$0D2A473D-1D70-437E-9FC1-642D4A771B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c1161e1e8de5a1bc9eb8260f27cf5114412c2b8a","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40317$871B1C5F-1386-4BBF-9C45-A4769800483E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b49b6cd0d730920a3a4cd5d33a24263cc6515903","datavalue":{"value":{"entity-type":"item","numeric-id":43940,"id":"Q43940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40317$614FBD02-4A3E-444B-A92A-C684C4A86A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"21ac0ce33ff9fe81fbefb6b70fe4d49e97e0f1f7","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40317$F2EABEAE-2D19-4B09-9292-D623E1F363C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4d7f4b76492a75780585d40fb718d00d42a05322","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40317$8263A989-9152-4DD4-B3EF-87E0E6D019BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40317$DAAAE5D6-B548-4603-B023-3654EF77B504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"32eb0c8abe1b67b4df46bc8108bb18a63a80ff38","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40317$46E593DC-CCAA-4226-9A6C-28B0557D3B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8dde418bf28e22fefe1976bd953eb7c8ec5b548d","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40317$0349EDAB-C3F6-4195-89E0-CC48CC5FE951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f01c83a5a54fee889f3ec90409eea63e50d19053","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40317$C152B0C2-C640-4919-88E0-53B65BE1D169","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Presburger Automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Presburger_Automata"}}}}}