{"entities":{"Q6859935":{"pageid":20656243,"ns":120,"title":"Item:Q6859935","lastrevid":84252371,"modified":"2026-05-14T05:38:49Z","type":"item","id":"Q6859935","labels":{"en":{"language":"en","value":"Computing inductive invariants of regular abstraction frameworks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158317"}},"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":"Q6859935$5F3229B9-08DA-4CAA-A4B9-D32EE3F2BC75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e4278bd744df7781bd60e49d248eff623463d42","datavalue":{"value":{"text":"Computing inductive invariants of regular abstraction frameworks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6859935$7A5B5C87-7216-4008-A9D8-92105672235F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"701de2174dabc5fb38cc82e84727ff2bcaa98be6","datavalue":{"value":"10.4230/LIPICS.CONCUR.2024.19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859935$895038EB-809F-4747-9B0F-05AE7C58E8F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bed9a173331827402c240564924c81cb349a052","datavalue":{"value":{"entity-type":"item","numeric-id":2233401,"id":"Q2233401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859935$6102AB96-B841-4432-82C1-EE39CD135158","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":"Q6859935$557EA578-6C09-405C-A8B4-6FFE4E6905B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf143e66147e89e2c73e4e47330a851fcce7f31e","datavalue":{"value":{"entity-type":"item","numeric-id":6629520,"id":"Q6629520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859935$B6363C38-9112-435A-816D-3B6A269734DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf3617d5a360f6d07dba30f6859d605f014e6489","datavalue":{"value":{"entity-type":"item","numeric-id":6859934,"id":"Q6859934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859935$9BEB7F08-831D-49C1-92AB-0BD12D39BEF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6859935$305DA914-F4D2-4509-8AC9-C2EEDCE371E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859935$6FE493F2-2185-428B-81B3-A0DDC6322D95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b3ef27de68a3304fc77ef8eef7ddc501b82279a","datavalue":{"value":"8158317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859935$AA7731AB-9E1A-4124-AA22-FDFEE980C9D8","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859935$C895DFC0-4F50-44FD-A92E-779609DF0A91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8994406a4ed4c531454c43ed9283f116acd6d07d","datavalue":{"value":"regular model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859935$0B9A5B19-22D8-4F1A-A617-6B2C76E52DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859935$FB5EA51B-21E3-4E7D-9718-EFEE98E77142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39798fe92e7ff67ee0b4a7633c0b5df74d0f0950","datavalue":{"value":"inductive invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859935$B027EE8E-E8EE-4061-B5AA-CA4E431FCC84","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":"Q6859935$A4782DFD-8766-4CEC-A264-B07FA11D6386","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c48c24371a978565ba4c00a1d4803f51563d126","datavalue":{"value":{"entity-type":"item","numeric-id":6045027,"id":"Q6045027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859935$22174496-A5E5-4EF7-AADB-18C5624444DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9b87bed981aa39a2e700f5352c6dc58919d90b","datavalue":{"value":{"entity-type":"item","numeric-id":4484482,"id":"Q4484482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859935$FE7B5570-EF40-40CD-80FA-8E0A6C080AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956690664b3e12f680b0245467bcc703a87c0ae1","datavalue":{"value":{"entity-type":"item","numeric-id":5311492,"id":"Q5311492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859935$2EB61BEC-FA50-4C93-AC37-10095B507715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b44f26d8bf5f5303221a9b0cfa8f0cda1ed08e","datavalue":{"value":{"entity-type":"item","numeric-id":3176379,"id":"Q3176379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859935$6A331272-5516-4119-B4A8-F35B1B0FA10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859935$579F25BC-60B0-45DC-A90A-D1B1AE724272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5f7ec14119349332290c2a3236ae73e2231fc2","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859935$CB562FAE-5004-479C-AF7D-094DF2C1524A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a97c71a218bbd7486ac5ef037a57f93071d21a80","datavalue":{"value":{"entity-type":"item","numeric-id":5900680,"id":"Q5900680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859935$D651AE49-A84D-4160-BF97-54EE89D6BF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad980b0c427869fa135ec68b86e65c7071da1ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5312914,"id":"Q5312914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859935$A979E93D-357C-4539-9BD2-E9905C162C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405e423365a63f056daf918c24255c84fbebdaed","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859935$AF6686B7-BE48-4CB3-BB69-6079815A13F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1e9f406ce8aac5f3f053d9c470f08e640fe141","datavalue":{"value":{"entity-type":"item","numeric-id":4551159,"id":"Q4551159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859935$C4F011E1-B293-4A4F-8693-6FAD724AF48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092b204736dc92211593b045885d4fc15b148792","datavalue":{"value":{"entity-type":"item","numeric-id":6091631,"id":"Q6091631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859935$12C1786C-518C-467E-A596-9E87C3BC7CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8088efd0dc92978f5e76061fa82ba1d85d7e114d","datavalue":{"value":{"entity-type":"item","numeric-id":6587131,"id":"Q6587131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859935$1272771F-F2EC-4E69-9532-48E503A7934A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7c75468b64299a6c5da2128e0e91430f00371f3","datavalue":{"value":{"entity-type":"item","numeric-id":4518896,"id":"Q4518896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859935$5C43B49D-D9AB-44B0-8542-27A89BFE732A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c4ae690845ef0e16a84b0f424e1f11c612ea2d","datavalue":{"value":{"entity-type":"item","numeric-id":5941102,"id":"Q5941102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859935$251327B7-22C0-4D1C-B9BF-C8A8A9E5ECBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702865848cb15e407debca29db0e1f097f9b86e4","datavalue":{"value":{"entity-type":"item","numeric-id":518892,"id":"Q518892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859935$5FBBE1D4-B50F-4644-9DAB-7993E911F451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859935$C006699D-A24F-4ABA-9E2C-4CB343E9B54C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing inductive invariants of regular abstraction frameworks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_inductive_invariants_of_regular_abstraction_frameworks"}}}}}